|
Visit our Sponsors

| Theoretical Computer Science (Page 1)
-
Action Semantics (Cambridge Tracts in Theoretical Computer Science, No 26)
- by Peter D. Mosses. Hardcover (September 1992)
- Amazon (USA): $59.95 : 24 hours
-
Advances in Computational Complexity Theory (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 13)
- by Jin-Yi Cai(Editor). Hardcover (October 1993)
- Amazon (USA): $84.00
-
Advances in Switching Networks : Dimacs Workshop July 7-9, 1997 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, V. 42)
- by Dingzhu Du(Editor), et al. Hardcover (June 1998)
- Amazon (USA): $70.00
-
African Americans in Mathematics : Dimacs Workshop June 26-28, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 35)
- by Nathaniel Dean(Editor), Nsf Science and Technology Center in Discrete m. Hardcover (June 1997)
- Amazon (USA): $49.00
-
Algebraic Approaches to Program Semantics (The Akm Series in Theoretical Computer Science)
- by Ernest G. Manes, Michael A. Arbib. Hardcover (August 1986)
- Amazon (USA): $110.00 : 24 hours
-
Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science, No 36)
- by S. Mauw, G.J. Veltink (Editor). Hardcover (December 1993)
- Amazon (USA): $49.95 : 24 hours
-
Algol-Like Languages (Progress in Theoretical Computer Science)
- by Peter W. O'Hearn(Editor), R. D. Tennent (Editor). Hardcover (December 1996)
- Amazon (USA): $54.50 : 24 hours
-
Algol-Like Languages (Progress in Theoretical Computer Science)
- by Peter W. O'Hearn(Editor), R. D. Tennent (Editor). Hardcover (January 1997)
- Amazon (USA): $76.50 : 24 hours
-
Algol-Like Languages (Progress in Theoretical Computer Science)
- by Peter W. O'Hearn(Editor), R. D. Tennent (Editor). Hardcover (December 1996)
- Amazon (USA): $49.95
-
Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science, Vol 1)
- by Gregory J. Chaitin. Hardcover (November 1987)
- Amazon (USA): $54.95 : 24 hours
-
Algorithms for Random Generation and Counting : A Markov Chain Approach (Progress in Theoretical Computer Science)
- by Alistair Sinclair. Hardcover (February 1993)
- Amazon (USA): $60.50 : 24 hours
-
Algorithms in Combinatorial Geometry (Eatcs Monographs on Theoretical Computer Science, Vol 10)
- by Herbert Edelsbrunner. Hardcover (November 1987)
- Amazon (USA): $86.95
-
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science, 17)
- by J.C.M. Baeten(Editor). Hardcover (January 1991)
- Amazon (USA): $54.95 : 2-3 days
-
Applied Discrete Mathematics and Theoretical Computer Science : Stability, Stabilization and Control of Delay Large Scale Systems
- by Liu Yongqing(Editor), Feng Zhaoshu (Editor). Hardcover (October 1996)
- Amazon (USA): $38.95
-
Applied Geometry and Discrete Mathematics : The Victor Klee Festschrift (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol)
- by Peter Gritzmann, Bernd Sturmfels (Editor). Hardcover (April 1991)
- Amazon (USA): $118.00
-
Artificial neural networks : theoretical concepts
-
- Amazon (USA): $67.00 : OOP
-
Aspects and Prospects of Theoretical Computer Science
- Paperback (February 1991)
- Amazon (USA): $118.00
-
Aspects and Prospects of Theoretical Computer Science (Lecture Notes in Computer Science, Vol 464)
- by J. Dassow, J. Kelemen (Editor). Paperback (February 1991)
- Amazon (USA): $41.95 : 24 hours
-
Automata Networks : Litp Spring School on Theoretical Computer Science (Lecture Notes in Computer Science, 316)
- by C. Choffrut(Editor). Paperback (June 1988)
- Amazon (USA): $39.95 : 24 hours
-
Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)
- by Paul B. Thistlewaite, et al.
- Amazon (USA): $67.00 : OOP
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, 43)
- by H. Schwichtenberg, Anne S. Troelstra. Paperback (April 2001)
- Amazon (USA): $29.95
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, No 43)
- by A. S. Troelstra, H. Schwichtenberg. Hardcover (October 1996)
- Amazon (USA): $57.95
-
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, No 42)
- by J. Roger Hindley. Hardcover (September 1997)
- Amazon (USA): $44.95 : 2-3 days
-
A Basis for Theoretical Computer Science
- by Michael A. Arbib.
- Amazon (USA): $67.00 : OOP
-
Belief Revision (Cambridge Tracts in Theoretical Computer Science, No 29)
- by Peter Gardenfors(Editor). Hardcover (June 1992)
- Amazon (USA): $44.95
-
Canonical Equational Proofs (Progress in Theoretical Computer Science)
- by Leo Bachmair. Hardcover (July 1991)
- Amazon (USA): $48.00
-
Canonical Forms in Finitely Presented Algebras (Research Notes in Theoretical Computer Science)
- by Philippe Le Chenadec.
- Amazon (USA): $67.00 : OOP
-
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
- by Pierre-Louis Curien. Hardcover (April 1993)
- Amazon (USA): $84.50 : 24 hours
-
Chemical Applications of Molecular Modelling
- by Jonathan M. Goodman. Paperback (December 1998)
- Amazon (USA): $49.00 : 24 hours
-
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, No 21)
- by D.A. Wolfram. Hardcover (March 1993)
- Amazon (USA): $49.95 : 24 hours
-
Coding and Quantization : Dimacs/IEEE Workshop, October 19-21, 1992 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
- by Robert Calderbank(Editor), et al. Hardcover (December 1993)
- Amazon (USA): $69.00
-
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use (Eatcs Monographs on Theoretical Computer Science)
- by Kurt Jensen. Hardcover (September 1992)
- Amazon (USA): $69.00
-
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science a Series of Eatcs)
- by K. Jensen. Hardcover (March 1995)
- Amazon (USA): $52.95 : 2-3 days
-
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science)
- by Kurt Jensen. Hardcover (June 1996)
- Amazon (USA): $69.95
-
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science. an Eatcs Series)
- by Kurt Jensen. Hardcover (August 1997)
- Amazon (USA): $59.95
-
Combinatorial Optimization : Papers from the Dimacs Special Year (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 20)
- by William Cook, Laszlo Lovasz. Hardcover (August 1995)
- Amazon (USA): $98.00
-
Combinatorics and Theoretical Computer Science : Proceedings of the Capital City Conference on Combinatorics and Theoretical Computer Science, Washin
- by Capital City Conference on Combinatorics and Theoretical Computer scie. Hardcover (November 1991)
- Amazon (USA): $212.50
-
Combinatorics, Complexity, & Logic : Proceedings of Dmtcs'96 (Springer Series in Discrete Mathematics and Theoretical Computer Science)
- by D. S. Bridges(Editor), et al. Paperback (April 1997)
- Amazon (USA): $212.50
-
The Combinatory Programme (Progress in Theoretical Computer Science)
- by Erwin Engeler(Editor). Hardcover (December 1995)
- Amazon (USA): $60.00 : 2-3 days
-
Communication Complexity and Parallel Computing : The Application of Communication Complexity in Parallel Computing (Texts in Theoretical Computer sci
- by J. Hromkovic. Hardcover (May 1997)
- Amazon (USA): $43.95
-
Communication from an Artificial Intelligence Perspective : Theoretical and Applied Issues (NATO Asi Series : Series F : Computer and Systems Science)
- by Andrew Ortony, et al. Hardcover (December 1992)
- Amazon (USA): $89.95 : 24 hours
-
Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion (Progress in Theoretical Computer Science)
- by Franck Van Breugel, et al. Hardcover (June 1998)
- Amazon (USA): $64.50 : 2-3 days
-
Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do (E A T C S Monographs on Theoretical Computer science
- by Mads Tofte. Hardcover (September 1990)
- Amazon (USA): $58.95
-
Complexity Theory of Real Functions (Progress in Theoretical Computer Science)
- by Ker-I Ko. Hardcover (December 1991)
- Amazon (USA): $67.00
-
Computability (Eatcs Monographs on Theoretical Computer Science, Vol 9)
- by K. Weihrauch. Hardcover (April 1987)
- Amazon (USA): $77.95 : 24 hours
-
Computability, Complexity, and Languages : Fundamentals of Theoretical Computer Science (Computer Science and Applied Mathematics)
- by Martin D. Davis, et al. Hardcover (April 1994)
- Amazon (USA): $65.00 : 1-2 weeks
-
Computation : Computability, Similarity and Duality (Research Notes in Theoretical Computer Science)
- by Jia-Wei Hong. Paperback (January 1987)
- Amazon (USA): $39.95
-
Computational Learning Theory : An Introduction (Cambridge Tracts in Theoretical Computer Science , No 30)
- by Martin Anthony, Norman Biggs. Paperback (June 1997)
- Amazon (USA): $22.95
-
Computational Molecular Biology (Theoretical and Computational Chemistry, 8)
- by Jerzy Leszczynski(Editor). Hardcover (June 1999)
- Amazon (USA): $327.50
-
Computational Support for Discrete Mathematics : Dimacs Workshop March 12-14, 1992 (Dimacs Series in Discrete Mathematics and Theoretical Computer Sc)
- by Nathaniel Dean, Gregory E. Shannon (Editor). Hardcover (June 1994)
- Amazon (USA): $77.00
-
Computer Generated Physical Properties (Computer Modeling for Environmental Management)
- by Stan Bumble. Hardcover (June 1999)
- Amazon (USA): $89.95 : 24 hours
-
Computer Modeling of Chemical Reactions in Enzymes and Solutions
- by Arieh Warshel. Paperback
- Amazon (USA): $69.95 : 2-3 days
-
Computer Simulation of Biomolecular Systems (Theoretical and Experimental Applications , Vol 2)
- by Wilfred F. Van Gunsteren(Editor), Paul K. Weiner (Editor). Hardcover (August 1997)
- Amazon (USA): $77.00
-
Computer Simulation of Biomolecular Systems : Theoretical and Experimental Applications
- by Wilfred F. Van Gunsteren(Editor), Paul K. Weiner (Editor). Hardcover (August 1997)
- Amazon (USA): $77.00
-
Computer Simulation of Biomolecular Systems : Theoretical and Experimental Applications
- by Wilfred F. Van Gunsteren(Editor), Paul K. Weiner (Editor). Hardcover (September 1997)
- Amazon (USA): $359.50
-
Computer-Aided Design of High-Temperature Materials (Topics in Physical Chemistry)
- by Alexander Pechenik(Editor), R. K. Kalia (Editor). Hardcover (June 1999)
- Amazon (USA): $95.00 : 1-2 weeks
-
Computing in Horn Clause Theories (Eatcs Monographs on Theoretical Computer Science, Vol 16)
- by Peter Padawitz. Hardcover (September 1988)
- Amazon (USA): $71.95 : 24 hours
|