عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Certified Programs and Proofs
پدید آورنده
/ Chris Hawblitzel, Dale Miller
موضوع
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده
E-BOOK
کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية
محل استقرار
استان:
أذربایجان الشرقیة
ـ شهر:
تماس با کتابخانه :
04133443834
9783642353086
IR
EN-40238
انگلیسی
IR
Certified Programs and Proofs
[Book]
/ Chris Hawblitzel, Dale Miller
Springer
, 2012.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Chris Hawblitzel
ایران
Certified Programs and Proofs
محرمانه
محرمانه
974103.pdf
متن
old catalog
e
BL
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح