Model Checking and Artificial Intelligence : (رقم التسجيلة. 32450)
[ عرض عادي ]
| 000 -الفاتح | |
|---|---|
| حقل البيانات ثابتة الطول | 02356cam a22005297a 4500 |
| 001 - رقم الضبط | |
| رقم الضبط | 15605097 |
| 003 - محدد رقم الضبط | |
| رقم الضبط | OSt |
| 005 - وقت وتاريخ اخر تعامل مع التسجيلة | |
| رقم الضبط | 20150408114156.0 |
| 008 - عناصر البيانات ثابتة الطول - معلومات عامة | |
| حقل البيانات ثابتة الطول | 090130s2009 gw a b 101 0 eng d |
| 010 ## - رقم ضبط مكتبة الكونجرس | |
| رقم ضبط مكتبة الكونجرس | 2009921993 |
| 015 ## - رقم الببليوجرافية الوطنية | |
| رقم الببليوجرافية الوطنية | 09,N10,0077 |
| المصدر | dnb |
| 016 7# - رقم ضبط الوكاله الوطنية للضبط الببليوجرافي | |
| رقم ضبط التسجيلة | 992751535 |
| المصدر | DE-101 |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 9783642004308 (acidfree paper) |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 364200430X |
| 035 ## - رقم ضبط النظام | |
| رقم ضبط النظام | (OCoLC)ocn320934399 |
| 040 ## - مصدر الفهرسة | |
| وكالة الفهرسة الأصلية | ZCU |
| لغة الفهرسة | eng |
| وكالة النسخ | ZCU |
| وكالة التعديل | GBVCP |
| -- | DEBBG |
| -- | OCL |
| -- | DLC |
| 042 ## - رمز التحقق | |
| رمز التحقق | lccopycat |
| 050 00 - رقم طلب مكتبة الكونجرس | |
| رقم التصنيف | QA76.76.V47 |
| رقم المادة | M63 2008 |
| 082 00 - رقم تصنيف ديوى العشرى | |
| رقم التصنيف | 006.3 |
| رقم الطبعة | 23 |
| رقم المادة | MOC |
| 084 ## - رقم تصنيف آخر | |
| رقم التصنيف | DAT 325f |
| مصدر الرقم | stub |
| 084 ## - رقم تصنيف آخر | |
| رقم التصنيف | DAT 706f |
| مصدر الرقم | stub |
| 084 ## - رقم تصنيف آخر | |
| رقم التصنيف | SS 4800 |
| مصدر الرقم | rvk |
| 111 2# - المدخل الرئيسى - اسم مؤتمر | |
| اسم المؤتمر أو اسم السلطة كمدخل | MoChArt 2008 |
| تاريخ الاجتماع | (2008 : |
| موقع المؤتمر | Patrai, Greece) |
| 9 (RLIN) | 3491 |
| 245 10 - بيان العنوان | |
| العنوان | Model Checking and Artificial Intelligence : |
| بقية العنوان | 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. : |
| تفاصيل ماديه اخرى للوعاء | ill. ; |
| أبعاد الوعاء | 24 cm. |
| 490 1# - بيان السلسلة | |
| عنوان السلسلة | Lecture notes in computer science, |
| الرقم الدولى المعيارى للدوريات | 0302-9743 ; |
| رقم المجلد/ التعيين التسلسلي | 5348. |
| عنوان السلسلة | Lecture notes in artificial intelligence |
| 504 ## - تبصرة ببليوجرافية | |
| تبصرة ببليوجرافية,الخ | Includes bibliographical references and index. |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer systems |
| التقسيم الفرعي العام | Verification |
| التقسيم الفرعي الشكلي | Congresses. |
| 9 (RLIN) | 3492 |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer software |
| التقسيم الفرعي العام | Verification |
| التقسيم الفرعي الشكلي | Congresses. |
| 9 (RLIN) | 3493 |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Artificial intelligence |
| التقسيم الفرعي الشكلي | Congresses. |
| 650 #4 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | K�unstliche Intelligenz |
| التقسيم الفرعي العام | Model Checking |
| التقسيم الفرعي الشكلي | Kongress |
| التقسيم الفرعي الجغرافي | Patras <2008> |
| 9 (RLIN) | 40717 |
| 650 07 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Model Checking. |
| مصدر الرأس أو المصطلح | swd |
| 655 #7 - مصطلح تكشيفى-نوع/شكل | |
| بيانات النوع/ الشكل أو المصطلح الأساسي | Kongress. |
| مصدر المصطلح | swd |
| 9 (RLIN) | 3496 |
| 700 1# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Peled, Doron, |
| التواريخ المصاحبة للاسم | 1962- |
| 9 (RLIN) | 3497 |
| 700 1# - المدخل الاضافى - اسم شخصى | |
| الإسم الشخصى | Wooldrige, Michael J. |
| 9 (RLIN) | 3498 |
| 830 #0 - المدخل الاضافى بالسلسلة -عنوان موحد | |
| عنوان موحد | Lecture notes in computer science ; |
| رقم المجلد/ التعيين التسلسلي | 5348. |
| 9 (RLIN) | 3499 |
| 830 #0 - المدخل الاضافى بالسلسلة -عنوان موحد | |
| عنوان موحد | Lecture notes in computer science. |
| اسم جزء/قسم العمل | Lecture notes in artificial intelligence. |
| 856 41 - الوصول و الموقع الالكترونى | |
| مواد محددة | Table of contents |
| معرف المصدر الموحد | <a href="http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</a> |
| 856 41 - الوصول و الموقع الالكترونى | |
| معرف المصدر الموحد | <a href="http://d-nb.info/992751535/04">http://d-nb.info/992751535/04</a> |
| مواد محددة | Inhaltsverzeichnis |
| 856 42 - الوصول و الموقع الالكترونى | |
| مواد محددة | Publisher description |
| معرف المصدر الموحد | <a href="http://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html">http://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html</a> |
| 906 ## - عنصر بيانات محلى F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | copycat |
| d | 2 |
| e | epcn |
| f | 20 |
| g | y-gencatlg |
| 942 ## - عناصر المدخل الإضافي( كوها) | |
| مصدر التصنيف او مخطط الترفيف | Dewey Decimal Classification |
| Koha [default] item type | DVD |
| حالة الفقد | نموذج السعر الفعال | حالة تلف | ليس للاعارة | رقم الطلب | تاريخ الاكتساب | الموقع الحالي | الفرع الرئيسي | Date last seen | نوع المادة فى نظام كوها | مصدر التصنيف او خطة الترفيف | Total Checkouts |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 2013-11-23 | 006.3 MOC | 2013-11-23 | المكتبة المركزية بالمجمعة (CL) | المكتبة المركزية بالمجمعة (CL) | 2013-11-23 | كتاب | Dewey Decimal Classification |