Model Checking and Artificial Intelligence (رقم التسجيلة. 13952)
[ عرض عادي ]
| 000 -الفاتح | |
|---|---|
| حقل البيانات ثابتة الطول | 02039cam a22005177a 4500 |
| 001 - رقم الضبط | |
| رقم الضبط | 7919704 |
| 003 - محدد رقم الضبط | |
| رقم الضبط | OSt |
| 005 - وقت وتاريخ اخر تعامل مع التسجيلة | |
| رقم الضبط | 20150408113915.0 |
| 006 - عناصر البيانات ثابتة الطول - خصائص المادة الاضافية-معلومات عامة | |
| حقل البيانات ثابتة الطول | m d |
| 007 - الحقل الثابت للوصف المادى- معلومات عامة | |
| حقل البيانات ثابتة الطول | cr n |
| 008 - عناصر البيانات ثابتة الطول - معلومات عامة | |
| حقل البيانات ثابتة الطول | 110828s2009 gw a |sb 101 0 eng d |
| 015 ## - رقم الببليوجرافية الوطنية | |
| المصدر | dnb |
| 016 7# - رقم ضبط الوكاله الوطنية للضبط الببليوجرافي | |
| رقم ضبط التسجيلة | 992751535 |
| المصدر | DE-101 |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 9783642004308 (acidfree paper) |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 364200430X |
| 035 ## - رقم ضبط النظام | |
| رقم ضبط النظام | (WaSeSS)ssj0000318967 |
| 040 ## - مصدر الفهرسة | |
| وكالة الفهرسة الأصلية | ZCU |
| لغة الفهرسة | eng |
| وكالة النسخ | دار اجنادين |
| وكالة التعديل | GBVCP |
| -- | DEBBG |
| -- | OCL |
| -- | DLC |
| -- | WaSeSS |
| 042 ## - رمز التحقق | |
| رمز التحقق | lccopycat |
| 082 00 - رقم تصنيف ديوى العشرى | |
| رقم التصنيف | 006.3 |
| رقم الطبعة | 21 |
| رقم المادة | M O M |
| 084 ## - رقم تصنيف آخر | |
| مصدر الرقم | stub |
| 084 ## - رقم تصنيف آخر | |
| مصدر الرقم | stub |
| 084 ## - رقم تصنيف آخر | |
| مصدر الرقم | rvk |
| 111 2# - المدخل الرئيسى - اسم مؤتمر | |
| اسم المؤتمر أو اسم السلطة كمدخل | MoChArt 2008 |
| تاريخ الاجتماع | (2008 : |
| موقع المؤتمر | Patrai, Greece) |
| 9 (RLIN) | 3491 |
| 210 10 - العنوان المختصر | |
| العنوان المختصر | Model Checking and Artificial Intelligence |
| 245 10 - بيان العنوان | |
| العنوان | Model Checking and Artificial Intelligence |
| الوسيط | [electronic resource] : |
| بقية العنوان | 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / |
| بيان المسئوليه,etc | Doron A. Peled, Michael J. Wooldrige (eds.). |
| 246 3# - العنوان الموازى | |
| عنوان صحيح/عنوان مختصر | MoChArt 5 |
| 246 3# - العنوان الموازى | |
| عنوان صحيح/عنوان مختصر | MoChArt five |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| مكان الناشر او الموزع | Berlin ; |
| -- | New York : |
| اسم الناشر او الموزع | Springer, |
| تاريخ النشر أو التوزيع | c2009. |
| 300 ## - الوصف المادى | |
| التعداد | 188 p. : |
| تفاصيل ماديه اخرى للوعاء | ills. ; |
| أبعاد الوعاء | 24 c.m. |
| 490 1# - بيان السلسلة | |
| عنوان السلسلة | Lecture notes in computer science, |
| الرقم الدولى المعيارى للدوريات | 0302-9743 ; |
| رقم المجلد/ التعيين التسلسلي | 5348. |
| عنوان السلسلة | Lecture notes in artificial intelligence |
| 504 ## - تبصرة ببليوجرافية | |
| تبصرة ببليوجرافية,الخ | Includes bibliographical references and index. |
| 506 ## - تبصرة قيود الاتاحة | |
| قيود الإتاحة | License restrictions may limit access. |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer systems |
| التقسيم الفرعي العام | Verification |
| التقسيم الفرعي الشكلي | Congresses. |
| 9 (RLIN) | 3492 |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer software |
| التقسيم الفرعي العام | Verification |
| التقسيم الفرعي الشكلي | Congresses. |
| 9 (RLIN) | 3493 |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Artificial intelligence |
| التقسيم الفرعي الشكلي | Congresses. |
| 9 (RLIN) | 3451 |
| 650 #4 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Künstliche Intelligenz |
| التقسيم الفرعي العام | Model Checking |
| التقسيم الفرعي الشكلي | Kongress |
| التقسيم الفرعي الجغرافي | Patras <2008> |
| 9 (RLIN) | 3494 |
| 650 07 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Model Checking. |
| مصدر الرأس أو المصطلح | swd |
| 9 (RLIN) | 3495 |
| 655 #7 - مصطلح تكشيفى-نوع/شكل | |
| بيانات النوع/ الشكل أو المصطلح الأساسي | Kongress. |
| مصدر المصطلح | swd |
| 9 (RLIN) | 3496 |
| 700 1# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Peled, Doron, |
| التواريخ المصاحبة للاسم | 1962- |
| 9 (RLIN) | 3497 |
| 700 1# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Wooldrige, Michael J. |
| 9 (RLIN) | 3498 |
| 773 #0 - مدخل المادة المضيفة | |
| العنوان | SpringerLink ebooks - Computer Science (2009) |
| 830 #0 - المدخل الاضافى بالسلسلة -عنوان موحد | |
| عنوان موحد | Lecture notes in computer science ; |
| رقم المجلد/ التعيين التسلسلي | 5348. |
| 9 (RLIN) | 3499 |
| 830 #0 - المدخل الاضافى بالسلسلة -عنوان موحد | |
| عنوان موحد | Lecture notes in computer science. |
| 910 ## - بيانات اختيارية للمستخدم | |
| User-option data | Library of Congress record |
| 942 ## - عناصر المدخل الإضافي( كوها) | |
| مصدر التصنيف او مخطط الترفيف | Dewey Decimal Classification |
| Koha [default] item type | DVD |
| حالة الفقد | نموذج السعر الفعال | حالة تلف | ليس للاعارة | رقم الطلب | تاريخ الاكتساب | الموقع الحالي | الباركود | الفرع الرئيسي | Date last seen | نوع المادة فى نظام كوها | مصدر التصنيف او خطة الترفيف | Total Checkouts |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2013-03-10 | 006.3 M O M | 2011-08-28 | قسم الاجراءات الفنية (IC) | 00102047 | قسم الاجراءات الفنية (IC) | 2013-03-10 | كتاب | Dewey Decimal Classification | ||||
| 2013-03-10 | 006.3 M O M | 2011-08-28 | قسم الاجراءات الفنية (IC) | 00102049 | قسم الاجراءات الفنية (IC) | 2013-03-10 | كتاب | Dewey Decimal Classification |