All search results for . 731-740 of 20468 results.

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

1st International Symposium on Brain, Vision and Artificial Intelligence (BV&AI 2005)
......

6th Workshop on Advances in Parallel and Distributed Computational Models
...The main goal of this workshop is to provide a timely...

AIROWinter 2005 - An International Conference in memory of Stefano Pallottino
......

4th Annual Ion Channels in Drug Discovery & Development
...Ion channels are major drug targets and the industry has invested heavily in ...

Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
...TACAS is a forum for researchers, developers and users interested in...

Second Workshop on Analytic Algorithmics and Combinatorics (ANALCO05)
......

The 11th Annual International Computing and Combinatorics Conference (COCOON'05)
...The11th Annual International Computing and Combinatorics Conference (COCOON'05) ...

FIRST CHILEAN WORKSHOP ON NUMERICAL ANALYSIS OF PDE'S (WONAPDE 2004)
...The main purpose of the workshop is to discuss and present new...

7th Workshop on Algorithm Engineering and Experiments (ALENEX05)
......