 | NEW Anna a Language for Annotating ADA Programs: Ref...
$49.95 |
|
|  | NEW Database Machine Performance: Modeling Methodolo...
$54.95 |
|
|
 | NEW VDM '87. VDM - A Formal Method at Work
$71.95 |
|
|  | NEW The Logic of Theory Change 9783540535676
$67.95 |
|
|
 | NEW Parle '89 - Parallel Architectures and Languages...
$67.95 |
|
|  | NEW Computational Aspects of an Order-Sorted Logic w...
$33.95 |
|
|
 | NEW Net Theory and Applications: Proceedings of the ...
$32.00 |
|
|  | NEW Visualization in Programming: 5th Interdisciplin...
$52.95 |
|
|
 | NEW Trends in Information Processing Systems: 3rd Co...
$30.00 |
|
|  | NEW Coding Theory and Applications 9783540193685
$49.95 |
|
|
 | NEW Algebraic Semantics - Guessarian, I. ...
$24.95 |
|
|  | NEW Towards a Formal Description of ADA 9783540102830
$84.95 |
|
|
 | NEW Networking in Open Systems: International Semina...
$41.00 |
|
|  | NEW Instructional Models in Computer-Based Learning ...
$183.00 |
|
|
 | NEW Advances in Database Technology - Edbt '88
$64.95 |
|
|  | NEW Tapsoft '89. Proceedings of the International Jo...
$74.95 |
|
|
 | NEW Parallel Algorithms and Architectures 9783540180999
$29.00 |
|
|  | NEW Temporal Logic in Specification 9783540518037
$85.00 |
|
|
 | NEW CSL'88 9783540516590
$72.95 |
|
|  | NEW Program Construction: International Summer Schoo...
$49.95 |
|
|
 | NEW 10th International Conference on Automated Deduc...
$109.00 |
|
|  | NEW Advances in Cryptology - Eurocrypt '90: Workshop...
$54.95 |
|
|
 | NEW Recent Trends in Data Type Specification: Fifth ...
$54.95 |
|
|  | NEW Advanced Topics in Artificial Intelligence: 2nd ...
$57.95 |
|
|
 | NEW Future Parallel Computers 9783540182030
$71.95 |
|
|  | NEW Experiences with Distributed Systems: Internatio...
$54.95 |
|
|
 | NEW Tapsoft '87. Proceedings of the International Jo...
$39.95 |
|
|  | NEW Tapsoft '89. Proceedings of the International Jo...
$67.95 |
|
|
 | NEW Foundations of Equational Logic Programming - Hl...
$33.00 |
|
|  | NEW Parle Parallel Architectures and Languages Europ...
$54.95 |
|
|
 | NEW Database Machines 9783540513247
$67.95 |
|
|  | NEW Knowledge Representation and Organization in Mac...
$44.95 |
|
|
 | NEW Electronic Business 9783790814972
$65.84 |
|
|  | NEW It Im Unternehmen 9783540202530
$69.95 |
|
|
 | NEW Optimal Algorithms 9783540518594
$59.95 |
|
|  | NEW Symbolic and Algebraic Computation: Eurosam '79,...
$30.00 |
|
|
 | NEW System Development and ADA: Crai Workshop on Sof...
$59.95 |
|
|  | NEW Computer Assisted Learning: 3rd International Co...
$54.95 |
|
|
 | NEW Wopplot 86 Parallel Processing: Logic, Organizat...
$49.95 |
|
|  | NEW Category Theory and Computer Science 9783540516620
$44.95 |
|
|
 | NEW Mathematics of Program Construction: 375th Anniv...
$69.95 |
|
|  | NEW Trends, Techniques, and Problems in Theoretical ...
$52.95 |
|
|
 | NEW Expert Systems in Engineering: Principles and Ap...
$49.95 |
|
|  | NEW Mathematical Foundations of Computer Science 1990
$62.95 |
|
|
 | NEW Computation Theory and Logic 9783540181705
$74.95 |
|
|  | NEW The Munich Project Cip: Volume II: The Programme...
$87.95 |
|
|
 | NEW Efficient Structures for Geometric Data Manageme...
$57.95 |
|
|  | NEW CSL '87 9783540502418
$62.95 |
|
|
 | NEW Semantics of Digital Circuits - Delgado Kloos, C...
$24.95 |
|
|  | NEW Fundamentals of Computation Theory: Internationa...
$79.95 |
|
|
 | NEW Attribute Grammars: Definitions, Systems and Bib...
$49.95 |
|
|  | NEW Translating Relational Queries Into Iterative Pr...
$41.95 |
|
|
 | NEW Visualization in Human-Computer Interaction
$49.95 |
|
|  | NEW Foundations of Software Technology and Theoretic...
$79.95 |
|
|
 | NEW Mfdbs 91: 3rd Symposium on Mathematical Fundamen...
$59.95 |
|
|  | NEW Caap '88 9783540190219
$59.95 |
|
|
 | NEW Mathematical Foundations of Computer Science 197...
$84.95 |
|
|  | NEW Foundations of Logic and Functional Programming:...
$52.95 |
|
|
 | NEW Compositionality, Concurrency, and Partial Corre...
$57.95 |
|
|  | NEW Icdt '88: 2nd International Conference on Databa...
$72.95 |
|
|
 | NEW Advances in Petri Nets 1990 9783540538639
$93.00 |
|
|  | NEW Parle Parallel Architectures and Languages Europ...
$49.95 |
|
|
 | NEW Fachtagung Prozessrechner 1974: Gfk-GI-Gmr. Karl...
$27.00 |
|
|  | NEW Prospects for Functional Programming in Software...
$47.95 |
|
|
 | AutoCAD LT for Windows 95 - User's Guide
$15.00 |
|
|  | NEW Foundations of Software Technology and Theoretic...
$69.95 |
|
|
 | NEW Matrix Eigensystem Routines - Eispack Guide - Sm...
$68.95 |
|
|  | NEW Concrete and Abstract Voronoi Diagrams - Klein, ...
$52.95 |
|
|
 | NEW High Performance Transaction Systems 9783540510857
$59.95 |
|
|  | NEW Advances in Object-Oriented Database Systems: 2n...
$57.95 |
|
|
 | NEW Introduction to VLSI Process Engineering
$189.00 |
|
|  | NEW Advances in Petri Nets 1988 9783540505808
$72.95 |
|
|
 | NEW Distributed Algorithms 9783540193661
$74.95 |
|
|  | NEW Stacs 85: 2nd Annual Symposium on Theoretical As...
$35.00 |
|
|
 | NEW Applicable Algebra, Error-Correcting Codes, Comb...
$52.95 |
|
|  | NEW Advances in Database Technology - Edbt '90
$77.95 |
|
|
 | NEW VDM '90. VDM and Z - Formal Methods in Software ...
$86.95 |
|
|  | NEW Artificial Intelligence in Higher Education
$49.95 |
|
|
 | NEW Proceedings / Parcella 1988 9783540506478
$67.95 |
|
|  | NEW Advances in Computing and Information - ICCI '91
$109.00 |
|
|
 | NEW Lernen Organisieren: Medien, Module, Konzepte - ...
$39.49 |
|
|  | NEW Category Theory and Computer Science 9783540185086
$39.95 |
|
|
 | NEW Foundations of Software Technology and Theoretic...
$62.95 |
|
|  | NEW Group Theoretical Methods in Image Processing - ...
$24.50 |
|
|
 | NEW Parallel Computing in Science and Engineering: 4...
$49.95 |
|
|  | NEW ESOP '88: 2nd European Symposium on Programming....
$67.95 |
|
|
 | NEW Embedded Systems: New Approaches to Their Formal...
$49.95 |
|
|  | NEW Statistical and Scientific Database Management: ...
$57.95 |
|
|
 | NEW Mathematical Foundations of Computer Science 1981
$84.95 |
|
|  | NEW Logic Programming '86 9783540180241
$52.95 |
|
|
 | NEW Symbolic and Algebraic Computation: Internationa...
$93.00 |
|
|  | NEW CMM Handbuch - Dymond, Kenneth M. ...
$99.00 |
|
|
 | NEW Verifying Concurrent Processes Using Temporal Lo...
$52.95 |
|
|  | NEW Automata, Languages and Programming 9783540108436
$84.95 |
|
|
 | NEW A Comparative Study of Very Large Data Bases - H...
$14.95 |
|
|  | NEW Foundations of Data Organization and Algorithms
$85.00 |
|
|
 | NEW A Review of ADA Tasking - Burns, Alan ...
$49.95 |
|
|  | NEW Compiler Compilers and High Speed Compilation
$57.95 |
|
|