Verification, induction, termination analysis : festschrift for christoph walther on the occasion of his 60th birthday / [edited by] Simon Siegler, Nathan Wasser.
نوع المادة :
نصالسلاسل: Lecture notes in artificial intelligence ; 6463تفاصيل النشر: New York : Springer, 2010.الطبعة: 1st edالوصف: 143 p.: ill, ; 24 cmردمك: - 9783642171710
- 3642171710
- 515 V E I 22
| نوع المادة | المكتبة الحالية | رقم الاستدعاء | رقم النسخة | حالة | تاريخ الاستحقاق | الباركود |
|---|---|---|---|---|---|---|
| كتاب | المكتبة المركزية | 515 V E I (استعراض الرف(يفتح أدناه)) | 1 | Not For Loan | 070056715 | |
| كتاب | المكتبة المركزية | 515 V E I (استعراض الرف(يفتح أدناه)) | 4 | المتاح | 070056718 | |
| كتاب | المكتبة المركزية | 515 V E I (استعراض الرف(يفتح أدناه)) | 5 | المتاح | 070056719 | |
| كتاب | المكتبة المركزية | 515 V E I (استعراض الرف(يفتح أدناه)) | 6 | المتاح | 070056720 | |
| كتاب | مكتبة كلية شرورة للعلوم والآداب طالبات | 515 V E I (استعراض الرف(يفتح أدناه)) | 1 | المتاح | 070056716 | |
| كتاب | مكتبة كلية شرورة للعلوم والآداب طلاب | 515 V E I (استعراض الرف(يفتح أدناه)) | 1 | المتاح | 070056717 |
Browsing مكتبة كلية شرورة للعلوم والآداب طلاب shelves إغلاق مستعرض الرف (يخفي مستعرض الرف)
| 515 S J B Brief applied calculus / | 515 S J C Calculus / | 515 S R C Calculus : early transcendental functions : multivariable / | 515 V E I Verification, induction, termination analysis : festschrift for christoph walther on the occasion of his 60th birthday / | 515 W D A Advanced calculus / | 515 آ ف ح حساب التفاضل والتكامل / | 515 ب ص ت التفاضل والتكامل : بأسلوب مبسط / |
includes index.
لا توجد تعليقات على هذا العنوان.