Title: Report of Algorithmic Language ALGOL 68, Author: Adriaan van van Wijngaarden
Title: 1. Fachtagung �ber Automatentheorie und Formale Sprachen: GI. Gesellschaft f�r Informatik e.V. Bonn, 9.-12. Juli 1973, Author: Karl-Heinz Bïhling
Title: Linear Adaptive Decision Functions and Their Application to Clinical Decision: Course held at the Department for Automation and Information, June - July 1971, Author: Arnost Vesely
Title: Simple Program Schemes and Formal Languages, Author: J. Engelfriet
Title: Optimization Techniques IFIP Technical Conference: Novosibirsk, July 1-7, 1974, Author: Josef Stoer
Title: Theory of Program Structures: Schemes, Semantics, Verification, Author: Sheila A. Greibach
Title: An Optimized Translation Process and Its Application to ALGOL 68, Author: P. Branquart
Title: Programmers and Managers: The Routinization of Computer Programming in the United States, Author: P. Kraft
Title: The Vienna Development Method: The Meta-Language / Edition 1, Author: D. Bjorner
Title: Program Modification, Author: J.D. Warnier
Title: TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues, Author: N. D. Jones
Title: Microcomputer: Problem Solving Using PASCAL / Edition 5, Author: Kenneth L. Bowles
Title: Computers and Intractability: A Guide to the Theory of NP-Completeness, Author: M. R. Garey
Title: First-Order Dynamic Logic, Author: D. Harel
Title: A Relational Theory of Computing, Author: John G. Sanderson
Title: Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings / Edition 1, Author: J. W. de Bakker
Title: Context-Free Grammars: Covers, Normal Forms, and Parsing, Author: A. Nijholt
Title: Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980, Author: N.D. Jones
Title: Coroutines: A Programming Methodology, a Language Design and an Implementation, Author: C.D. Marlin
Title: Towards a Formal Description of Ada, Author: D Bjorner

Pagination Links