 | NEW Wopplot 86 Parallel Processing: Logic, Organizat... $49.95 |
|
|  | NEW Coroutines: A Programming Methodology, a Languag... $52.95 |
| |
 | NEW Stacs 86 ... $44.95 |
|
|  | NEW Parallel Computing in Science and Engineering: 4... $49.95 |
| |
 | NEW Information Systems Methodology: Proceedings, 2n... $56.95 |
|
|  | NEW Combinators and Functional Programming Languages $22.00 |
| |
 | NEW Program Specification ... $69.95 |
|
|  | NEW System Development and ADA: Crai Workshop on Sof... $59.95 |
| |
 | NEW Distributed Algorithms ... $74.95 |
|
|  | NEW Programs as Data Objects: Proceedings of a Works... $35.00 |
| |
 | NEW The Munich Project Cip ... $34.95 |
|
|  | NEW Graph Theory and Algorithms: 17th Symposium of R... $49.95 |
| |
 | NEW Tapsoft '87. Proceedings of the International Jo... $39.95 |
|
|  | NEW Negation and Control in PROLOG ... $49.95 |
| |
 | NEW Theoretical Computer Science: 5th GI-Conference ... $52.95 |
|
|  | NEW Data Base Design Techniques II: Physical Structu... $14.00 |
| |
 | NEW Conpar 86: Conference on Algorithms and Hardware... $67.95 |
|
|  | NEW Mathematical Foundations of Computer Science 198... $81.95 |
| |
 | NEW Future Parallel Computers ... $71.95 |
|
|  | NEW Logic and Machines: Decision Problems and Comple... $31.00 |
| |
 | NEW Newcat: Parsing Natural Language Using Left-Asso... $82.95 |
|
|  | NEW Compiler Specification and Verification $24.95 |
| |
 | NEW Caap '88 ... $59.95 |
|
|  | NEW Third International Conference on Logic Programm... $59.00 |
| |
 | NEW A Review of ADA Tasking ... $49.95 |
|
|  | NEW Pictorial Information Systems ... $28.00 |
| |
 | NEW Seminar on Concurrency: Carnegie-Mellon Universi... $83.95 |
|
|  | NEW Advances in Petri Nets 1984 ... $49.95 |
| |
 | NEW Axiomatising the Logic of Computer Programming $20.00 |
|
|  | NEW An Analytical Description of Chill, the Ccitt Hi... $52.95 |
| |
 | NEW Advanced Programming Environments ... $59.95 |
|
|  | NEW Paragon ... $74.95 |
| |
 | NEW Conpar 81 ... $79.95 |
|
|  | NEW Fundamentals of Computation Theory ... $33.50 |
| |
 | NEW Rims Symposium on Software Science and Engineeri... $62.95 |
|
|  | NEW International Symposium on Programming $57.95 |
| |
 | NEW Theoretical Computer Science ... $25.00 |
|
|  | NEW Graph-Grammars and Their Application to Computer... $74.95 |
| |
 | NEW Stacs 87: 4th Annual Symposium on Theoretical As... $45.00 |
|
|  | NEW Category Theory and Computer Programming $38.00 |
| |
 | NEW Lucas Associative Array Processor ... $62.95 |
|
|  | NEW Abstract Software Specifications ... $39.00 |
| |
 | NEW Operating Systems Engineering ... $74.95 |
|
|  | NEW Anaphora in Natural Language Understanding: A Su... $12.00 |
| |
 | NEW Logic of Programs ... $49.95 |
|
|  | NEW The Adaption of Virtual Man-Computer Interfaces ... $49.95 |
| |
 | NEW Concepts in User Interfaces ... $36.95 |
|
|  | NEW VDM '87. VDM - A Formal Method at Work $71.95 |
| |
 | NEW Logics of Programs: Workshop Carnegie Mellon Uni... $43.00 |
|
|  | NEW Directions in Human Factors for Interactive Systems $44.95 |
| |
 | NEW Design and Implementation of Programming Languag... $30.00 |
|
|  | NEW Reliability Evaluation of Some Fault-Tolerant Co... $49.95 |
| |
 | NEW Database Machine Performance: Modeling Methodolo... $54.95 |
|
|  | NEW Parle Parallel Architectures and Languages Europ... $54.95 |
| |
 | NEW Mathematical Methods of Specification and Synthe... $52.95 |
|
|  | NEW Parallel Algorithms and Architectures ... $29.00 |
| |
 | NEW Tapsoft '87. Proceedings of the International Jo... $39.95 |
|
|  | NEW Parle Parallel Architectures and Languages Europ... $49.95 |
| |
 | NEW The Munich Project Cip: Volume II: The Programme... $87.95 |
|
|  | NEW Semantics-Directed Compiler Generation: Proceedi... $35.00 |
| |
 | NEW Translating Relational Queries Into Iterative Pr... $41.95 |
|
|  | NEW Tempo: A Unified Treatment of Binding Time and P... $24.95 |
| |
 | NEW Mathematical Foundations of Computer Science 1986 $99.00 |
|
|  | NEW Distributed Systems ... $66.95 |
| |
 | NEW Research and Development in Information Retrieval $19.00 |
|
|  | NEW Networking in Open Systems: International Semina... $41.00 |
| |
 | NEW Functional Programming Languages and Computer Ar... $69.95 |
|
|  | NEW Automata, Languages, and Programming ... $89.95 |
| |
 | NEW Foundations of Software Technology and Theoretic... $79.95 |
|
|  | NEW Anna a Language for Annotating ADA Programs: Ref... $49.95 |
| |
 | NEW Logics of Programs and Their Applications: Proce... $27.00 |
|
|  | NEW Logic Programming '86 ... $52.95 |
| |
 | NEW Computing in Systems Described by Equations $14.00 |
|
|  | NEW Logics of Programs: Workshop, Yorktown Heights, ... $32.00 |
| |
 | NEW Portability of Numerical Software: Workshop, Oak... $28.00 |
|
|  | NEW The Programming Language ADA ... $29.95 |
| |
 | NEW Category Theory and Computer Science ... $39.95 |
|
|  | NEW Caap'86: 11th Colloquium on Trees in Algebra and... $62.95 |
| |
 | NEW The Concurrency Control Problem for Database Sys... $49.95 |
|
|  | NEW Logic Programming '85: Proceedings of the 4th Co... $62.95 |
| |
 | NEW Mathematical Studies of Information Processing $89.95 |
|
|  | NEW Graphtheoretic Concepts in Computer Science $69.95 |
| |
 | NEW Foundations of Computation Theory: Proceedings o... $43.00 |
|
|  | NEW Specification and Design of Software Systems: Co... $12.00 |
| |
 | NEW Edinburgh Lcf: A Mechanized Logic of Computation $15.00 |
|
|  | NEW Trends, Techniques, and Problems in Theoretical ... $52.95 |
| |
 | NEW Semantics of Digital Circuits ... $24.95 |
|
|  | NEW Experiences with Distributed Systems: Internatio... $54.95 |
| |
 | NEW Computation Theory and Logic ... $74.95 |
|
|  | NEW Embedded Systems: New Approaches to Their Formal... $49.95 |
| |
 | NEW Foundations of Software Technology and Theoretic... $83.95 |
|
|  | NEW Eurosam 84: International Symposium on Symbolic ... $74.95 |
| |
 | NEW Data Base Design Techniques I: Requirements and ... $21.00 |
|
|  | NEW Fundamentals of Computation Theory: Internationa... $79.95 |
| |
 | NEW Visualization in Programming: 5th Interdisciplin... $52.95 |
|
|  | NEW Icdt'86: International Conference on Database Th... $71.95 |
| |
 | NEW First-Order Dynamic Logic ... $17.00 |
|
|  | NEW P-Functions and Boolean Matrix Factorization: A ... $57.95 |
| |
 | NEW Diana. an Intermediate Language for ADA $29.95 |
|
|  | NEW Matrix Eigensystem Routines - Eispack Guide Exte... $34.95 |
| |