Model Checking and Artificial Intelligence : 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. Lecture notes in artificial intelligence.تفاصيل النشر: Berlin ; New York : Springer, c2009.الوصف: 188 p. : ill. ; 24 cmردمك: - 9783642004308 (acidfree paper)
- 364200430X
- MoChArt 5
- MoChArt five
- 006.3 23 MOC
- QA76.76.V47 M63 2008
- DAT 325f
- DAT 706f
- SS 4800
DVD
مراجعات من LibraryThing.com:
| المكتبة الحالية | رقم الاستدعاء | حالة | |
|---|---|---|---|
| المكتبة المركزية بالمجمعة (CL) | 006.3 MOC (استعراض الرف(يفتح أدناه)) | المتاح |
إجمالي الحجوزات: 0
Includes bibliographical references and index.
لا توجد تعليقات على هذا العنوان.
تسجيل الدخول إلى حسابك لنشر تعليق.