All search results for . 13551-13560 of 20512 results.

Operations Research Approaches to Service Sciences, Management and Engineering
...This minitrack is part of HICSS-41. It focuses on the use of Operations Research...

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

Workshop Theory of Randomized Search Heuristics
......

WCAT'05 Second International Workshop on Coordination and Adaptation Techniques for Software
...Second International Workshop on Coordination and Adaptation Techniques for ...

The First International Conference on Combinatorial Optimization and Applications (COCOA'07)
......

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

The 2nd International Workshop on Parameterized and Exact Computation
...Overview...

Fourth IEEE International Conference on Pervasive Computing and Communications
...IEEE PerCom 2006 will be the fourth annual conference on the emerging area of ...

FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
...For the first time, FM'06 will feature a Doctoral Symposium. Students are ...

Conference in Chester on Algorithms for Approximation
...The Roman City of Chester, UK, will host the fifth International Algorithms for ...