نتایج جستجو
![Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings](http://cdn.ketabkoo.com/covers/8/848197-n.jpg)
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
Nicolas Halbwachs (auth.), 1998![Stochastic Analysis: Proceedings of the Japanese-French Seminar held in Paris, France, June 16–19, 1987](http://cdn.ketabkoo.com/covers/8/850034-n.jpg)
Stochastic Analysis: Proceedings of the Japanese-French Seminar held in Paris, France, June 16–19, 1987
Gérard Ben Arous (auth.), 1988![Graph-Theoretic Concepts in Computer Science 35th InternationalWorkshop, WG 2009 Montpellier, France, June 24-26, 2009 Revised Papers](http://cdn.ketabkoo.com/covers/8/853347-n.jpg)