Cover Image
Read Now

1
by Garrido, José M.
Published 2016
CRC Press
Subjects: “...Python (Langage de programmation)...”
Cover Image
Read Now

2
by Garrido, José M.
Published 2013
CRC/Taylor & Francis
Subjects: “...C (Langage de programmation)...”
Cover Image
Read Now

3
by Naumann, Uwe
Published 2012
CRC Press
Subjects: “...Programmation (Informatique)...”
Cover Image
Read Now

4
by Mark Needham, presenter
Published 2019
O'Reilly Media, Inc.
Subjects: “...Python (Langage de programmation)...”
Cover Image
Read Now

5
Published 2018
Springer International Publishing
Table of Contents: “... conceptions in set theory -- Evidence for set-theoretic truth and the Hyperuniverse Programme -- On the set...”
Cover Image
Read Now

6
Published 2009
Springer Netherlands
Table of Contents: “...Introduction: The Three Foundational Programmes -- Introduction: The Three Foundational Programmes...”
Cover Image
Read Now

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

8
by Gauthier, Yvon
Published 2015
Birkhäuser
Table of Contents: “... of Logic -- 4.Kronecker's Foundational Programme in Contemporary Mathematics -- 5.Arithmetical Foundations...”
Cover Image
Read Now

9
Published 1970
Springer Berlin Heidelberg
Table of Contents: “... -- The case for using equality axioms in automatic demonstration -- Hilbert's programme and the search...”
Cover Image
Read Now

10
Published 1990
Springer US
Table of Contents: “... -- Participants, Contributors and Programme Committee Members...”
Cover Image
Read Now

11
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Transducers with Programmable Input by DNA Self-assembly -- Methods for Constructing Coded DNA Languages...”
Cover Image
Read Now

12
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... DNA Computers -- Towards a Re-programmable DNA Computer -- In Vitro Translation-Based Computations...”
Cover Image
Read Now

13
by Turing, Alan
Published 2001
Elsevier Science
Table of Contents: “... -- Chapter 13. Turing's Papers on Programming -- Chapter 14. Excerpt from: Programmer's Handbook...”
Cover Image
Read Now

14
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Verification of Programmable Logic Controllers -- Structural Characterization and Qualitative Properties...”
Cover Image
Read Now

15
by Posthoff, Christian, Steinbach, Bernd
Published 2004
Springer US
“...- or two-semester course in many Computer Science or computer Science-oriented programmes. It allows...”
Cover Image
Read Now

16
Published 1977
Springer Berlin Heidelberg
Table of Contents: “...A Dushnik - Miller type dimension of graphs and its complexity -- Programmability and P=NP...”
Cover Image
Read Now

17
Published 2006
Birkhäuser
“...This volume has its origins in the Research Programme on Set Theory and its Applications that took...”
Cover Image
Read Now

18
by Smorynski, Craig
Published 1985
Springer New York
“... the intuitionist and the formalist. Once the formalist has successfully completed Hilbert's programme and shown...”
Cover Image
Read Now

19
by Johnson, D.L.
Published 1998
Springer London
“... to students and which will be used throughout their degree programme...”
Cover Image
Read Now

20
by Gabbay, Dov M.
Published 2002
North Holland/Elsevier
“... with objections to standard logics (as theories of argument and inference) arising from the research programme...”