Author(s)
Bibliographic Information
Texts in theoretical computer science
Springer-Verlag
Search this Book/Journal
-
21
- Parameterized complexity theory : with 51 figures
-
J. Flum, M. Grohe
Springer c2006 Texts in theoretical computer science An EATCS series
Available at 1 libraries
-
22
- Domains, requirements, and software design
-
D. Bjørner
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 3
Available at 13 libraries
-
23
- Specification of systems and languages
-
D. Bjørner
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 2
Available at 14 libraries
-
24
- Grammatical picture generation : a tree-based approach
-
Frank Drewes
Springer c2006 Texts in theoretical computer science An EATCS series
Available at 5 libraries
-
25
- Abstraction and modelling
-
D. Bjørner
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 1
Available at 15 libraries
-
26
- Parameterized complexity theory
-
Jörg Flum, Martin Grohe
Springer c2006 Texts in theoretical computer science An EATCS series
: pbk.
Available at 15 libraries
-
27
- Complexity theory and cryptology : an introduction to cryptocomplexity
-
Jörg Rothe
Springer c2005 Texts in theoretical computer science An EATCS series
Available at 19 libraries
-
28
- Design and analysis of randomized algorithms : Introduction to Design Paradigms
-
J. Hromkovič
Springer c2005 Texts in theoretical computer science An EATCS series
Available at 15 libraries
-
29
- Dissemination of information in communication networks : broadcasting, gossiping, leader election, and fault-tolerance
-
Juraj Hromkovič..[et al.]
Springer c2005 Texts in theoretical computer science An EATCS series
: pbk
Available at 3 libraries
-
30
- Abstract computing machines : a lambda calculus perspective
-
W. Kluge
Springer c2005 Texts in theoretical computer science An EATCS series
Available at 8 libraries
-
31
- A practical theory of reactive systems : incremental modeling of dynamic behaviors
-
R. Kurki-Suonio
Springer c2005 Texts in theoretical computer science An EATCS series
Available at 4 libraries
-
32
- Universal artificial intelligence : sequential decisions based on algorithmic probability
-
Marcus Hutter
Springer c2005 Texts in theoretical computer science An EATCS series
Available at 13 libraries
-
33
- The parametric lambda calculus : a metamodel for computation
-
Simona Ronchi Della Rocca, Luca Paolini
Springer c2004 Texts in theoretical computer science An EATCS series
Available at 17 libraries
-
34
- Elements of finite model theory
-
Leonid Libkin
Springer c2004 Texts in theoretical computer science An EATCS series
: pbk
Available at 16 libraries
-
35
- Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
-
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Springer c2004 Texts in theoretical computer science An EATCS series
: pbk
Available at 34 libraries
-
36
- Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics
-
Juraj Hromkovic̆
Springer 2004 2nd ed, [corrected printing] Texts in theoretical computer science An EATCS series
: softcover
Available at 15 libraries
-
37
- Verification of reactive systems : formal methods and algorithms
-
Klaus Schneider
Springer c2004 Texts in theoretical computer science An EATCS series
Available at 15 libraries
-
38
- Theoretical computer science : introduction to Automata, computability, complexity, algorithmics, randomization, communication, and cryptography
-
Juraj Hromkovič
Springer c2004 Texts in theoretical computer science An EATCS series
Available at 17 libraries
-
39
- Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics
-
Juraj Hromkovic̆
Springer c2003 2nd ed Texts in theoretical computer science An EATCS series
Available at 17 libraries
-
40
- Boolean functions and computation models
-
Peter Clote, Evangelos Kranakis
Springer c2002 Texts in theoretical computer science An EATCS series
Available at 25 libraries