著者
書誌事項
Texts in theoretical computer science
Springer-Verlag
この図書・雑誌をさがす
-
21
- Parameterized complexity theory : with 51 figures
-
J. Flum, M. Grohe
Springer c2006 Texts in theoretical computer science An EATCS series
所蔵館1館
-
22
- Domains, requirements, and software design
-
D. Bjørner
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 3
所蔵館13館
-
23
- Specification of systems and languages
-
D. Bjørner
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 2
所蔵館14館
-
24
- Grammatical picture generation : a tree-based approach
-
Frank Drewes
Springer c2006 Texts in theoretical computer science An EATCS series
所蔵館5館
-
25
- Abstraction and modelling
-
D. Bjørner
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 1
所蔵館15館
-
26
- Parameterized complexity theory
-
Jörg Flum, Martin Grohe
Springer c2006 Texts in theoretical computer science An EATCS series
: pbk.
所蔵館15館
-
27
- Complexity theory and cryptology : an introduction to cryptocomplexity
-
Jörg Rothe
Springer c2005 Texts in theoretical computer science An EATCS series
所蔵館19館
-
28
- Design and analysis of randomized algorithms : Introduction to Design Paradigms
-
J. Hromkovič
Springer c2005 Texts in theoretical computer science An EATCS series
所蔵館15館
-
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
所蔵館3館
-
30
- Abstract computing machines : a lambda calculus perspective
-
W. Kluge
Springer c2005 Texts in theoretical computer science An EATCS series
所蔵館8館
-
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
所蔵館4館
-
32
- Universal artificial intelligence : sequential decisions based on algorithmic probability
-
Marcus Hutter
Springer c2005 Texts in theoretical computer science An EATCS series
所蔵館13館
-
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
所蔵館17館
-
34
- Elements of finite model theory
-
Leonid Libkin
Springer c2004 Texts in theoretical computer science An EATCS series
: pbk
所蔵館16館
-
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
所蔵館34館
-
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
所蔵館15館
-
37
- Verification of reactive systems : formal methods and algorithms
-
Klaus Schneider
Springer c2004 Texts in theoretical computer science An EATCS series
所蔵館15館
-
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
所蔵館17館
-
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
所蔵館17館
-
40
- Boolean functions and computation models
-
Peter Clote, Evangelos Kranakis
Springer c2002 Texts in theoretical computer science An EATCS series
所蔵館25館