Liknande böcker

Handbook of logic in computer science
Bok av S Abramsky
Graph Transformation
Bok av Leen Lambers
Algorithm Theory - SWAT 2010
Bok av Haim. Kaplan
Developments in Language Theory
Bok
Implementation and Application of Automata : 7th International Conferenc...
Bok
Implementation and Application of Automata : 16th International Conferen...
Bok av Béatrice. Bouchou-Markhoff
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, Apr...
Bok av Bruno Buchberger
Typed Lambda Calculi and Applications : Third International Conference o...
Bok av Philippe De Groote

Formalisieren und Beweisen

Bok av Siefkes