All search results for . 5861-5870 of 21194 results.
Agent-based Systems for Autonomous Processing
......
ETAPS 2005
...The European Joint Conferences on Theory and Practice of Software (ETAPS) is the...
Third German-Polish Conference on Optimization Methods and Applications
...The conference is organized by the Institutes of Mathematics of Technical ...
Internet Agents for Autonomous Processing
......
1st International Satisfiability Modulo Theories Competition (SMT-COMP'05)
...Decision procedures for checking satisfiability of logical formulas are crucial ...
DIMACS Workshop on Mobile and Wireless Security
...The rapid growth of both voice and data wireless communications has resulted in ...
Spring School on Design and Analysis of Algorithms
...Scope...
3rd Workshop on e-Learning (WEL'05)
...Aim and Main Points...
3rd International Conference on Artificial Immune Systems
......
17th Canadian Conference on Computational Geometry
...Objectives...