Test pattern generation using Boolean proof engines / (رقم التسجيلة. 14400)
[ عرض عادي ]
| 000 -الفاتح | |
|---|---|
| حقل البيانات ثابتة الطول | 00838nam a2200265 a 4500 |
| 001 - رقم الضبط | |
| رقم الضبط | u29387 |
| 003 - محدد رقم الضبط | |
| رقم الضبط | KWAREICT |
| 005 - وقت وتاريخ اخر تعامل مع التسجيلة | |
| رقم الضبط | 20220220103034.0 |
| 008 - عناصر البيانات ثابتة الطول - معلومات عامة | |
| حقل البيانات ثابتة الطول | 100426s2010 ne a f b 00110 eng d |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 9789048184910 |
| 035 ## - رقم ضبط النظام | |
| رقم ضبط النظام | (Kwareict) u29387 |
| 040 ## - مصدر الفهرسة | |
| وكالة النسخ | KwareTech |
| 082 04 - رقم تصنيف ديوى العشرى | |
| رقم التصنيف | 621.39501511324 |
| رقم المادة | T E P |
| رقم الطبعة | 21 |
| 245 00 - بيان العنوان | |
| العنوان | Test pattern generation using Boolean proof engines / |
| بيان المسئوليه,etc | by Rolf Drechsler ... [et al.]. |
| 250 ## - بيان الطبعة | |
| بيان الطبعة | 1st ed. |
| 260 3# - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| مكان الناشر او الموزع | Dordrecht ; |
| -- | London : |
| اسم الناشر او الموزع | Springer, |
| تاريخ النشر أو التوزيع | 2010 |
| -- | 1431. |
| 300 ## - الوصف المادى | |
| التعداد | xii, 192 p. : |
| تفاصيل ماديه اخرى للوعاء | ill. ; |
| أبعاد الوعاء | 24 cm. |
| 504 ## - تبصرة ببليوجرافية | |
| تبصرة ببليوجرافية,الخ | Includes bibliographical references and index. |
| 650 #4 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Integrated circuits |
| التقسيم الفرعي العام | Verification. |
| 650 #4 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer software |
| التقسيم الفرعي العام | Verification. |
| 650 #4 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer algorithms. |
| 650 #4 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Algebra, Boolean. |
| 700 1# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Drechsler, Rolf. |
| 942 ## - عناصر المدخل الإضافي( كوها) | |
| مصدر التصنيف او مخطط الترفيف | تصنيف ديوي العشري |
| Koha [default] item type | كتاب |
| حالة التراجع | حالة الفقد | مصدر التصنيف او خطة الترفيف | حالة تلف | ليس للاعارة | المكتبة الرئيسية | المكتبة المقتنية | الموقع | تاريخ الاكتساب | الإعارات | رقم الطلب | الباركود | تاريخ آخر مشاهدة | رقم النسخة | السعر ساري المفعول من | نوع المادة في كوها |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| تصنيف ديوي العشري | Not For Loan | المكتبة المركزية | المكتبة المركزية | 10/02/2016 | 621.39501511324 T E P | 070124350 | 04/04/2021 | 1 | 04/04/2021 | كتاب | |||||
| تصنيف ديوي العشري | المكتبة المركزية | المكتبة المركزية | 10/02/2016 | 621.39501511324 T E P | 070124351 | 04/04/2021 | 2 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | المكتبة المركزية | المكتبة المركزية | 10/02/2016 | 621.39501511324 T E P | 070124352 | 04/04/2021 | 3 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | المكتبة المركزية | المكتبة المركزية | 10/02/2016 | 621.39501511324 T E P | 070124353 | 04/04/2021 | 4 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | Not For Loan | مكتبة كلية العلوم والآداب طالبات | مكتبة كلية العلوم والآداب طالبات | 10/02/2016 | 621.39501511324 T E P | 070124346 | 04/04/2021 | 1 | 04/04/2021 | كتاب | |||||
| تصنيف ديوي العشري | مكتبة كلية العلوم والآداب طالبات | مكتبة كلية العلوم والآداب طالبات | 10/02/2016 | 621.39501511324 T E P | 070124347 | 04/04/2021 | 2 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | مكتبة كلية العلوم والآداب طالبات | مكتبة كلية العلوم والآداب طالبات | 10/02/2016 | 621.39501511324 T E P | 070124348 | 04/04/2021 | 3 | 04/04/2021 | كتاب | ||||||
| تصنيف ديوي العشري | مكتبة كلية العلوم والآداب طالبات | مكتبة كلية العلوم والآداب طالبات | 10/02/2016 | 621.39501511324 T E P | 070124349 | 04/04/2021 | 4 | 04/04/2021 | كتاب |