نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
ورود / ثبت نام
عنوان
Fields of logic and computation
پدید آورنده
/ Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
موضوع
Computer science, Mathematics,Information theory,Formal methods (Computer science)
رده
QA76
.
9
.
M35F54
2010
کتابخانه
کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
محل استقرار
استان:
آذربایجان شرقی
ـ شهر:
سهند
تماس با کتابخانه :
04133443834
شابک
شابک
9783642150258
شماره کتابشناسی ملی
کد کشور
IR
شماره
E-4894
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Fields of logic and computation
نام عام مواد
[Book]
ساير اطلاعات عنواني
:essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
نام نخستين پديدآور
/ Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2010.
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 626 p. , ill. , 24 cm.
فروست
عنوان فروست
(Lecture notes in computer science
عنوان فروست
(Festschrift.)
مشخصه جلد
; 6300.)
يادداشت کلی
متن يادداشت
International conference proceedings.
متن يادداشت
Festschrift.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
فروست (داده ارتباطی)
عنوان
Lecture notes in computer science
عنوان
Festschrift
شماره جلد
6300
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science, Mathematics
موضوع مستند نشده
Information theory
موضوع مستند نشده
Formal methods (Computer science)
رده بندی کنگره
شماره رده
QA76
.
9
نشانه اثر
.
M35F54
2010
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد