gadish-orna
Model Checking (the Greenwood Histories Of The Modern Nations)
Edmund M Clarke, Jr.; Orna Grumberg; Doron A Peled; NetLibrary, Inc
۴۹٬۰۰۰ تومان
Constructing professional discourse : a multiperspective approach to domain-specific discourses
Concepción Orna-Montesinos
۴۹٬۰۰۰ تومان
International Humanitarian Law and International Human Rights Law (Collected Courses of the Academy of European Law)
Orna Ben-Naftali (editor)
۴۹٬۰۰۰ تومان
Molecular biology : principles of genome function
Nancy Craig, Rachel Green, Carol Greider, Gisela Storz, Cynthia Wolberger, Orna Cohen-Fix
۴۹٬۰۰۰ تومان
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science (5000))
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
۴۹٬۰۰۰ تومان
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5533)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)
۴۹٬۰۰۰ تومان
Knowledge and Demonstration: Aristotle’s Posterior Analytics (The New Synthese Historical Library Book 56)
Orna Harari (auth.)
۴۹٬۰۰۰ تومان
Geomodeling (Applied Geostatistics)
GEORGE RAPP، P. McKENNA، K. K. N. LO، G. McLEAN، J. M. OTTAWAY، MARINO MAGGETTI، HAROLD WESTLEY، LUIS M. TORRES، ANA W. ARIE، BEATRIZ SANDOVAL، M. BIMSON، M.R. COWELL، DIANE E. CABELLI، RODERICK J. McNEIL، N. H. TENNENT، EILER HENRICKSON، B. I. KRONBERG، L. L. COATSWORTH، M. C. USSELMAN، DOUGLAS J. DONAHUE، T. H. ZABEL، JOHN W. TWILLEY، GARY W. CARRIVEAU، LUCY R. SIBLEY، ERIC J. JUMPER، SAMUEL F. PELLICORI، JAMES R. DRUZIK، P. E. Damon، Mary Virginia Orna، James Allert، John P. Jackson، M.S. TITE، John H. Heller، JACQUELINE S. OLIN، WILLIAM FITZHUGH، R. E. TAYLOR، Joseph B. Lambert، Giles F. Carter، Kathryn A. Jakes، Alan D. Adler، A. J. T. Jull، Thomas F. Mathews، RALPH ALLEN، HANY HAMROUSH، CHRISTOPHER NAGLE، M. JAMES BLACKMAN، WILLIAM I. WOODS، C. A. STIMMELL، R.G.V. HANCOCK، A.M. DAVIS، SHARON VLASAK SIMPSON، JANE E. BUIKSTRA، DOUGLAS K. CHARLES، I. PERLMAN
۴۹٬۰۰۰ تومان
Information Processing by Biochemical Systems : Neural Network-Type Configurations
Orna Filo, Noah Lotan
۴۹٬۰۰۰ تومان
Nazi Germany and the Jews, 1933-1945 (The Years of Persecution / The Years of Extermination)
Kenan, Orna;Friedländer, Saul
۴۹٬۰۰۰ تومان
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Orna Kupferman, Pawel Sobociński
۴۹٬۰۰۰ تومان
Molecular biology : principles of genome function
Nancy Craig, Rachel Green, Carol Greider, Gisela Storz, Cynthia Wolberger, Orna Cohen-Fix
۴۹٬۰۰۰ تومان
Archaeological chemistry VIII
Matt Sponheimer، Eric Dyrdahl، N. M. White، J. P. Du Vernay، J. S. Freeman، C. T. Hays، M. Koppe، C. N. Hunt، R. A. Weinstein، D. S. Woodward، Hasan J. Ashkanani، Mohammed Yousuf، Choon Ho Do، Chong-Hong Pyun، Byung-Yong Yu، Jung Hyun Bae، Kyle P. Freund، Julia A. Lee-Thorp، Daryl Codron، Maxine R. Kleindienst، Jennifer R. Smith، Johanna M. Kieniewicz، Katherine A. Adelsberger، C. S. “Rufus” Churcher، Aislinn E. Deely، Faizullah Mashriqi، Kassandra V. Spiller، Jane J. J. Gong، Rebecca A. Long، Heather Walder، Kristina A، Hilary Becker، Jon Russ، Sally J. Cole، T. Douglas Price، Andrea Vianello، R. H. Tykot، Zvi C. Koren، James H. Burton، Marvin W. Rowe، Robert J. Speakman، Anne R. Skinner، Bonnie A. B. Blackwell، Joel I. B. Blickstein، Robert H. Tykot، Ruth Ann Armitage، Ruth F. Beeston، Mary Virginia Orna، Calvin J. Day، Cathy Selvius DeRoo، Val Steele، Daniel Fraser، Mara Kaktins، Joseph McPeak، Mary D. Pohl، Christopher L. von Nagy، Heather Hurst، Eliseo F. Padilla Gutiérrez، Karen L. Steelman، Hayden Burger، Badrinath Dhakal، Aaron N. Shugar
۴۹٬۰۰۰ تومان
Carl Auer von Welsbach: Chemist, Inventor, Entrepreneur (SpringerBriefs in Molecular Science)
Roland Adunka; Mary Virginia Orna
۴۹٬۰۰۰ تومان
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424)
Orna Grumberg, Michael Huth (eds.)
۴۹٬۰۰۰ تومان
Model Checking (the Greenwood Histories Of The Modern Nations)
Edmund M Clarke, Jr.; Orna Grumberg; Doron A Peled; NetLibrary, Inc
۴۹٬۰۰۰ تومان
Women's Empowerment for a Sustainable Future : Transcultural and Positive Psychology Perspectives
Claude-Hélène Mayer, Elisabeth Vanderheiden, Orna Braun-Lewensohn, Gila Chen, Kiyoko Sueda, Brightness Mangolothi, Saba Safdar, Soyeon Kim, (eds.)
۴۹٬۰۰۰ تومان
Cyber Terror: How It Happens And What We Can Do
Orna Gadish
۴۹٬۰۰۰ تومان
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; SpringerLink (Online service)
۴۹٬۰۰۰ تومان
Science history : a traveler's guide
Mary Virginia Orna; American Chemical Society. Division of the History of Chemistry
۴۹٬۰۰۰ تومان
Model Checking, second edition (Cyber Physical Systems Series)
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Doron A. Peled
۴۹٬۰۰۰ تومان
Model Checking, second edition (Cyber Physical Systems Series)
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Doron A. Peled
۴۹٬۰۰۰ تومان
Sputnik to Smartphones: A Half-Century of Chemistry Education (ACS Symposium Series)
American Chemical Society, Division of the History of Chemistry Staff; Orna, Mary Virginia
۴۹٬۰۰۰ تومان
Cultural Materialism: The Struggle for a Science of Culture, Updated Edition
Marvin Harris; with an introduction by Allen Johnson and Orna Johnson
۴۹٬۰۰۰ تومان