نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Logic for concurrency and synchronisation
پدید آورنده
/ edited by Ruy J.G.B. de Queiroz
موضوع
برهان,منطق موجهات,برنامهنویسی موازی
رده
QA
۹
/
۵۴
/
ل
۲ ۱۳۸۲
کتابخانه
سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
88644104
-
021
شابک
شابک
1402012705
شماره کتابشناسی ملی
شماره
ز۵/۹۳
عنوان و نام پديدآور
عنوان اصلي
Logic for concurrency and synchronisation
نام نخستين پديدآور
/ edited by Ruy J.G.B. de Queiroz
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
: Kulwer Academic Pub.
تاریخ نشرو بخش و غیره
, 2003 = 1382.
مشخصات ظاهری
نام خاص و کميت اثر
xxi، ۲۸۴ ص.
ساير جزييات
مصور، نمودار
فروست
عنوان فروست
(Trends in logic; v. 18)
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
کتابنامه
آوانویسی عنوان
آوانویسی عنوان
لاجیک فور کانکرنسی اند سینکرنایزیشن
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
برهان
موضوع مستند نشده
منطق موجهات
موضوع مستند نشده
برنامهنویسی موازی
رده بندی ديویی
شماره
۱۱۵
/
۳
رده بندی کنگره
شماره رده
QA
۹
/
۵۴
نشانه اثر
/
ل
۲ ۱۳۸۲
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
، روی ، ویراستار، Queiroz, Ruy J.G.B. de
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد