Limit Search Results
Author
Language
Format
Material Type
Subject
83 Results Found Subscribe to search results
000000000000MAIN
Print
3. 
Cover image for High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
4. 
Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays
5. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007: Proceedings
6. 
Cover image for Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007: Proceedings
7. 
Cover image for High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007: Proceedings
8. 
Cover image for Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings
9. 
Cover image for Discovery Science 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007: Proceedings
10. 
Cover image for Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops: Proceedings
11. 
Cover image for Information Security 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007: Proceedings
12. 
Cover image for Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007: Proceedings