著者
書誌事項
Progress in theoretical computer science
Birkhäuser
この図書・雑誌をさがす
関連文献： 22件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- Neural networks and analog computation : beyond the turing limit
-
Hava T. Siegelmann
Birkhäuser c1999 Progress in theoretical computer science
: hardcover
所蔵館25館
-
2
- Comparative metric semantics of programming languages : nondeterminism and recursion
-
Franck van Breugel
Birkhauser Boston c1998 Progress in theoretical computer science
:us [hard]
所蔵館12館
-
3
- Solving higher-order equations : from logic to programming
-
Christian Prehofer
Birkhäuser c1998 Progress in theoretical computer science
所蔵館13館
-
4
- Object-oriented programming : a unified foundation
-
Giuseppe Castagna
Birkhäuser c1997 Progress in theoretical computer science
所蔵館13館
-
5
- ALGOL-like languages
-
Peter W. O'Hearn, Robert D. Tennent, editors
Birkhauser c1997 Progress in theoretical computer science
v. 1 , v. 2
所蔵館14館
-
6
- Isomorphisms of types : from λ-calculus to information retrieval and language design
-
Roberto Di Cosmo
Birkhäuser 1995 Progress in theoretical computer science
所蔵館23館
-
7
- The combinatory programme
-
Erwin Engeler ; in collaboration with K. Aberer ... [et. al]
Birkhäuser 1995 Progress in theoretical computer science
: us , : gw
所蔵館18館
-
8
- Fundamental algorithms
-
Dario Bini, Victor Y. Pan
Springer Science+Business Media c1994 Progress in theoretical computer science . Polynomial and matrix computations ; 1
: pbk
所蔵館2館
-
9
- Subrecursive programming systems : complexity & succinctness
-
James S. Royer, John Case
Birkhäuser 1994 Progress in theoretical computer science
:us , :sz
所蔵館19館
-
10
- Fundamental algorithms
-
Dario Bini, Victor Y. Pan
Birkhäuser 1994 Progress in theoretical computer science . Polynomial and matrix computations ; 1
:us , :sz
所蔵館29館
-
11
- Finite automata, formal logic, and circuit complexity
-
Howard Straubing
Birkhäuser 1994 Progress in theoretical computer science
: us , : sz
所蔵館24館
-
12
- Nondeterminism in algebraic specifications and algebraic programs
-
Heinrich Hussmann
Birkhäuser c1993 Progress in theoretical computer science
所蔵館17館
-
13
- The graph isomorphism problem : its structural complexity
-
Johannes Köbler, Uwe Schöning, Jacobo Torán
Birkhäuser c1993 Progress in theoretical computer science
: us , : gw
所蔵館25館
-
14
- Categorical combinators, sequential algorithms, and functional programming
-
Pierre-Louis Curien
Birkhäuser c1993 2nd ed Progress in theoretical computer science
: us , : sz
所蔵館24館
-
15
- Algorithms for random generation and counting : a Markov chain approach
-
Alistair Sinclair
Birkhäuser c1993 Progress in theoretical computer science
: us , : gw
所蔵館22館
-
16
- Verifying temporal properties of systems
-
Julian Charles Bradfield
Birkhäuser c1992 Progress in theoretical computer science
: Boston , : Basel
所蔵館25館
-
17
- Semantics of type theory : correctness, completeness and independence results
-
Thomas Streicher
Springer Science+Business Media c1991 Progress in theoretical computer science
: pbk
所蔵館1館
-
18
- Complexity theory of real functions
-
Ker-I Ko
Birkhäuser 1991 Progress in theoretical computer science
: Boston , : Basel , : softcover
所蔵館29館
-
19
- Semantics of type theory : correctness, completeness, and independence results
-
Thomas Streicher
Birkhäuser 1991 Progress in theoretical computer science
: Basel , : Boston
所蔵館26館
-
20
- Logic of domains
-
Guo-Qiang Zhang
Birkhäuser 1991 Progress in theoretical computer science
: Boston , : Basel
所蔵館29館
- 1
- 2
- 1 / 2
