All search results for . 4011-4020 of 20010 results.

1st International Satisfiability Modulo Theories Competition (SMT-COMP'05)
...Decision procedures for checking satisfiability of logical formulas are crucial ...

WSTST'05: The Fourth IEEE International Workshop on Soft Computing as Transdisciplinary Science and
...Technical Sponsors...

Diximes Journees Nationales sur la resolution Pratique de Problmes NP-Complets (JNPC'2004)
......

Optimal Control and Dynamic Games: Workshop in Honor of Suresh Sethi
...Suresh Sethi, Ashbel Smith Professor and Director of Center for Intelligent ...

ISDA'05: Fifth International Conference on Intelligent System Design and Applications
...TECHNICAL SPONSORS...

3rd Workshop on e-Learning (WEL'05)
...Aim and Main Points...

Autonomous Computing and Agents for Information & Knowledge Processing
......

QEST'05 2nd International Conference on Quantitative Evaluation of SysTems
...OVERVIEW...

3rd International Conference on Information Technology and Applications
...ICITA'2005 provides a platform for academics and engineers in all IT areas to ...

5th international conference on Innovative Internet Community Systems
...Scope...