Title: FORTRAN Programming: A Supplement for Calculus Courses, Author: W. R. Fuller
Title: An Introduction to the Regenerative Method for Simulation Analysis, Author: M.A. Crane
Title: Computing in Systems Described by Equations, Author: M.J. O'Donnell
Title: The Vienna Development Method: The Meta-Language, Author: D. Bjorner
Title: Program Modification, Author: J.D. Warnier
Title: The Modelling of Systems with Small Observation Sets, Author: J.M. Maciejowski
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, 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 Complex Variable Approach to the Analysis of Linear Multivariable Feedback Systems, Author: I. Postlethwaite
Title: The Use of Formal Specification of Software: June 25-27, 1979, Berlin, Author: H.K. Berg
Title: Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979, Author: J. M. Tobias
Title: International Symposium on Programming: Proceedings of the Fourth Colloque International sur la Programmation Paris, 22-24 April 1980, Author: B. Robinet
Title: A Relational Theory of Computing, Author: John G. Sanderson
Title: Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979, Author: W. Brauer
Title: Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings, Author: J. W. de Bakker
Title: Graphs, Codes and Designs, Author: P. J. Cameron
Title: Software Development Tools, Author: W.E. Riddle
Title: Context-Free Grammars: Covers, Normal Forms, and Parsing, Author: A. Nijholt

Pagination Links