1. Analysis of Chemical Warfare Degradation Products
پدیدآورنده : / Kroening
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING, CHEMICAL|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
2. Analysis of Chemical Warfare Degradation Products
پدیدآورنده : / Karolin K. Kroening...[et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Organophosphorus compounds--Deterioration,Chemical agents (Munitions)--Deterioration,Chemical agents (Munitions)--Analysis,Decomposition (Chemistry)
رده :
UG447
.
5
.
O74K76
2011
3. Computer Aided Verification
پدیدآورنده : / Daniel Kroening, Corina S. Psreanu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. Computer Aided Verification
پدیدآورنده : \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
5. Computer Aided Verification
پدیدآورنده : / Daniel Kroening, Corina S. Psreanu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
6. Decision procedures: an algorithmic point of view
پدیدآورنده : Kroening, Daniel.
موضوع : ، Turing machines,، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Decision procedures : an algorithmic point of view
پدیدآورنده : Kroening, Daniel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
رده :
QA
279
.
4
.
K76D4
2016
8. Hardware and Software: Verification and Testing
پدیدآورنده : / Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. 7, 2010. Revised Selected Papers-Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4
پدیدآورنده : / o (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)غo LourenعJo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
10. Validation of Evolving Software
پدیدآورنده : / Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
11. Verified Software: Theories, Tools and Experiments
پدیدآورنده : / Dimitra Giannakopoulou, Daniel Kroening
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK