نتائج البحث

( 2 نتيجة)

نتائج
		Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever ... [and others]. by Roever, W. P. de (Willem Paul) السلاسل:Cambridge tracts in theoretical computer science ; 54. نوع المادة : نص؛ التنسيق: طباعة؛ الشكل الأدبي: غير أدبي الناشر:Cambridge ; New York : Cambridge University Press, 2010 الإتاحة:المواد المتاحة للإعارة:UAE Federation Library \| مكتبة اتحاد الإمارات (1)رقم الطلب:QA76.58 C6643 2010. غير متاح: UAE Federation Library \| مكتبة اتحاد الإمارات : Library Use Only \| داخل المكتبة فقط (1). إحجز أضف إلى السلة (إزالة)
		A framework for priority arguments / Manuel Lerman. by Lerman, M. (Manuel), 1943- [author] السلاسل:Lecture notes in logic ; 34. نوع المادة : نص؛ التنسيق: طباعة؛ الشكل الأدبي: غير أدبي الناشر:New York : Cambridge University Press, 2010 الإتاحة:غير متاح: UAE Federation Library \| مكتبة اتحاد الإمارات : Library Use Only \| داخل المكتبة فقط (1). أضف إلى السلة (إزالة)

تنقيح بحثك