All search results for . 18771-18780 of 21030 results.

First Workshop on Formal Verification of Analog Circuits
...Scope:While formal verification has become part of the design process of digital...

HYBRID METAHEURISTICS
......

DIMACS Workshop on Computational Issues in Auction Design
...Recent advances in information technology and its rapid acceptance by the ...

International Conference on Operations Research
...Contact...

DIMACS Workshop on Biomolecular Networks: Topological Properties and Evolution
...The functioning of a biological system largely depends on the mutual ...

1st International Workshop on Mobility Aware Technologies and Applications
...The aim of the workshop is to provide an opportunity for researchers from the IT...

The 2004 Congress on Evolutionary Computation
......

The 2006 Federated Logic Conference
...In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the ...

International Scientific Annual Conference - Operations Research 2005 (OR 2005)
......

THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL MATHEMATICS (ICCM-2004)
...The ICCM-2004 will cover the following subjects presented...