Cover Image
Read Now

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...”
Cover Image
Read Now

2
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...”
Cover Image
Read Now

3
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

4
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...”
Cover Image
Read Now

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

6
by Rautenberg, Wolfgang
Published 2002
Vieweg+Teubner Verlag
“... berechenbaren Funktionen lassen sich sehr natürlich durch PROLOG-Programme definieren. Damit wird die...”
Cover Image
Read Now

7
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

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

9
Published 1985
Springer Netherlands
“... the N.A.T.O. Advanced Study Institute programme, the Natural Sciences and Engineering Research Council...”
Cover Image
Read Now

10
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

11
Published 1993
Springer Netherlands
“... the financial support which was provided by the N. A. T. O. Advanced Study Institute programme, the Natural...”
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
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Verification of Programmable Logic Controllers -- Structural Characterization and Qualitative Properties...”
Cover Image
Read Now

14
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

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
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...”