Search alternatives:
"programmers" » "programmes", "programme"

1
by Walther, Hansjoachim, Nägler, Günter
Published 1987
Springer Vienna
Table of Contents: ... Graphen -- 1.3. Algorithmus und Programm -- 1.4. Einfache Organisationsalgorithmen -- 1.5. Abschätzungen...

2
by Garrido, José M.
Published 2016
CRC Press
Subjects: ...Python (Langage de programmation)...

3
by Garrido, José M.
Published 2013
CRC/Taylor & Francis
Subjects: ...C (Langage de programmation)...

4
by Naumann, Uwe
Published 2012
CRC Press
Subjects: ...Programmation (Informatique)...

5
by Mark Needham, presenter
Published 2019
O'Reilly Media, Inc.
Subjects: ...Python (Langage de programmation)...

6
Published 2018
Springer International Publishing
Table of Contents: ... conceptions in set theory -- Evidence for set-theoretic truth and the Hyperuniverse Programme -- On the set...

7
by Pouzet, M.
Published 1984
Elsevier Science Publishers
Table of Contents: ... Ordonnes et leurs Applications; List of Participants (Liste de Participants); Conference Programme...

8
Published 2009
Springer Netherlands
Table of Contents: ...Introduction: The Three Foundational Programmes -- Introduction: The Three Foundational Programmes...

9
by Gauthier, Yvon
Published 2015
Birkhäuser
Table of Contents: ... of Logic -- 4.Kronecker's Foundational Programme in Contemporary Mathematics -- 5.Arithmetical Foundations...

10
by Smith, Einar
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... Funktionen -- 3.1 Programm-Makros -- 3.2 Weitere berechenbare Funktionen -- 4 Zeichenketten und Gödelnummern...

11
Published 1970
Springer Berlin Heidelberg
Table of Contents: ... -- The case for using equality axioms in automatic demonstration -- Hilbert's programme and the search...

12
by Schmidt, Gunther, Ströhlein, Thomas
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... Literaturhinweise -- 10. Programme: Korrektheit und Verifikation -- 10.1 Programme und ihre Wirkung -- 10.2...

13
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Transducers with Programmable Input by DNA Self-assembly -- Methods for Constructing Coded DNA Languages...

14
Published 1990
Springer US
Table of Contents: ... -- Participants, Contributors and Programme Committee Members...

15
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... DNA Computers -- Towards a Re-programmable DNA Computer -- In Vitro Translation-Based Computations...

16
by Turing, Alan
Published 2001
Elsevier Science
Table of Contents: ... -- Chapter 13. Turing's Papers on Programming -- Chapter 14. Excerpt from: Programmer's Handbook...

17
by Schreiner, Wolfgang
Published 2021
Springer International Publishing
... scientists, software engineers, programmers) to clearly think about the artifacts they deal...

18
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Verification of Programmable Logic Controllers -- Structural Characterization and Qualitative Properties...

19
Published 2012
Springer New York
..., computer scientists, operations managers, and mathematical programmers — are interested in solving large...

20
by Plotkin, B.
Published 1994
Springer Netherlands
... to programmers, engineers and all potential users of mathematics who want to construct their models with the help...