Mathematical Theory Of Computation Books, CDs, DVDs: Buy Online

Back to Professional and Technical - Books,CDs,DVDs

A Compositional Approach to Performance Modelling Jane Hillston $107.32	Action Refinement in Process Algebras Luca Aceto $82.93	Action Semantics Peter D Mosses $126.83	Algebraic Specification of Communication Protocols S Mauw $73.17	Algorithmic Information Theory Gregory J Chaitin $78.00
Applications of Process Algebra J C M Baeten $165.85	Applied Dimensional Analysis and Modeling Second Edition Thomas Szirtes $234.14	Art of Measurement: Theory and Practice The Potter $93.61	Automata Theory with Modern Applications James A Anderson $78.00	Automata Theory with Modern Applications James A Anderson $219.51
Axiomatic Domain Theory in Categories of Partial Maps Marcelo P Fiore $97.51	Basic Methods of Cryptography Jan C A van der Lubbe $219.51	Basic Methods of Cryptography Jan C A van der Lubbe $126.83	Basic Proof Theory A S Troelstra $87.76	Basic Simple Type Theory J Roger Hindley $63.41
Brain Mech's for the Intergration of Posture and Movement Progress in Brain Research (PBR) Douglas Stuart $495.60	Coding Theory San Ling $92.68	Coding Theory San Ling $268.29	Coherent Systems Schlechta $312.19	Complexity and Information J F Traub $165.85
Complexity and Information J F Traub $73.17	Complexity Classifications of Boolean Constraint Satisfaction Problems Nadia Creignou $117.07	Computable Calculus Oliver Editor Aberth $170.73	Computational Complexity Oded Goldreich $126.83	Computational Integration Arnold R Krommer $136.58
Computational Modelling of Concrete Structures Macmillan Distribution Services $585.36	Computational Theory of Iterative Methods, Volume 15 Ioannis Argyros $307.31	Computer Algebra & Symbolic Computation H-C (Bk-CD) Joel S Cohen Joel S Cohen $97.51	COMPUTER ARITHMETIC PARHAMI $53.66	Computing with Mathematica Second Edition Hartmut FW Editor Hoft $182.44
Concurrency Verification Willem-Paul de Roever $439.02	Conducting Organic Materials and Devices, Volume 81 Suresh Jain $297.56	Consciousness Transitions Hans Liljenstrom $180.49	Constraint Handling Rules Thom Fruhwirth $174.14	Curve and Surface Reconstruction Tamal K Dey $156.10
Data Refinement Willem-Paul de Roever $219.51	Deductive and Declarative Programming Peter Padawitz $107.32	Developing User Interfaces Olsen $152.19	Differential Equations with Mathematica Third Edition James P Editor Georgia Southern Univ Braselton $141.46	Domains and Lambda Calculi Roberto M Amadio $268.29
Domains and Lambda-Calculi Roberto M Amadio $136.58	Essential Mathematics for Games and Interactive Applications Lars Editor Chapel Hill USA Bishop $100.49	Formal Semantics and Pragmatics for Natural Language Querying James Clifford $117.07	Formal Specification and Design L M G Feijs $117.07	Foundations of Cryptography Oded Goldreich $97.56
Foundations of Cryptography Oded Goldreich $156.10	Foundations of Genetic Algorithms - Vol 6 Spears $1,114.14	Free Choice Petri Nets Jorg Desel $97.51	Fundamental Data Compression Ida Mengyi Pu $87.80	Geometric Spanner Networks Giri Narasimhan $219.51