Title: The Modelling of Systems with Small Observation Sets, Author: J.M. Maciejowski
Title: Computers and Intractability: A Guide to the Theory of NP-Completeness / Edition 1, Author: M. R. Garey
Title: An Introduction to Probability and Statistics Using Basic / Edition 1, Author: Groeneveld
Title: First-Order Dynamic Logic, Author: D. Harel
Title: A Complex Variable Approach to the Analysis of Linear Multivariable Feedback Systems, Author: I. Postlethwaite
Title: A Relational Theory of Computing, Author: John G. Sanderson
Title: Stability and Robustness of Multivariable Feedback Systems, Author: Michael George Safonov
Title: Graphs, Codes and Designs, Author: P. J. Cameron
Title: Context-Free Grammars: Covers, Normal Forms, and Parsing, Author: A. Nijholt
Title: Inside Computer Understanding: Five Programs Plus Miniatures / Edition 1, Author: R. C. Schank
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock
Title: Compiler Specification and Verification, Author: W. Polak
Title: Pascal at Work and Play: An Introduction to Computer Programming in Pascal, Author: Richard Forsyth
Title: An Analytical Description of CHILL, the CCITT High Level Language, Author: P. Branquart
Title: Axiomatising the Logic of Computer Programming, Author: R. Goldblatt
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
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: PASCAL for Programmers, Author: S. Eisenbach

Pagination Links