 |
|
Articles 1 to 12 of 76:
Modeling and Verification of Real-Time Systems: ...
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools [... more]
$195.00
Buy.com |
Theorem Proving in Higher Order Logics: 12th ...
Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings [... more]
$82.95
Buy.com |
Lectures on Formal Methods and Performance Analysis: ...
Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7 [... more]
$79.95
Buy.com |
Randomness and Completeness in Computational Complexity
This book is based on the author's Ph.D. thesis which was selected as the winning thesis of the 1999 ACM Doctoral Dissertation Competition. Dieter van Melkebeek did his Ph.D. work at the University of Chicago with Lance Fortnow as thesis advisor. This ... [... more]
$52.95
Buy.com |
Categorical Methods in Computer Science: With Aspects ...
This volume contains selected papers of the International Workshop on Categorical Methods in Computer Science - with Aspects from Topology and of the 6th International Data Type Workshop held in August/September 1988 in Berlin. The 23 papers of this ... [... more]
$71.95
Buy.com |
Proof Theory in Computer Science
Proof Theory in Computer Science [... more]
$54.95
Buy.com |
Integrated Formal Methods
This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully ... [... more]
$77.95
Buy.com |
Bounded Incremental Computation
Bounded Incremental Computation [... more]
$62.95
Buy.com |
Mathematical Foundations of Computer Science 1996: 21st ...
Mathematical Foundations of Computer Science 1996: 21st International Symposium, Mfcs' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings [... more]
$104.00
Buy.com |
Theorem Proving in Higher Order Logics: 15th ...
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002.The 20 revised full papers presented together with 2 invited contributions ... [... more]
$72.95
Buy.com |
Algorithms and Computation: 14th International ...
Algorithms and Computation: 14th International Symposium, Isaac 2003, Kyoto, Japan, December 15-17, 2003, Proceedings [... more]
$107.00
Buy.com |
Algorithms - ESA'99: 7th Annual European Symposium, ...
Algorithms - ESA'99: 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings [... more]
$99.00
Buy.com |
Information provided in association with Buy.com.
Prices are intended as a guide only, and are subject to change.
To confirm pricing and availability, click through to the merchant. |
