Search alternatives:
status series » status services, status serious, static series
eatcs series » basics series, aws series, atlas series
Cover Image
Read Now

1
by Padawitz, Peter
Published 1988
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

2
by Jensen, Kurt
Published 1997
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

3
by Hemaspaandra, Lane A., Torenvliet, Leen
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction to Semi-Feasible Computation -- 2. Advice -- 3. Lowness -- 4. Hardness...”
Cover Image
Read Now

4
by Esparza, Javier, Heljanko, Keijo
Published 2008
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

5
Published 2008
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

6
by Tofte, Mads
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...1 Introduction -- 1.1 The Scope of This Monograph -- 2 Report on the Compiler Generator CERES...”
Cover Image
Read Now

7
by Große-Rhode, Martin
Published 2004
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

8
by Gergely, Tamas, Ury, Laszlo
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... Computability -- 3. Introduction to Part I -- 4. Main Properties of Program Schemas -- 5. Extension of Program...”
Cover Image
Read Now

9
by Sippu, Seppo, Soisalon-Soininen, Eljas
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... Access Machines -- 1.4 Decision Problems -- 1.5 Computational Complexity -- 1.6 Rewriting Systems...”
Cover Image
Read Now

10
by Zhou, Chaochen, Hansen, Michael R.
Published 2004
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

11
by Salomaa, Arto
Published 1990
Springer Berlin Heidelberg
Subjects: “...Data encryption (Computer science)...”
Cover Image
Read Now

12
by Demri, Stephane P., Orlowska, Ewa
Published 2002
Springer Berlin Heidelberg
Table of Contents: “.... Computational Aspects of Information Logics -- 10. Information Logics Versus Standard Modal Logics -- 11...”
Cover Image
Read Now

13
by Jensen, Kurt
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of Coloured Petri Nets -- 6 Computer Tools for Coloured Petri Nets -- 7 Industrial Applications of Coloured...”
Cover Image
Read Now

14
by Reisig, Wolfgang
Published 1985
Springer Berlin Heidelberg
Subjects: “...Computer Communication Networks...”
Cover Image
Read Now

15
by Fülöp, Zoltan, Vogler, Heiko
Published 1998
Springer Berlin Heidelberg
Subjects: “...Computational Mathematics and Numerical Analysis...”
Cover Image
Read Now

16
by Calude, Cristian
Published 1994
Springer Berlin Heidelberg
Subjects: “...Computational Mathematics and Numerical Analysis...”
Cover Image
Read Now

17
by Kuich, W., Salomaa, A.
Published 1986
Springer Berlin Heidelberg
Table of Contents: “...I. Linear Algebra -- 1. Semirings and Power Series -- 2. Convergence, Equations and Identities -- 3...”
Cover Image
Read Now

18
by Jantzen, Matthias
Published 1988
Springer Berlin Heidelberg
“...Monographs in Theoretical Computer Science. An EATCS Series...”
Cover Image
Read Now

19
by Doberkat, Ernst-Erich
Published 2009
Springer Berlin Heidelberg
“...Monographs in Theoretical Computer Science. An EATCS Series...”