 | Zb 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, ProceedingsFormat: Paperback Publisher: Springer Publication Date: 1/31/2008
| $99.45You save* $0.50 |
 | Formal Modeling and Analysis of Timed Systems: 4th International ConferenceFormat: Paperback Publisher: Springer Publication Date: 1/31/2008
| $70.24You save* $1.76 |
 | Stacs 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, ProceedingsFormat: Paperback Publisher: Springer Publication Date: 1/31/2008
| $119.36 |
 | Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, ProceedingsFormat: Paperback Publisher: Springer Publication Date: 1/31/2008
| $82.78You save* $1.22 |
 | Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings By Cousot P. Format: Paperback Publisher: Springer Publication Date: 1/31/2008
| $73.33You save* $1.62 |
 | FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 200Format: Paperback Publisher: Springer Publication Date: 12/31/2007
| $93.02You save* $5.98 |
 | Advances in Rule Interchange and Applications: International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, ProceedingsFormat: Paperback Publisher: Springer Publication Date: 12/31/2007
| $59.31You save* $5.64 |
 | Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings By Ganzinger Harald Format: Paperback Publisher: Springer Publication Date: 8/31/1996
| $89.00You save* $0.95 |
 | Advances in Artificial Intelligence - Iberamia-Sbia 2006: 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AIFormat: Paperback Publisher: Springer Publication Date: 2/28/2008
| $105.77You save* $0.23 |
 | Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected PapersFormat: Paperback Publisher: Springer Publication Date: 3/31/2007
| $62.88You save* $2.07 |