| 1 |
Nondeterminism in algebraic specifications and algebraic programs / Heinrich Hussmann
Boston : Birkhäuser , c1993
|
| 2 |
. Polynomial and matrix computations ; 1
Fundamental algorithms / Dario Bini, Victor Y. Pan
:us,:sz. - Boston : Birkhäuser , 1994
|
| 3 |
Subrecursive programming systems : complexity & succinctness / James S. Royer, John Case
:us,:sz. - Boston : Birkhäuser , 1994
|
| 4 |
The combinatory programme / Erwin Engeler ; in collaboration with K. Aberer ... [et. al]
: us,: gw. - Boston : Birkhäuser , 1995
|
| 5 |
Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher
: Basel,: Boston. - Boston : Birkhäuser , 1991
|
| 6 |
Linear programming / Howard Karloff
: us,: sz. - Boston : Birkhäuser , 1991
|
| 7 |
Isomorphisms of types : from λ-calculus to information retrieval and language design / Roberto Di Cosmo
Boston : Birkhäuser , 1995
|
| 8 |
Logic of domains / Guo-Qiang Zhang
: Boston,: Basel. - Boston : Birkhäuser , 1991
|
| 9 |
Algorithms for random generation and counting : a Markov chain approach / Alistair Sinclair
:us,:gw. - Boston : Birkhäuser , c1993
|
| 10 |
The graph isomorphism problem : its structural complexity / Johannes Köbler, Uwe Schöning, Jacobo Torán
: us,: gw. - Boston : Birkhäuser , c1993
|
| 11 |
Verifying temporal properties of systems / Julian Charles Bradfield
: Boston,: Basel. - Boston : Birkhäuser , c1992
|
| 12 |
Complexity theory of real functions / Ker-I Ko
: Boston,: Basel. - Boston ; Basel : Birkhäuser , 1991
|
| 13 |
Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien
: us,: sz. - 2nd ed. - Boston : Birkhäuser , c1993
|
| 14 |
Solving higher-order equations : from logic to programming / Christian Prehofer
Boston : Birkhäuser , c1998
|
Mendeley出力
