All search results for . 18461-18470 of 20607 results.

CAV'05 Workshop
...Both the Formal Verification community and the Automated Reasoning community ...

The European Conference on Combinatorial Optimization ECCO XVII 2004
......

OPERATIONS RESEARCH IN RAILROADS: CHALLENGES AND OPPORTUNITIES
...Introduction...

XII CLAIO ( XII Latin-Ibero-American Conference on Operations Research )
...DEADLINE FOR EXTENDED ABSTRACTS: Jun 15, 2004...

6th Metaheuristics International Conference (MIC2005)
......

The 8th International Workshop on Nature Inspired Distributed Computing (NIDISC'05)
......

5th WSEAS Int. Conf. on INSTRUMENTATION, MEASUREMENT, CONTROL, CIRCUITS and SYSTEMS (IMCCAS 2005)
......

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

19th IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS 2005)
......

2004 IEEE Annual International Engineering Management Conference
...As the combined worldwide membership of IEEE and IEE exceeds half a million and ...