> Verlagsreihe
-
12:
Polynomial and matrix computations 1 Fundamental algorithms Dario Bini; Victor Y. Pan
Boston; Berlin [u.a.]: Birkhäuser, 1994
-
11:
Finite automata, formal logic, and circuit complexity Howard Straubing
Boston, Mass. [u.a.]: Birkhäuser, 1994
-
8:
Nondeterminism in algebraic specifications and algebraic programs Heinrich Hussmann
Boston; Berlin [u.a.]: Birkhäuser, 1993
-
[9]:
Categorical combinators, sequential algorithms, and functional programming Pierre-Louis Curien
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1993
-
[6]:
Verifying temporal properties of systems Julian Charles Bradfield
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1992
-
[2]:
Linear programming Howard Karloff
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1991
-
[3]:
Complexity theory of real functions Ker-I Ko
Boston, Mass. [u.a.]: Birkhäuser, 1991
-
[4]:
Logic of domains Guo-Qiang Zhang
Boston [u.a.]: Birkhäuser, 1991
-
[1]:
Canonical equational proofs Leo Bachmair
Boston; Berlin; [Stuttgart] [u.a.]: Birkhäuser, 1991