کتاب های Carl Sifakis
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۴ کتاب.
EPUB
The Mafia Encyclopedia, Second Edition
Carl Sifakis, 1999PDF
The Big Book of Hoaxes: True Tales of the Greatest Lies Ever Told!
Carl Sifakis, 1996PDF
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.), 2006DJVU
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.), 1990PDF
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010PDF
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010PDF
PDF
PDF
From Preconception to Postpartum
S. Sifakis, 2012PDF
Who Was Who in the Civil War
Stewart Sifakis, 1988
PDF
Parabasis and Animal Choruses: A Contribution to the History of Attic Comedy
G. M. Sifakis, 1971PDF
English in Europe. Volume 4 Using English as a Lingua Franca in Education in Europe: English in Europe: Volume 4
Zoi Tatsioka (editor); Barbara Seidlhofer (editor); Nicos C. Sifakis (editor); Gibson Ferguson (editor), 2018PDF
