أعاد بحثك 3 نتيجة.

ليس ما توقعته؟ تأكد من مقترحات

نتائج
	1.		صورة من Google Jackets	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.). بواسطة MoChArt 2008 (2008 : Patrai, Greece) Peled, Doron, 1962- Wooldrige, Michael J السلاسل: Lecture notes in computer science ; 5348. \| Lecture notes in computer science. Lecture notes in artificial intelligence. نوع المادة : نص؛ التنسيق: طباعة ؛ الشكل الأدبي: غير أدبي تفاصيل النشر: Berlin ; New York : Springer, c2009 عنوان آخر: MoChArt 5 MoChArt five موارد على الإنترنت: Table of contents Inhaltsverzeichnis Publisher description الإتاحة: المواد المتاحة للإعارة: المكتبة المركزية بالمجمعة (CL) (1)رقم الاستدعاء: 006.3 MOC. احجز اطلب مقالة قم بتسجيل الدخول لإضافة الوسوم حفظ في القوائم إضافة إلى السلة (إزالة)
	2.		صورة من Google Jackets	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.). بواسطة MoChArt 2008 (2008 : Patrai, Greece) Peled, Doron, 1962- Wooldrige, Michael J السلاسل: Lecture notes in computer science ; 5348. \| Lecture notes in computer science نوع المادة : نص؛ التنسيق: إلكتروني متاح عبر الإنترنت ؛ الشكل الأدبي: غير أدبي تفاصيل النشر: Berlin ; New York : Springer, c2009 عنوان آخر: MoChArt 5 MoChArt five SpringerLink ebooks - Computer Science (2009) الإتاحة: المواد المتاحة للإعارة: قسم الاجراءات الفنية (IC) (2)رقم الاستدعاء: 006.3 M O M, ... احجز اطلب مقالة قم بتسجيل الدخول لإضافة الوسوم حفظ في القوائم إضافة إلى السلة (إزالة)
	3.		صورة من Google Jackets	Architecture of computing systems - ARCS 2009 : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, proceedings / Mladen Bereković... [et al.], eds. بواسطة ARCS 2009 (2009 : Delft, Netherlands) Bereković, Mladen السلاسل: Lecture notes in computer science ; 5455 \| LNCS sublibrary: SL 1 - Theoretical computer science and general issues نوع المادة : نص؛ التنسيق: طباعة ؛ الشكل الأدبي: غير أدبي تفاصيل النشر: Berlin ; New York : Springer, 2009 عنوان آخر: ARCS 2009 الإتاحة: المواد المتاحة للإعارة: قسم الاجراءات الفنية (IC) (1)رقم الاستدعاء: 004.22. احجز اطلب مقالة قم بتسجيل الدخول لإضافة الوسوم حفظ في القوائم إضافة إلى السلة (إزالة)