All search results for . 16111-16120 of 19876 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 ...

Approximation and Iterative Methods
...TOPICS: Approximation theory, rational approximation, wavelets, curves and ...

Games in Design and Verification GDV 2005
...The goal of the GDV 2004 workshop is to bring together researchers...

ATVA 2006 Automated Technology for Verification and Analysis
...KEYNOTE SPEAKERS...

Fourth International Workshop on Computer Algebra Systems and Their Applications, CASA'2006
...This workshop is intended to cover recent developments (algorithms, programs, ...

IPDPS 2006 CALL FOR PAPERS
...20th IEEE International Parallel & Distributed Processing Symposium Tuesday...

Molecular Mechanisms and Models of Bacterial Signal Transduction
...Organizers...

ACL2 2006 International Workshop on the ACL2 Theorem Prover and its Applications
...IMPORTANT DATES...

The 10th International Conference on Computer Supported Cooperative Work in Design
...Scope of Conference...

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...