کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابHardware and Software: Verification and Testing
پدیدآورنده: / Armin Biere, Amir Nahir, Tanja Vos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Hardware and Software: Verification and Testing
پدیدآورنده: / o, Onn Shehoryغo LourenعKerstin Eder, Jo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Hardware and Software: Verification and Testing
پدیدآورنده: / Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Hardware and Software: Verification and Testing
پدیدآورنده: Armin Biere, Amir Nahir, Tanja Vos
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Hardware and Software: Verification and Testing
پدیدآورنده: / Eran Yahav
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Hardware and Software: Verification and Testing
پدیدآورنده: / Nir Piterman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Hardware and Software: Verification and Testing
پدیدآورنده: Eran Yahav
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Hardware and Software: Verification and Testing
پدیدآورنده: Nir Piterman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Hardware and Software: Verification and Testing
پدیدآورنده: / Kedar Namjoshi, Andreas Zeller, Avi Ziv
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Hardware and Software: Verification and Testing
پدیدآورنده: / Valeria Bertacco, Axel Legay
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Hardware and Software: Verification and Testing
پدیدآورنده: o, Onn Shehoryغo LourenعKerstin Eder, Jo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Hardware and Software: Verification and Testing
پدیدآورنده: Valeria Bertacco, Axel Legay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Hardware and software, verification and testing
پدیدآورنده: / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Computer programs--Verification--Congresses,Integrated circuits--Verification--Congresses
رده :
QA
,
76
.
76
,.
V47
,
I54
,
2006
Hardware and software, verification and testing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
7, 2010. Revised Selected Papers-Hardware and Software: Verification and Testing: 6th International
پدیدآورنده: / 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
22, 2009, Revised Selected Papers-Hardware and Software: Verification and Testing: 5th
پدیدآورنده: / David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
