All search results for . 18071-18080 of 20464 results.
The 6th International Mathematica Symposium (IMS 2004)
......
CAV'05 Workshop
...Both the Formal Verification community and the Automated Reasoning community ...
IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05)
......
SIAM Annual Meeting
......
Hong Kong International 2006
...Description: Held in conjunction with the Hong Kong Operational Research Society...
1st International Workshop on Peer to Peer and Service Oriented Hypermedia: Techniques and Systems
...Workshop theme and goals...
7th International Conference on Artificial Evolution (EA'05)
......
First Workshop on Formal Verification of Analog Circuits
...Scope:While formal verification has become part of the design process of digital...
EURO XXI, 21st European Conference on Operational Research 2006
...The twentyfirst EURO conference is to be held in July 2006 in Reykjavik, Iceland...
The 8th International Workshop on Nature Inspired Distributed Computing (NIDISC'05)
......