Title: Algorithmen und rekursive Funktionen, Author: Anatolij I. Mal'cev
Title: Simple Program Schemes and Formal Languages, Author: J. Engelfriet
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: Program Modification, Author: J.D. Warnier
Title: Computers and Intractability: A Guide to the Theory of NP-Completeness / Edition 1, Author: M. R. Garey
Title: First-Order Dynamic Logic, Author: D. Harel
Title: A Relational Theory of Computing, Author: John G. Sanderson
Title: Context-Free Grammars: Covers, Normal Forms, and Parsing, Author: A. Nijholt
Title: Compiler Specification and Verification, Author: W. Polak
Title: Axiomatising the Logic of Computer Programming, Author: R. Goldblatt
Title: Program Construction: International Summer School, Author: F.L. Bauer
Title: Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare, Author: M. Broy
Title: An Attribute Grammar for the Semantic Analysis of ADA, Author: J. Uhl
Title: Data Structures and Algorithms / Edition 1, Author: Alfred Aho
Title: The Evolution of Programs, Author: DERSHOWITZ
Title: Introducing CAL: A practical guide to writing Computer-Assisted Learning programs, Author: Keith Hudson
Title: Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings, Author: G. Kahn
Title: P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms, Author: A. Thayse

Pagination Links