Author(s)
Bibliographic Information
Progress in theoretical computer science
Birkhäuser
Search this Book/Journal
-
1
- Neural networks and analog computation : beyond the turing limit
-
Hava T. Siegelmann
Birkhäuser c1999 Progress in theoretical computer science
: hardcover
Available at 25 libraries
-
2
- Comparative metric semantics of programming languages : nondeterminism and recursion
-
Franck van Breugel
Birkhauser Boston c1998 Progress in theoretical computer science
:us [hard]
Available at 12 libraries
-
3
- Solving higher-order equations : from logic to programming
-
Christian Prehofer
Birkhäuser c1998 Progress in theoretical computer science
Available at 13 libraries
-
4
- Object-oriented programming : a unified foundation
-
Giuseppe Castagna
Birkhäuser c1997 Progress in theoretical computer science
Available at 13 libraries
-
5
- ALGOL-like languages
-
Peter W. O'Hearn, Robert D. Tennent, editors
Birkhauser c1997 Progress in theoretical computer science
v. 1 , v. 2
Available at 14 libraries
-
6
- Isomorphisms of types : from λ-calculus to information retrieval and language design
-
Roberto Di Cosmo
Birkhäuser 1995 Progress in theoretical computer science
Available at 23 libraries
-
7
- The combinatory programme
-
Erwin Engeler ; in collaboration with K. Aberer ... [et. al]
Birkhäuser 1995 Progress in theoretical computer science
: us , : gw
Available at 18 libraries
-
8
- Fundamental algorithms
-
Dario Bini, Victor Y. Pan
Springer Science+Business Media c1994 Progress in theoretical computer science . Polynomial and matrix computations ; 1
: pbk
Available at 2 libraries
-
9
- Subrecursive programming systems : complexity & succinctness
-
James S. Royer, John Case
Birkhäuser 1994 Progress in theoretical computer science
:us , :sz
Available at 19 libraries
-
10
- Fundamental algorithms
-
Dario Bini, Victor Y. Pan
Birkhäuser 1994 Progress in theoretical computer science . Polynomial and matrix computations ; 1
:us , :sz
Available at 29 libraries
-
11
- Finite automata, formal logic, and circuit complexity
-
Howard Straubing
Birkhäuser 1994 Progress in theoretical computer science
: us , : sz
Available at 24 libraries
-
12
- Nondeterminism in algebraic specifications and algebraic programs
-
Heinrich Hussmann
Birkhäuser c1993 Progress in theoretical computer science
Available at 16 libraries
-
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
Available at 24 libraries
-
14
- Categorical combinators, sequential algorithms, and functional programming
-
Pierre-Louis Curien
Birkhäuser c1993 2nd ed Progress in theoretical computer science
: us , : sz
Available at 23 libraries
-
15
- Algorithms for random generation and counting : a Markov chain approach
-
Alistair Sinclair
Birkhäuser c1993 Progress in theoretical computer science
: us , : gw
Available at 22 libraries
-
16
- Verifying temporal properties of systems
-
Julian Charles Bradfield
Birkhäuser c1992 Progress in theoretical computer science
: Boston , : Basel
Available at 26 libraries
-
17
- Semantics of type theory : correctness, completeness and independence results
-
Thomas Streicher
Springer Science+Business Media c1991 Progress in theoretical computer science
: pbk
Available at 1 libraries
-
18
- Complexity theory of real functions
-
Ker-I Ko
Birkhäuser 1991 Progress in theoretical computer science
: Boston , : Basel , : softcover
Available at 29 libraries
-
19
- Semantics of type theory : correctness, completeness, and independence results
-
Thomas Streicher
Birkhäuser 1991 Progress in theoretical computer science
: Basel , : Boston
Available at 26 libraries
-
20
- Logic of domains
-
Guo-Qiang Zhang
Birkhäuser 1991 Progress in theoretical computer science
: Boston , : Basel
Available at 28 libraries