All search results for . 12191-12200 of 20587 results.
Ying Rong
......
Claire Kenyon
......
Peter W. Shor
......
Biyu He
......
Richard R. Weber
......
James E. Smith
......
TACAS 2005 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of System
...TACAS is a forum for researchers, developers and users interested in rigorously ...
The 12th Biennial Computational Techniques and Applications Conference
......
The 21st European Workshop on Computational Geometry
...The goal of this annual, informal workshop is to provide an opportunity for ...