1. Analysis of Chemical Warfare Degradation Products
Author: / Kroening
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING, CHEMICAL|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
2. Analysis of Chemical Warfare Degradation Products
Author: / Karolin K. Kroening...[et al.]
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Organophosphorus compounds--Deterioration,Chemical agents (Munitions)--Deterioration,Chemical agents (Munitions)--Analysis,Decomposition (Chemistry)
Classification :
UG447
.
5
.
O74K76
2011
3. Computer Aided Verification
Author: / Daniel Kroening, Corina S. Psreanu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
4. Computer Aided Verification
Author: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47C6
2015
E-Book
,
5. Computer Aided Verification
Author: / Daniel Kroening, Corina S. Psreanu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6. Decision procedures
Author: Daniel Kroening, Ofer Strichman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Decision making-- Mathematical models,Propositional calculus
7. Decision procedures
Author: / Daniel Kroening, Ofer Strichman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Decision making--Mathematical models,Algorithms.,Logic, Symbolic and mathematical.
Classification :
QA
,
279
.
4
,.
K76
,
2008
8. Decision procedures: an algorithmic point of view
پدیدآورنده : Kroening, Daniel.
موضوع : ، Turing machines,، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Decision procedures : an algorithmic point of view
Author: Kroening, Daniel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
Classification :
QA
279
.
4
.
K76D4
2016
10. Hardware and Software: Verification and Testing
Author: / Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
11. 7, 2010. Revised Selected Papers-Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4
Author: / o (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)غo LourenعJo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
12. Validation of Evolving Software
Author: / Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
13. Verified Software: Theories, Tools and Experiments
Author: / Dimitra Giannakopoulou, Daniel Kroening
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
