Liknande böcker

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, Apr...
Bok av Bruno Buchberger
COLOG-88
Bok av Per Martin-Lof
Category Theory and Computer Science : 7th International Conference, CTC...
Bok av Eugenio Moggi
Fachtagung Uber Automatentheorie und Formale Sprachen: No. 1 : GI. Gesel...
Bok av Karl-Heinz Bohling
Context-Free Grammars : Covers, Normal Forms, and Parsing
Bok av Anton Nijholt
Algebraic and Logic Programming
Bok av Michael Hanus
Mathematical Foundations of Programming Semantics
Bok
Automatic Verification Methods for Finite State Systems : International...
Bok av Joseph Sifakis

EUROCAL '87

Bok