Title: Programmierübungen in ALGOL 60 / Edition 1, Author: Georg Bayer
Title: A Systolic Array Optimizing Compiler / Edition 1, Author: Monica S. Lam
Title: Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1, Author: Helmut A. Partsch
Title: Informatik: Elementare Einführung in Entwurf, Analyse und maschinelle Verarbeitung von Algorithmen / Edition 2, Author: Martin Warnke
Title: The Design and Analysis of Algorithms / Edition 1, Author: Dexter C. Kozen
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification / Edition 1, Author: Zohar Manna
Title: Standard-Pascal: Systematische Darstellung für den Anwender nach DIN 66256 / Edition 8, Author: Rudolf Herschel
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Efficient Algorithms for Listing Combinatorial Structures, Author: Leslie Ann Goldberg
Title: Strukturierte Programmierung in COBOL / Edition 1, Author: Axel C Schwickert
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
Title: A Practical Theory of Programming / Edition 1, Author: Eric C.R. Hehner
Title: Solving Partial Differential Equations On Parallel Computers, Author: Jian Ping Zhu
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
Title: Subrecursive Programming Systems: Complexity & Succinctness / Edition 1, Author: James S. Royer
Title: Grammar Systems: A Grammatical Approach to Distribution and Cooperation / Edition 1, Author: Erzsebet Csuhaj-Varju
Title: Erfolgreich Programmieren mit Ada: Unter Ber�cksichtigung des objektorientierten Standards / Edition 1, Author: Diana Schmidt
Title: Algorithms and Parallel VLSI Architectures III, Author: M. Moonen
Title: Reliability and Safety Analyses under Fuzziness / Edition 1, Author: Takehisa Onisawa

Pagination Links