All search results for . 12491-12500 of 20512 results.

4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
...OBJECTIVES: The growing importance of automated formal verification in industry ...

HIGH PERFORMANCE SOFTWARE FOR NONLINEAR OPTIMIZATION: STATUS AND PERSPECTIVES (HPSNO 2004)
...The Conference follows the HPSNO95 and the HPSNO97 conferences, whose goal...

ICCS 2005: 5th International Conference on Computational Science
...ICCS 2005 invites original contributions on all topics related to computational ...

The Australasian Theory Symposium
...CATS is the premier theoretical computer science conference in Australasia. It ...

International Workshop on Interdisciplinary Decision Making
......

Fifth International Conference on Integrated Formal Methods (IFM)
...SCOPE...

THIRD INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLICATIONS
...This conference is third in a series (June 24-28, 1996 and June 11-15...

TACAS 2005 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of System
...TACAS is a forum for researchers, developers and users interested in rigorously ...

Workshop on Operations and Management Science
...Conference Co-chairs...

Wireless Telecommunications Symposium 2004
...Wireless Telecommunications Symposium 2004 (WTS 2004...