 | NEW Verifying Concurrent Processes Using Temporal Logic
$52.95 |
|
|  | NEW A Study in String Processing Languages
$49.95 |
|
|
 | NEW Electronic Business ...
$65.84 |
|
|  | NEW Mathematical Foundations of Computer Science 1981
$84.95 |
|
|
 | NEW Trends in Information Processing Systems: 3rd Co...
$30.00 |
|
|  | NEW Net Theory and Applications: Proceedings of the ...
$32.00 |
|
|
 | NEW Design and Implementation of Large Spatial Datab...
$38.60 |
|
|  | NEW Advanced Topics in Artificial Intelligence: 2nd ...
$57.95 |
|
|
 | NEW Prospects for Functional Programming in Software...
$47.95 |
|
|  | NEW Logic at Botik '89 ...
$57.95 |
|
|
 | NEW Relational Matching ...
$59.95 |
|
|  | NEW Advances in Petri Nets 1993 ...
$89.95 |
|
|
 | NEW A Hierarchical Associative Processing System
$52.95 |
|
|  | NEW Fundamentals of Computation Theory: Internationa...
$59.95 |
|
|
 | NEW Foundations of Software Technology and Theoretic...
$62.95 |
|
|  | NEW Distributed Algorithms ...
$62.95 |
|
|
 | NEW Foundations of Software Technology and Theoretic...
$69.95 |
|
|  | NEW Fachtagung Prozessrechner 1974: Gfk-GI-Gmr. Karl...
$27.00 |
|
|
 | NEW Database Machines ...
$67.95 |
|
|  | NEW Optimal Algorithms ...
$59.95 |
|
|
 | NEW Symbolic and Algebraic Computation: Eurosam '79,...
$30.00 |
|
|  | NEW Readings on Cognitive Ergonomics, Mind and Compu...
$57.95 |
|
|
 | NEW CMM Handbuch ...
$99.00 |
|
|  | NEW Computer Assisted Learning: 3rd International Co...
$54.95 |
|
|
 | NEW Loglan '88 - Report on the Programming Language
$49.95 |
|
|  | NEW Matrix Eigensystem Routines - Eispack Guide
$68.95 |
|
|
 | NEW Local Area Networks: An Advanced Course: Glasgow...
$85.00 |
|
|  | NEW Concurrency 88 ...
$69.95 |
|
|
 | NEW Nested Relations and Complex Objects in Databases
$59.95 |
|
|  | NEW Tapsoft '89. Proceedings of the International Jo...
$67.95 |
|
|
 | NEW Applied Algebra, Algorithmics and Error-Correcti...
$57.95 |
|
|  | NEW Compiler Compilers and High Speed Compilation
$57.95 |
|
|
 | NEW Introduction to VLSI Process Engineering
$189.00 |
|
|  | NEW Mathematical Foundations of Computer Science 1991
$67.95 |
|
|
 | NEW Group Theoretical Methods in Image Processing
$24.50 |
|
|  | NEW Efficient Structures for Geometric Data Management
$57.95 |
|
|
 | NEW Tapsoft '91. Proceedings of the International Jo...
$84.95 |
|
|  | NEW Mfdbs 89 ...
$77.95 |
|
|
 | NEW Algebraic Semantics ...
$24.95 |
|
|  | NEW Automata, Languages and Programming ...
$114.00 |
|
|
 | NEW Foundations of Data Organization and Algorithms
$85.00 |
|
|  | NEW Automata, Languages and Programming ...
$84.95 |
|
|
 | NEW Functional Programming Languages and Computer Ar...
$49.95 |
|
|  | NEW Text Understanding in Lilog: Integrating Computa...
$74.95 |
|
|
 | NEW Swat '90: 2nd Scandinavian Workshop on Algorithm...
$69.95 |
|
|  | NEW Temporal Logic in Specification ...
$85.00 |
|
|
 | NEW The Analysis of Concurrent Systems ...
$74.95 |
|
|  | NEW Mathematical Foundations of Computer Science 1989
$69.95 |
|
|
 | NEW Advances in Computing and Information - ICCI '91
$109.00 |
|
|  | NEW Concur '92 ...
$99.00 |
|
|
 | NEW Stacs 93: 10th Annual Symposium on Theoretical A...
$115.00 |
|
|  | NEW Intelligent Tutoring Systems ...
$112.00 |
|
|
 | NEW VDM '90. VDM and Z - Formal Methods in Software ...
$86.95 |
|
|  | NEW Analogical and Inductive Inference: Internationa...
$34.95 |
|
|
 | NEW Advances in Petri Nets 1992 ...
$64.95 |
|
|  | NEW Mathematical Foundations of Computer Science 198...
$93.00 |
|
|
 | NEW Advances in Petri Nets 1990 ...
$93.00 |
|
|  | NEW Speech Application SDK Mit ASP.Net: Design Und I...
$69.95 |
|
|
 | NEW Tapsoft '89. Proceedings of the International Jo...
$74.95 |
|
|  | NEW A Connotational Theory of Program Structure
$46.95 |
|
|
 | NEW CSL'88 ...
$72.95 |
|
|  | NEW Category Theory and Computer Science ...
$44.95 |
|
|
 | NEW Advances in Database Technology - Edbt '90
$77.95 |
|
|  | NEW Towards a Formal Description of ADA ...
$84.95 |
|
|
 | NEW Conlan Report ...
$49.95 |
|
|  | NEW Mathematical Foundations of Computer Science 197...
$84.95 |
|
|
 | NEW Data Base Systems: Proceedings, 5th Informatik S...
$16.80 |
|
|  | NEW Trends in Artificial Intelligence ...
$74.95 |
|
|
 | NEW Mathematics of Program Construction: 375th Anniv...
$69.95 |
|
|  | NEW Mfdbs 91: 3rd Symposium on Mathematical Fundamen...
$59.95 |
|
|
 | NEW How to Multiply Matrices Faster ...
$18.00 |
|
|  | NEW 10th International Conference on Automated Deduc...
$109.00 |
|
|
 | NEW Algorithms and Data Structures: Workshop Wads '8...
$92.00 |
|
|  | NEW Concrete and Abstract Voronoi Diagrams
$52.95 |
|
|
 | NEW Program Construction: International Summer School
$49.95 |
|
|  | NEW Graph-Theoretic Concepts in Computer Science
$74.95 |
|
|
 | NEW Knowledge Representation and Organization in Mac...
$44.95 |
|
|  | NEW Languages and Compilers for Parallel Computing
$84.95 |
|
|
 | NEW A Comparative Study of Very Large Data Bases
$14.95 |
|
|  | NEW The Logic of Theory Change ...
$67.95 |
|
|
 | NEW Statistical and Scientific Database Management: ...
$57.95 |
|
|  | NEW Expert Systems in Engineering: Principles and Ap...
$49.95 |
|
|
 | NEW Symbolic and Algebraic Computation: Internationa...
$93.00 |
|
|  | NEW Foundations of Equational Logic Programming
$33.00 |
|
|
 | NEW Instructional Models in Computer-Based Learning ...
$183.00 |
|
|  | NEW Artificial Intelligence in Higher Education
$49.95 |
|
|
 | NEW Parle '89 - Parallel Architectures and Languages...
$82.95 |
|
|  | NEW Lexical Semantics and Knowledge Representation: ...
$76.95 |
|
|
 | NEW Computational Aspects of an Order-Sorted Logic w...
$33.95 |
|
|  | NEW Stacs 85: 2nd Annual Symposium on Theoretical As...
$35.00 |
|
|
 | NEW Mathematical Foundations of Computer Science 1990
$62.95 |
|
|  | NEW Compositionality, Concurrency, and Partial Corre...
$57.95 |
|
|
 | NEW Computer Aided Systems Theory - Eurocast '89: A ...
$67.95 |
|
|  | NEW Foundations of Software Technology and Theoretic...
$79.95 |
|
|
 | NEW Advances in Cryptology - Eurocrypt '90: Workshop...
$54.95 |
|
|  | NEW Visualization in Human-Computer Interaction
$49.95 |
|
|
 | NEW Automatic Verification Methods for Finite State ...
$62.95 |
|
|  | NEW Computer Science Logic ...
$79.95 |
|
|