Title: Algebraic Semantics, Author: I. Guessarian
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock
Title: Learning Algorithms Theory and Applications: Theory and Applications, Author: S. Lakshmivarahan
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: Schaum's Outline of Essential Computer Mathematics, Author: Seymour Lipschutz
Title: A User's Guide to the Gottman-Williams Time-Series Analysis Computer Programs for Social Scientists, Author: Esther A. Williams
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
Title: Program Construction: International Summer School, Author: F.L. Bauer
Title: Design of Modern Control Systems / Edition 1, Author: D.J. Bell
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
Title: An Attribute Grammar for the Semantic Analysis of ADA, Author: J. Uhl
Title: Fitting Linear Models: An Application of Conjugate Gradient Algorithms / Edition 1, Author: A. McIntosh
Title: Illustrating FORTRAN, Author: Donald G. Alcock
Title: Dictionary of Information Technology, Author: Dennis Longley
Title: Multivariable Feedback: A Quasi-Classical Approach, Author: Y. S. Hung

Pagination Links