نتایج جستجو
![Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)](http://cdn.ketabkoo.com/covers/17/1731461-n.jpg)
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
Constantin Enea (editor), Akash Lal (editor), 2023![Angewandte Philosophie: Eine internationale Zeitschrift / Applied Philosophy: An International Journal](http://cdn.ketabkoo.com/covers/17/1738081-n.jpg)
Angewandte Philosophie: Eine internationale Zeitschrift / Applied Philosophy: An International Journal
Norbert Blößner, Jörg Hardy (eds.), 2024![North American Genocides Indigenous Nations, Settler Colonialism, and International Law](http://cdn.ketabkoo.com/covers/17/1738563-n.jpg)
North American Genocides Indigenous Nations, Settler Colonialism, and International Law
Laurelyn Whitt, Alan W. Clarke, 2019![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](http://cdn.ketabkoo.com/covers/17/1738874-n.jpg)
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.), 2010![Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers](http://cdn.ketabkoo.com/covers/17/1738822-n.jpg)
Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers
Peter Birkner, Nicolas Thériault (auth.), Roberto Maria Avanzi, Liam Keliher, Francesco Sica (eds.), 2009![Gregory of Nyssa, Homilies on the Beatitudes: An English Version with Contemporary and Supporting Studies : Proceedings of the Eighth International Colloquium on Gregory of Nyssa (Paderborn, 14-18 September 1998)](http://cdn.ketabkoo.com/covers/17/1739090-n.jpg)
Gregory of Nyssa, Homilies on the Beatitudes: An English Version with Contemporary and Supporting Studies : Proceedings of the Eighth International Colloquium on Gregory of Nyssa (Paderborn, 14-18 September 1998)
Hubertus Drobner (editor), Albert Viciano (editor), 2000![International Encyclopedia of Statistical Science](http://cdn.ketabkoo.com/covers/17/1739549-n.jpg)