All search results for . 2001-2010 of 21362 results.
Frozen Moments in Time
...I am sitting at a table with two old friends. Nearly half a lifetime ago, the ...
4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
...OBJECTIVES: The growing importance of automated formal verification in industry ...
19th International Symposium on Distributed Computing DISC 2005
...IMPORTANT DATES...
Fourth Columbia Optimization Day
...Fourth Columbia Optimization Day...
Fifth Triennial Symposium on Transportation Analysis
......
EUROCONFERENCES IN MATHEMATICS ON CRETE ALGEBRAIC AND GEOMETRIC COMBINATORICS
...Tentative list of Invited Speakers...
5th International Conference on Hybrid Intelligent Systems (HIS'05)
...Hybridization of intelligent systems is a promising research field of ...
4th International Conference on Hybrid Intelligent Systems (HIS'04)
......
4th Annual McMaster Optimization Conference: Theory and Applications (MOPTA 04)
...MOPTA 04 aims to bring together a diverse group of people from both discrete and...
Fifth International Conference on Integrated Formal Methods (IFM)
...SCOPE...