|
Visit our Sponsors

| Theoretical Computer Science (Page 4)
-
Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science)
- by Heinrich Hussmann. Hardcover (March 1993)
- Amazon (USA): $67.00 : 24 hours
-
Nonmonotonic Reasoning : Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science, No 12)
- by Gerhard Brewka. Hardcover (February 1991)
- Amazon (USA): $42.95 : 24 hours
-
Object-Oriented Programming : A Unified Foundation (Progress in Theoretical Computer Science)
- by Giuseppe Castagna. Hardcover (December 1996)
- Amazon (USA): $76.50 : 2-3 days
-
On-Line Algorithms : Proceedings of a Dimacs Workshop, February 11-13, 1991 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science,)
- by Lyle A. McGeoch, Daniel D. Sleator (Editor). Hardcover (February 1992)
- Amazon (USA): $36.00
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, No 45)
- by Andrea Asperti, Stefano Guerrini. Hardcover (January 1999)
- Amazon (USA): $74.95
-
Parallel Complexity Theory (Research Notes in Theoretical Computer Science)
- by Ian Parberry.
- Amazon (USA): $67.00 : OOP
-
Parallel Processing of Discrete Optimization Problems : Dimacs Workshop April 28-29, 1994 (Dimacs Series in Discrete Mathematics and Theoretical Comp)
- by Panos M. Pardalos, et al. Hardcover (July 1995)
- Amazon (USA): $89.00
-
Parsing Schemata : A Framework for Specification and Analysis of Parsing Algorithms (Texts in Theoretical Computer Science)
- by Klaas Sikkel, Klass Sikkel. Hardcover (March 1997)
- Amazon (USA): $59.95 : 2-3 days
-
Parsing Theory : Languages and Parsing (Eatcs Monographs on Theoretical Computer Science, Vol 15)
- by Seppo Sippu, Eljas Soisalon-Soininen. Hardcover (October 1988)
- Amazon (USA): $77.95
-
Partial Order Methods in Verification : Dimacs Workshop July 24-26, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol)
- by Doron A. Peled(Editor), et al. Hardcover (January 1997)
- Amazon (USA): $85.00
-
Partitioning Data Sets : Dimacs Workshop April 19-21, 1993 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 19)
- by Ingemar J. Cox. Hardcover (April 1995)
- Amazon (USA): $85.00
-
People & Ideas in Theoretical Computer Science (Springer Series in Discrete Mathematics and Theoretical Computer Science)
- by C. S. Calude(Editor). Hardcover (October 1999)
- Amazon (USA): $39.95 : 24 hours
-
Perspective in Theoretical Computer Science (Series in Computer Science Vol 16)
- by R. Narasimhan(Editor). Paperback (August 1989)
- Amazon (USA): $32.00
-
A Perspective in Theoretical Computer Science (World Scientific Series in Computer Science, Vol 16)
- by R. Narasimhan(Editor). Hardcover (August 1989)
- Amazon (USA): $64.00
-
Petri Nets : An Introduction (Eatcs : Monographs on Theoretical Computer Science, Vol 4)
- by Wolfgang Reisig.
- Amazon (USA): $67.00 : OOP
-
Planar Graphs (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 9)
- by William T. Trotter(Editor). Hardcover (April 1993)
- Amazon (USA): $45.00
-
Polyhedral Combinatorics : Proceedings of a Dimacs Workshop, June 12-16, 1989 (Discrete Mathematics and Theoretical Computer Science, Vol. 1)
- by William Cook, Paul D. Seymour (Editor). Hardcover (December 1990)
- Amazon (USA): $57.00
-
Polynomial and Matrix Computations : Fundamental Algorithms (Progress in Theoretical Computer Science)
- by Dario Bini, Victor Y. Pan. Hardcover (August 1994)
- Amazon (USA): $78.50 : 24 hours
-
Polynomials : An Algorithmic Approach (Springer Series in Discrete Mathematics and Theoretical Computer Science)
- by M. Mignotte, D. Stefanescu. Paperback (May 1999)
- Amazon (USA): $49.00 : 2-3 days
-
A Practical Introduction to the Simulation of Molecular Systems
- by Martin Field. Hardcover (August 1999)
- Amazon (USA): $80.00 : 2-3 days
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, No 33)
- by E.G. Manes. Hardcover (December 1992)
- Amazon (USA): $49.95 : 24 hours
-
Process Algebra (Cambridge Tracts in Theoretical Computer Science, 18)
- by J.C.M. Baeten, W. P. Weijland. Hardcover (January 1990)
- Amazon (USA): $44.95 : 24 hours
-
Products of Automata (Eatcs Monographs on Theoretical Computer Science, Vol 7)
- by F. Gecseg. Hardcover (October 1986)
- Amazon (USA): $53.95 : 24 hours
-
Proof Complexity and Feasible Arithmetics : Dimacs Workshop April 21-24, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science,
- by Paul W. Beame(Editor), et al. Hardcover (October 1997)
- Amazon (USA): $59.00
-
Proofs and Types (Cambridge Tracts in Theoretical Computer Science 7)
- by Jean-Yves Girard, et al.
- Amazon (USA): $67.00 : OOP
-
Propositional Logic : Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science , No 48)
- by Hans Kleine Buning, T. Lettman. Hardcover (October 1999)
- Amazon (USA): $80.00
-
Public-Key Cryptography (Eatcs Monographs on Theoretical Computer Science, Vol 23)
- by Arto Salomaa. Hardcover (December 1990)
- Amazon (USA): $80.00
-
Public-Key Cryptography (Texts in Theoretical Computer Science)
- by Arto Salomaa. Hardcover (December 1996)
- Amazon (USA): $53.95
-
Quadratic Assignment and Related Problems : Dimacs Workshop May 20-21, 1993 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science,)
- by Panos M. Pardalos, Henry Wolkowicz (Editor). Hardcover (August 1994)
- Amazon (USA): $73.00
-
Quantum Logic (Discrete Mathematics and Theoretical Computer Science)
- by Karl Svozil. Hardcover (August 1998)
- Amazon (USA): $49.95
-
Rational Series and Their Languages (Eatcs Monographs on Theoretical Computer Science, Vol 12)
- by Jean Berstel, Christophe Reutenauer. Hardcover (December 1988)
- Amazon (USA): $58.95
-
Regulated Rewriting in Formal Language Theory (Eatcs Monographs on Theoretical Computer Science, Vol 18)
- by Jurgen Dassow, Gheorghe Paun. Hardcover (May 1990)
- Amazon (USA): $101.00 : 24 hours
-
Relations and Graphs : Discrete Mathematics for Computer Scientists (Eatcs Monographs on Theoretical Computer Science)
- by Gunther Schmidt, Thomas Strohlein. Hardcover (March 1993)
- Amazon (USA): $74.95
-
Relativity and Scientific Computing : Computer Algebra, Numerics, Visualization
- by F. W. Hehl(Editor), et al. Hardcover (June 1996)
- Amazon (USA): $89.95
-
The Resolution Calculus (Texts in Theoretical Computer Science)
- by Alexander Leitsch. Hardcover (February 1997)
- Amazon (USA): $49.95 : 2-3 days
-
Results and Trends in Theoretical Computer Science
- Paperback (June 1994)
- Amazon (USA): $89.95
-
Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 : Proceedings (Lecture Notes)
- by J. Karhumaki, et al. Paperback (June 1994)
- Amazon (USA): $71.95 : 24 hours
-
Reviews in Computational Chemistry (Reviews in Computational Chemistry , Vol 7)
- by Kenny B. Lipkowitz(Editor), Donald B. Boyd (Editor). Paperback (October 1995)
- Amazon (USA): $139.00 : 24 hours
-
Satisfiability Problem : Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 35)
- by Dingzhu Du(Editor), et al. Hardcover (October 1997)
- Amazon (USA): $149.00 : 24 hours
-
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
-
- Amazon (USA): $67.00 : OOP
-
Semantics of Systems of Concurrent Processes Litp Spring School on Theoretical Computer Science, Laroche Posay, France, April 23-27, 1990) (Lecture N)
- by I. Guessarian(Editor). Paperback (February 1991)
- Amazon (USA): $52.95 : 24 hours
-
Semantics of Type Theory : Correctness, Completeness, and Independence Results (Progress in Theoretical Computer Science)
- by Thomas Streicher. Hardcover (October 1991)
- Amazon (USA): $93.50
-
Semirings, Automata, Languages (Eatcs Monographs on Theoretical Computer Science, Vol 5)
- by W. Kuich. Hardcover (January 1986)
- Amazon (USA): $116.00
-
Sequences and Their Applications : Proceedings of Seta'98 (Discrete Mathematics and Theoretical Computer Science)
- by Seta'9, et al. Paperback (November 1999)
- Amazon (USA): $84.00
-
Solving Higher-Order Equations : From Logic to Programming (Progress in Theoretical Computer Science)
- by Christian Prehofer. Hardcover (February 1998)
- Amazon (USA): $64.50 : 2-3 days
-
Specification and Analysis of Concurrent Systems : The Cosy Approach (Eatcs Monographs on Theoretical Computer Science)
- by Ryszard Janicki, Peter E. Lauer. Hardcover (August 1992)
- Amazon (USA): $116.00
-
The Spin Verification System : Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, V. 32)
- by Workshop on the Spin Verification System. Hardcover (June 1997)
- Amazon (USA): $49.00
-
Stacs '89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, Frg, February, 16-18, 1989 Proceedings (Lecture Notes in Comp)
- by B. Monien, R. Cori (Editor). Paperback (April 1989)
- Amazon (USA): $58.95 : 24 hours
-
Stacs 2000 : 17th Annual Symposium on Theortical Aspects of Computer Science, Lille, France, February 2000 : Proceedings (Lecture Notes in Computer sc
- by fran Symposium on Theoretical Aspects of Computer Science 2000 Lille. Hardcover (March 2000)
- Amazon (USA): $49.00
-
Stacs 84 : Symposium of Theoretical Aspects of Computer Science, Paris April 11-13, 1984
- by fran Symposium on Theoretical Aspects of Computer Science 1984 Paris.
- Amazon (USA): $58.95 : OOP
-
Stacs 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19-21, 1987 Proceedings)
- by F.J. Brandenburg, et al. Paperback (February 1987)
- Amazon (USA): $41.00
-
Stacs 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux France February 11-13, 1988, : Proceedings (Lecture Notes in Comp)
- by R. Cori, M. Wirsing (Editor). Paperback (April 1988)
- Amazon (USA): $49.95 : 24 hours
-
Stacs 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22-24, 1990 Proceedings (Lecture Notes in Computer)
- by C. Choffrut, T. Lengauer (Editor). Paperback (June 1990)
- Amazon (USA): $41.95 : 24 hours
-
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings
-
- Amazon (USA): $58.95 : OOP
-
STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings
-
- Amazon (USA): $58.95 : OOP
-
Stacs 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : Proceedings (Lecture Notes in Comp)
- by A. Finkel, M. Jantzen (Editor). Paperback (May 1992)
- Amazon (USA): $97.00 : 24 hours
|