نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Logic for concurrency and synchronisation
پدید آورنده
/ edited by Ruy J.G.B. de Queiroz
موضوع
Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده
E-BOOK
کتابخانه
کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
محل استقرار
استان:
آذربایجان شرقی
ـ شهر:
سهند
تماس با کتابخانه :
04133443834
شابک
شابک
0306480883 (electronic bk.)
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-53195
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Logic for concurrency and synchronisation
نام عام مواد
[Book]
نام نخستين پديدآور
/ edited by Ruy J.G.B. de Queiroz
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; Boston
نام ناشر، پخش کننده و غيره
: Kluwer Academic Publishers,
تاریخ نشرو بخش و غیره
, c2003.
مشخصات ظاهری
نام خاص و کميت اثر
xxi, 284 p. , ill. , 25 cm.
فروست
عنوان فروست
(Trends in logic
مشخصه جلد
; v. 18)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Proof theory
موضوع مستند نشده
Modality (Logic)
موضوع مستند نشده
Parallel programming (Computer science)
موضوع مستند نشده
Electronic books. , local
رده بندی کنگره
شماره رده
E-BOOK
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Queiroz, Ruy J. G. B. de
مستند نام اشخاص تاييد نشده
NetLibrary, Inc
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
0306480883.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
0306480883.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد