<図書>

Texts in theoretical computer science

子書誌情報を非表示

1 Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon : us,: gw. - Berlin ; New York : Springer-Verlag , c1995
2 An EATCS series Theoretical computer science : introduction to Automata, computability, complexity, algorithmics, randomization, communication, and cryptography / Juraj Hromkovič Berlin ; Tokyo : Springer , c2004
3 An EATCS series Structural complexity I / José Luis Balcázar, Josep Díaz, Joaquim Gabarró 2nd rev. ed. - Berlin ; New York : Springer-Verlag , c1995
4 Public-key cryptography / Arto Salomaa : gw,: us. - 2nd, enl. ed. - Berlin ; Tokyo : Springer , 1996
5 An EATCS series Parsing schemata : a framework for specification and analysis of parsing algorithms / Klaas Sikkel Berlin : Springer , c1997
6 An EATCS series The resolution calculus / Alexander Leitsch Berlin : Springer , c1997
7 An EATCS series Communication complexity and parallel computing / Juraj Hromkovic̆ Berlin ; New York : Springer-Verlag , c1997
8 An EATCS series DNA computing : new computing paradigms / G. Păun, G. Rozenberg, A. Salomaa Berlin : Springer , c1998
9 An EATCS series Introduction to process algebra / Wan Fokkink Berlin ; New York : Springer , c2000
10 An EATCS series Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic̆ Berlin : Springer , c2001
11 An EATCS series Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic̆ 2nd ed. - Berlin ; Tokyo : Springer , c2003
12 An EATCS series Computable analysis : an introduction / Klaus Weihrauch Berlin ; New York : Springer , c2000
13 An EATCS series Verification of reactive systems : formal methods and algorithms / Klaus Schneider Berlin ; Tokyo : Springer , c2004
14 An EATCS series The parametric lambda calculus : a metamodel for computation / Simona Ronchi Della Rocca, Luca Paolini Berlin ; Tokyo : Springer , c2004
15 An EATCS series Elements of finite model theory / Leonid Libkin Berlin : Springer , c2004
16 An EATCS series Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot, Pierre Castèran Berlin : Springer , c2004
17 An EATCS series Extremal combinatorics : with applications in computer science / Stasys Jukna Berlin ; New York : Springer , c2001
18 An EATCS series Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant Berlin : Springer , c2008

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
本文言語 言語名不明
書誌ID 2000358165
NCID BA24186461 WCLINK

検索結果一覧に戻る ページトップ