کتاب های Orna
کتاب های نویسنده
صفحه ۱ از ۲ در بین ۳۴ کتاب.
درباره نویسنده
آرنا در معانی زیر کاربرد دارد:
PDF
Formal Logical Methods for System Security and Correctness
Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller, 2008DJVU
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008PDF
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008DJVU
Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.), 1995PDF
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.), 2007PDF
The History and Preservation of Chemical Instrumentation: Proceedings of the ACS Division of the History of Chemistry Symposium held in Chicago, Ill., September 9–10, 1985
John K. Taylor (auth.), John T. Stock, Mary Virginia Orna O.S.U. (eds.), 1986PDF
Archaeological Chemistry. Organic, Inorganic, and Biochemical Analysis
Mary Virginia Orna (Eds.), 1996
PDF
Archaeology: Discovering the Past
John Orna-Ornstein, 2002
PDF
Constructing Professional Discourse: A Multiperspective Approach to Domain-Specific Discourses
Concepcion Orna-Montesinos, 2012PDF
Contributions to Tibetan Buddhist Literature - PIATS 2006
Orna Alrnogi (ed), 2008PDF
Knowledge and Demonstration: Aristotle’s Posterior Analytics
Orna Harari (auth.), 2004PDF
Knowledge and Demonstration: Aristotle’s Posterior Analytics
Orna Harari (auth.), 2004PDF
Science history : a traveler's guide
Mary Virginia Orna, 2014PDF
Digital justice : technology and the internet of disputes
Katsh, M. Ethan; Rabinovich-Einy, Orna, 2017PDF
The lost elements : the Periodic Table's shadow side
Costa, Mariagrazia; Fontani, Marco; Orna, Mary Virginia, 2015PDF
Women Soldiers and Citizenship in Israel: Gendered Encounters with the State
Edna Lomsky-Feder, Orna Sasson-Levy, 2018
EPUB
Regretting Motherhood: A Study
Orna Donath, 2017PDF
Marks of an Absolute Witch: Evidentiary Dilemmas in Early Modern England
Orna Alyagon Darr, 2016PDF
Science history : a traveler's guide
Orna, Mary Virginia, 2014PDF
Economics of Grids, Clouds, Systems, and Services: 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers
Karim Djemame, Jörn Altmann, José Ángel Bañares, Orna Agmon Ben-Yehuda, Vlado Stankovski, Bruno Tuffin, 2020EPUB
EPUB
