All search results for . 1301-1310 of 20007 results.
ATVA 2006 Automated Technology for Verification and Analysis
...KEYNOTE SPEAKERS...
3rd MobiWac 2005 IEEE International Workshop on Mobility Management and Wireless Access
...SCOPE...
Operations Research Approaches to Service Sciences, Management and Engineering
...This minitrack is part of HICSS-41. It focuses on the use of Operations Research...
ACL2 2006 International Workshop on the ACL2 Theorem Prover and its Applications
...IMPORTANT DATES...
International Conference on Mathematics of Optimization and Decision Making
...TOPICS: Optimization, operations research, optimal control, nonlinear analysis, ...
New problems and innovative methods in nonlinear optimization
......
7th International Symposium on Self-Stabilizing Systems (SSS 2005)
...Self-Stabilization is the property of a system, component, process or object to ...
FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
...For the first time, FM'06 will feature a Doctoral Symposium. Students are ...
SIMS2005, Scandinavian Conference on Simulation and Modeling
...INVITED SPEAKERS...