 | NEW Parallel Algorithms and Architectures 9783540180999 $29.00 |
|
|  | NEW Operating Systems Engineering 9783540116042 $74.95 |
| |
 | NEW The Concurrency Control Problem for Database Sys... $49.95 |
|
|  | NEW Axiomatising the Logic of Computer Programming -... $20.00 |
| |
 | NEW Exercises in Computer Systems Analysis - Everlin... $15.00 |
|
|  | NEW Tempo: A Unified Treatment of Binding Time and P... $24.95 |
| |
 | NEW Caap'86: 11th Colloquium on Trees in Algebra and... $62.95 |
|
|  | NEW Data Base Design Techniques I: Requirements and ... $21.00 |
| |
 | NEW VDM '87. VDM - A Formal Method at Work $71.95 |
|
|  | NEW Mathematical Studies of Information Processing $89.95 |
| |
 | NEW Paragon - Sherman, Mark S. ... $74.95 |
|
|  | NEW Portability of Numerical Software: Workshop, Oak... $28.00 |
| |
 | NEW Parle Parallel Architectures and Languages Europ... $49.95 |
|
|  | NEW Eci Conference 1976: Proceedings of the 1st Conf... $24.95 |
| |
 | NEW Specification and Design of Software Systems: Co... $12.00 |
|
|  | NEW International Symposium on Programming $57.95 |
| |
 | NEW A Review of ADA Tasking - Burns, Alan ... $49.95 |
|
|  | NEW Language Hierarchies and Interfaces 9783540079941 $69.95 |
| |
 | NEW An Analytical Description of Chill, the Ccitt Hi... $52.95 |
|
|  | NEW Category Theory and Computer Programming $38.00 |
| |
 | NEW Logics of Programs: Workshop Carnegie Mellon Uni... $43.00 |
|
|  | NEW Parle Parallel Architectures and Languages Europ... $54.95 |
| |
 | NEW Reliability Evaluation of Some Fault-Tolerant Co... $49.95 |
|
|  | NEW Information Systems Methodology: Proceedings, 2n... $56.95 |
| |
 | NEW Icdt'86: International Conference on Database Th... $71.95 |
|
|  | NEW Formal Aspects of Cognitive Processes: Proceedin... $15.00 |
| |
 | NEW Graph-Grammars and Their Application to Computer... $74.95 |
|
|  | NEW Mathematical Foundations of Computer Science 198... $81.95 |
| |
 | NEW Semantics-Directed Compiler Generation: Proceedi... $35.00 |
|
|  | NEW Category Theory Applied to Computation and Contr... $19.00 |
| |
 | NEW Foundations of Computation Theory: Proceedings o... $43.00 |
|
|  | NEW Stacs 86 9783540160786 $44.95 |
| |
 | NEW Program Specification 9783540114901 $69.95 |
|
|  | NEW Research and Development in Information Retrieval $19.00 |
| |
 | NEW Negation and Control in PROLOG - Naish, Lee $49.95 |
|
|  | NEW Logic and Machines: Decision Problems and Comple... $31.00 |
| |
 | NEW Simple Program Schemes and Formal Languages - En... $18.00 |
|
|  | NEW Rims Symposium on Software Science and Engineeri... $62.95 |
| |
 | NEW P-Functions and Boolean Matrix Factorization: A ... $57.95 |
|
|  | NEW Graphtheoretic Concepts in Computer Science $69.95 |
| |
 | NEW Eurosam 84: International Symposium on Symbolic ... $74.95 |
|
|  | NEW Graph Theory and Algorithms: 17th Symposium of R... $49.95 |
| |
 | NEW Stacs 87: 4th Annual Symposium on Theoretical As... $45.00 |
|
|  | NEW GI - 5. Jahrestagung: Dortmund, 8.-10. Oktober 1975 $35.80 |
| |
 | NEW Networking in Open Systems: International Semina... $41.00 |
|
|  | NEW Compiler Specification and Verification - Polak, W. $24.95 |
| |
 | NEW Database Machine Performance: Modeling Methodolo... $54.95 |
|
|  | NEW Automata, Languages, and Programming 9783540095101 $89.95 |
| |
 | NEW Lucas Associative Array Processor - Fernstrom, C... $62.95 |
|
|  | NEW Programs as Data Objects: Proceedings of a Works... $35.00 |
| |
 | NEW Mathematical Methods of Specification and Synthe... $52.95 |
|
|  | NEW Coroutines: A Programming Methodology, a Languag... $52.95 |
| |
 | NEW Logic Programming '85: Proceedings of the 4th Co... $62.95 |
|
|  | NEW The Munich Project Cip 9783540151876 $34.95 |
| |
 | NEW Tapsoft '87. Proceedings of the International Jo... $39.95 |
|
|  | NEW Complementary Definitions of Programming Languag... $11.00 |
| |
 | NEW Design and Implementation of Programming Languag... $30.00 |
|
|  | NEW Directions in Human Factors for Interactive Syst... $44.95 |
| |
 | NEW Mathematical Foundations of Computer Science 197... $24.00 |
|
|  | NEW Theory of Program Structures: Schemes, Semantics... $28.00 |
| |
 | NEW Optimization Techniques: Ifip Technical Conferen... $29.95 |
|
|  | NEW Anaphora in Natural Language Understanding: A Su... $12.00 |
| |
 | NEW Analysis of Drum and Disk Storage Units - Fuller... $19.00 |
|
|  | NEW Advances in Petri Nets 1984 9783540152040 $49.95 |
| |
 | NEW Methods of Algorithmic Language Implementation $59.95 |
|
|  | NEW Theoretical Computer Science 9783540081388 $25.00 |
| |
 | NEW Conpar 81 9783540108276 $79.95 |
|
|  | NEW A Concurrent Pascal Compiler for Minicomputers -... $59.95 |
| |
 | NEW Advanced Programming Environments 9783540171898 $59.95 |
|
|  | NEW First-Order Dynamic Logic - Harel, D. ... $17.00 |
| |
 | NEW Mathematical Foundations of Computer Science 1986 $99.00 |
|
|  | NEW Logics of Programs: Workshop, Yorktown Heights, ... $32.00 |
| |
 | NEW Concepts in User Interfaces - Beech, David ... $36.95 |
|
|  | NEW Parallel Processing: Proceedings of the Sagamore... $21.00 |
| |
 | NEW Mathematical Foundations of Computer Science 1976 $84.95 |
|
|  | NEW Logics of Programs and Their Applications: Proce... $27.00 |
| |
 | NEW Theoretical Computer Science: 5th GI-Conference ... $52.95 |
|
|  | NEW The Adaption of Virtual Man-Computer Interfaces ... $49.95 |
| |
 | NEW Third International Conference on Logic Programm... $59.00 |
|
|  | NEW Newcat: Parsing Natural Language Using Left-Asso... $82.95 |
| |
 | NEW Distributed Systems - Alford, M. W. ... $66.95 |
|
|  | NEW Functional Programming Languages and Computer Ar... $69.95 |
| |
 | NEW Fundamentals of Computation Theory 9783540156895 $33.50 |
|
|  | NEW Combinators and Functional Programming Languages $22.00 |
| |
 | NEW Matrix Eigensystem Routines - Eispack Guide Exte... $34.95 |
|
|  | NEW Foundations of Software Technology and Theoretic... $83.95 |
| |
 | NEW An Optimized Translation Process and Its Applica... $21.00 |
|
|  | NEW Data Base Design Techniques II: Physical Structu... $14.00 |
| |
 | NEW Conpar 86: Conference on Algorithms and Hardware... $67.95 |
|
|  | NEW Seminar on Concurrency: Carnegie-Mellon Universi... $83.95 |
| |
 | NEW Automata, Languages and Programming: Fourth Coll... $28.00 |
|
|  | NEW Interval Mathematics: Proceedings of the Interna... $20.00 |
| |
 | NEW Logic of Programs 9783540111603 $49.95 |
|
|  | NEW Diana. an Intermediate Language for ADA $29.95 |
| |
 | NEW Abstract Software Specifications 9783540100072 $39.00 |
|
|  | NEW Edinburgh Lcf: A Mechanized Logic of Computation... $15.00 |
| |
 | NEW The Programming Language ADA 9783540106937 $29.95 |
|
|  | NEW Computing in Systems Described by Equations - O'... $14.00 |
| |
 | NEW Pictorial Information Systems 9783540097570 $28.00 |
| | |
|