Title: Standard-Pascal: Systematische Darstellung für den Anwender nach DIN 66256, Author: Rudolf Herschel
Title: Lancelot: A Fortran Package for Large-Scale Nonlinear Optimization (Release A), Author: A.R. Conn
Title: The Logic Programming Tutor, Author: Jocelyn Paine
Title: Anatomy of a Silicon Compiler, Author: Robert W. Brodersen
Title: VHDL for Simulation, Synthesis and Formal Proofs of Hardware, Author: Jean Mermet
Title: Systolic Computations, Author: M.A. Frumkin
Title: Logic Programming - New Frontiers, Author: D.R. Brough
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification, Author: Zohar Manna
Title: The Design and Analysis of Algorithms, Author: Dexter C. Kozen
Title: First-Order Programming Theories, Author: Tamas Gergely
Title: Associative Computing: A Programming Paradigm for Massively Parallel Computers, Author: Jerry L. Potter
Title: Formal Description of Programming Concepts, Author: Erich J. Neuhold
Title: Generalized LR Parsing, Author: Masaru Tomita
Title: Informatik: Elementare Einführung in Entwurf, Analyse und maschinelle Verarbeitung von Algorithmen, Author: Martin Warnke
Title: Algorithmic Aspects of Flows in Networks, Author: Günther Ruhe
Title: Principle-Based Parsing: Computation and Psycholinguistics, Author: R. C. Berwick
Title: Systolic Algorithms, Author: David J. Evans
Title: Logic of Domains, Author: G. Zhang
Title: Real-Time UNIX® Systems: Design and Application Guide, Author: Borko Furht
Title: A Systolic Array Parallelizing Compiler, Author: Ping-Sheng Tseng

Pagination Links