All search results for . 14011-14020 of 20518 results.

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

5th EUROSIM Conference on Modeling and Simulation
......

Fifth SIAM International Conference on Data Mining
......

Business Process Management
...An outstanding speaker line up of leading organisations will explore a useful ...

WORKSHOP - Optimisation and its use in Business Applications
......

The 12th Biennial Computational Techniques and Applications Conference
......

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

International Conference on Computational Intelligence and Multimedia Applications
...The conference will include sessions on theory, implementation and applications...

FRANCORO 2004: French-speaking Operations Research Days
......

Decision Making Under Uncertainty:Stochastic Programming Workshop
......