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