Model Checking and Artificial Intelligence [electronic resource] : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldrige (eds.).
نوع المادة :
نصالسلاسل: Lecture notes in computer science ; 5348. | Lecture notes in computer scienceتفاصيل النشر: Berlin ; New York : Springer, c2009.الوصف: 188 p. : ills. ; 24 c.mردمك: - 9783642004308 (acidfree paper)
- 364200430X
- MoChArt 5
- MoChArt five
- 006.3 21 M O M
DVD
مراجعات من LibraryThing.com:
| المكتبة الحالية | رقم الاستدعاء | معلومات المجلد | حالة | الباركود | |
|---|---|---|---|---|---|
| قسم الاجراءات الفنية (IC) | 006.3 M O M (استعراض الرف(يفتح أدناه)) | SGM | المتاح | 00102047 | |
| قسم الاجراءات الفنية (IC) | 006.3 M O M (استعراض الرف(يفتح أدناه)) | SGM | المتاح | 00102049 |
إجمالي الحجوزات: 0
Includes bibliographical references and index.
License restrictions may limit access.
لا توجد تعليقات على هذا العنوان.
تسجيل الدخول إلى حسابك لنشر تعليق.