著者
書誌事項
Texts in theoretical computer science
Springer-Verlag
この図書・雑誌をさがす
-
1
- Models of computation
-
Roberto Bruni, Ugo Montanari
Springer c2017 Texts in theoretical computer science An EATCS series
: pbk
所蔵館3館
-
2
- Decision procedures : an algorithmic point of view
-
Daniel Kroening, Ofer Strichman
Springer c2016 2nd ed Texts in theoretical computer science An EATCS series
: hardback
所蔵館3館
-
3
- Petri net synthesis
-
Eric Badouel, Luca Bernardinello, Philippe Darondeau
Springer c2015 Texts in theoretical computer science An EATCS series
所蔵館3館
-
4
- Introduction to concurrency theory : transition systems and CCS
-
Roberto Gorrieri, Cristian Versari
Springer c2015 Texts in theoretical computer science An EATCS series
: pbk
所蔵館2館
-
5
- Extremal combinatorics : with applications in computer science
-
Stasys Jukna
Springer c2011 2nd ed Texts in theoretical computer science An EATCS series
所蔵館16館
-
6
- Universal artificial intelligence : sequential decisions based on algorithmic probability
-
Marcus Hutter
Springer c2010 Texts in theoretical computer science . An EATCS series
: [pbk.]
所蔵館1館
-
7
- Elements of finite model theory
-
Leonid Libkin
Springer c2010 Texts in theoretical computer science An EATCS series
: [pbk.]
所蔵館3館
-
8
- DNA computing : new computing paradigms
-
G. Păun, G. Rozenberg, A. Salomaa
Springer 2010 Texts in theoretical computer science An EATCS series
[: pbk.]
-
9
- Communication complexity and parallel computing
-
by Juraj Hromkovic
Springer 2010 Texts in theoretical computer science
pbk.
所蔵館3館
-
10
- Parameterized complexity theory
-
J. Flum, M. Grohe
Springer c2010 Texts in theoretical computer science . An EATCS series
: [pbk.]
所蔵館1館
-
11
- The complexity theory companion
-
by Lane A. Hemaspaandra, Mitsunori Ogihara
Springer c2010 Texts in theoretical computer science An EATCS series
所蔵館3館
-
12
- Boolean functions and computation models
-
Peter Clote, Evangelos Kranakis
Springer c2010 Texts in theoretical computer science An EATCS series
所蔵館3館
-
13
- Design and analysis of randomized algorithms : introduction to design paradigms
-
J. Hromkovič
Springer c2010 Texts in theoretical computer science An EATCS series
: pbk
所蔵館4館
-
14
- Exact exponential algorithms
-
Fedor V. Fomin, Dieter Kratsch
Springer c2010 Texts in theoretical computer science An EATCS series
: hbk , : pbk
所蔵館13館
-
15
- Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks
-
Arie Koster, Xavier Muñoz editors
Springer c2010 Texts in theoretical computer science
所蔵館5館
-
16
- Decision procedures : an algorithmic point of view
-
Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant
Springer c2008 Texts in theoretical computer science An EATCS series
所蔵館16館
-
17
- Temporal logic and state systems
-
Fred Kröger, Stephan Merz
Springer c2008 Texts in theoretical computer science An EATCS series
所蔵館9館
-
18
- Dissemination of information in optical networks : from technology to algorithms in cooperation with Ralf Klasing
-
Subir Bandyopadhyay
Springer c2008 Texts in theoretical computer science An EATCS series
所蔵館3館
-
19
- Modelling distributed systems
-
Wan Fokkink
Springer c2007 Texts in theoretical computer science An EATCS series
所蔵館6館
-
20
- Finite model theory and its applications
-
Eric Grädel ... [et al.]
Springer c2007 Texts in theoretical computer science . an EATCS series
所蔵館10館