All search results for . 5651-5660 of 21199 results.
ATVA 2005 Third International Symposium on Automated Technology for Verification and Analysis
...The Proceedings of ATVA 2005 will be published by Springer as a volume in the ...
CALL FOR PAPERS: ECCOMAS CFD 2006
...TOPICS: Computational fluid dynamics, Computational Acoustics, Computational ...
The International Conference on e-Learning
...The International Conference on e-Learning is of interest to academics and ...
Games in Design and Verification GDV 2005
...The goal of the GDV 2004 workshop is to bring together researchers...
International Conference on Numerical Analysis and Optimization
...An International Conference on Numerical Analysis and Optimization dedicated...
IPDPS 2006 CALL FOR PAPERS
...20th IEEE International Parallel & Distributed Processing Symposium Tuesday...
Molecular Mechanisms and Models of Bacterial Signal Transduction
...Organizers...
12th International Conference on Applied Stochastic Models and Data Analysis (ASMDA 2007)
......
Joint International Conference on Computing and Decision Making in Civil and Building Engineering
...The convergence of these three conference streams will provide a unique opp...
FOCLASA 2005 4th International Workshop on the Foundations of Coordination Languages
...A Satellite Workshop of CONCUR 2005...