Title: Grammar and L Forms: An Introduction, Author: D. Wood
Title: Algebraic Semantics, Author: I. Guessarian
Title: Schaum's Outline of Essential Computer Mathematics, Author: Seymour Lipschutz
Title: Data Base Design Techniques I: Requirements and Logical Structures. NYU Symposium, New York, May 1978, Author: S. B. Yao
Title: Data Base Design Techniques II: Physical Structures and Applications. Proceedings, Tokyo, November 1979, Author: S. B. Yao
Title: Logics of Programs: Workshop, Yorktown Heights, NY, USA, Author: D. Kozen
Title: A User's Guide to the Gottman-Williams Time-Series Analysis Computer Programs for Social Scientists, Author: Esther A. Williams
Title: International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings, Author: M. Dezani-Ciancaglini
Title: Dictionary of Information Technology, Author: Dennis Longley
Title: Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980, Author: A. Salwicki
Title: Computer Mathematics, Author: D. J. Cooke
Title: A Survey of Verification Techniques for Parallel Programs, Author: Howard Barringer
Title: Computer-aided Specification Techniques, Author: Janos Demetrovics
Title: STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986, Author: B. Monien
Title: The Influence of Computers and Informatics on Mathematics and its Teaching: Proceedings From a Symposium Held in Strasbourg, France in March 1985 and Sponsored by the International Commission on Mathematical Instruction, Author: R. F. Churchhouse
Title: Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985, Author: Harald Ganzinger
Title: From Sand to Circuits: And Other Inquiries, Author: John J. Simon Jr.
Title: Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings, Author: Pierre Lescanne
Title: integrating Marker Passing and Problem Solving: A Spreading Activation Approach To Improved Choice in Planning, Author: James A. Hendler
Title: Parallel Algorithms and Architectures: International Workshop Suhl, GDR, May 25-30, 1987; Proceedings, Author: Andreas Albrecht

Pagination Links