All search results for . 5901-5910 of 20517 results.
First Workshop on Formal Verification of Analog Circuits
...Scope:While formal verification has become part of the design process of digital...
SIAM Conference on Mathematical Aspects of Materials Science
...The conference gathers an interdisciplinary group working on the...
Third Workshop on Algorithms and Models for the Web-Graph WAW2004
...in conjunction with FOCS 2004...
Optimal Control and Dynamic Games: Workshop in Honor of Suresh Sethi
...Suresh Sethi, Ashbel Smith Professor and Director of Center for Intelligent ...
HICSS-38 Minitrack on VIRTUAL ENVIRONMENTS FOR ADVANCED MODELING
...The focus of this minitrack is to convene leading researchers from all...
AGIFORS Annual Symposium 2003
...This year's symposium hosted by Air France, will be held in Paris, France. ...
QEST'05 2nd International Conference on Quantitative Evaluation of SysTems
...OVERVIEW...
First International Workshop on Algorithmic Aspects of Wireless Sensor Networks (AlgoSensors 04)
...To be held in conjunction with ICALP 2004...
12th International Colloquium on Structural Information and Communication Complexity
...The Colloquia on Structural Information and Communication Complexity...
IPCO X
...This meeting, the tenth in the series of IPCO conferences, is a forum...