Verification, induction, termination analysis : (رقم التسجيلة. 19108)
[ عرض عادي ]
| 000 -الفاتح | |
|---|---|
| حقل البيانات ثابتة الطول | 00842nam a22002655a 4500 |
| 001 - رقم الضبط | |
| رقم الضبط | u15108 |
| 003 - محدد رقم الضبط | |
| رقم الضبط | KWAREICT |
| 005 - وقت وتاريخ اخر تعامل مع التسجيلة | |
| رقم الضبط | 20220501094036.0 |
| 008 - عناصر البيانات ثابتة الطول - معلومات عامة | |
| حقل البيانات ثابتة الطول | 120321s2010 nyua 001 0 eng |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 9783642171710 |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 3642171710 |
| 035 ## - رقم ضبط النظام | |
| رقم ضبط النظام | (Kwareict) u15108 |
| 040 ## - مصدر الفهرسة | |
| وكالة النسخ | KwareTech |
| 082 04 - رقم تصنيف ديوى العشرى | |
| رقم التصنيف | 515 |
| رقم المادة | V E I |
| رقم الطبعة | 22 |
| 245 00 - بيان العنوان | |
| العنوان | Verification, induction, termination analysis : |
| بقية العنوان | festschrift for christoph walther on the occasion of his 60th birthday / |
| بيان المسئوليه,etc | [edited by] Simon Siegler, Nathan Wasser. |
| 250 ## - بيان الطبعة | |
| بيان الطبعة | 1st ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| مكان الناشر او الموزع | New York : |
| اسم الناشر او الموزع | Springer, |
| تاريخ النشر أو التوزيع | 2010. |
| 300 ## - الوصف المادى | |
| التعداد | 143 p.: |
| تفاصيل ماديه اخرى للوعاء | ill, ; |
| أبعاد الوعاء | 24 cm. |
| 490 0# - بيان السلسلة | |
| عنوان السلسلة | Lecture notes in artificial intelligence ; |
| رقم المجلد/ التعيين التسلسلي | 6463 |
| 500 ## - تبصرة عامة | |
| تبصرة عامة | includes index. |
| 650 #4 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Verification, induction. |
| 700 0# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Siegler,Simon. |
| 700 0# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Wasser, Nathan |
| 942 ## - عناصر المدخل الإضافي( كوها) | |
| مصدر التصنيف او مخطط الترفيف | تصنيف ديوي العشري |
| Koha [default] item type | كتاب |
| حالة التراجع | حالة الفقد | مصدر التصنيف او خطة الترفيف | حالة تلف | ليس للاعارة | المكتبة الرئيسية | المكتبة المقتنية | الموقع | تاريخ الاكتساب | الإعارات | رقم الطلب | الباركود | تاريخ آخر مشاهدة | رقم النسخة | السعر ساري المفعول من | نوع المادة في كوها |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| تصنيف ديوي العشري | Not For Loan | المكتبة المركزية | المكتبة المركزية | 04/28/2012 | 515 V E I | 070056715 | 04/04/2021 | 1 | 04/04/2021 | كتاب | |||||
| تصنيف ديوي العشري | المكتبة المركزية | المكتبة المركزية | 04/28/2012 | 515 V E I | 070056718 | 04/04/2021 | 4 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | المكتبة المركزية | المكتبة المركزية | 04/28/2012 | 515 V E I | 070056719 | 04/04/2021 | 5 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | المكتبة المركزية | المكتبة المركزية | 04/28/2012 | 515 V E I | 070056720 | 04/04/2021 | 6 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | مكتبة كلية شرورة للعلوم والآداب طالبات | مكتبة كلية شرورة للعلوم والآداب طالبات | 01/14/2014 | 515 V E I | 070056716 | 04/04/2021 | 1 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | مكتبة كلية شرورة للعلوم والآداب طلاب | مكتبة كلية شرورة للعلوم والآداب طلاب | 01/14/2014 | 515 V E I | 070056717 | 04/04/2021 | 1 | 04/04/2021 | كتاب |