• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Introduction to the theory of programming languages

پدید آورنده
/ Gilles Dowek, Jean-Jacques Laevy

موضوع
Programming languages (Electronic computers),Programming languages (Electronic computers), Semantics

رده
QA76
.
7
.
D6813
2011

کتابخانه
کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان

محل استقرار
استان: کردستان ـ شهر: سنندج

کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان

تماس با کتابخانه : 9-08733624006و 08733664600

شماره کتابشناسی ملی

کد کشور
IR
شماره
306435

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی

کشور محل نشر یا تولید

کشور محل نشر
IR

عنوان و نام پديدآور

عنوان اصلي
Introduction to the theory of programming languages
نام عام مواد
[Electronic]
نام نخستين پديدآور
/ Gilles Dowek, Jean-Jacques Laevy

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
London ;New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, c2011.

مشخصات ظاهری

نام خاص و کميت اثر
xi, 96 p.
ساير جزييات
: , ill. , 24 cm.

فروست

عنوان فروست
(Undergraduate topics in computer science)

يادداشت کلی

متن يادداشت
"This work was first published in 2006 by Les editions de l'aEcole polytechnique"--T.p. verso.

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliographical references and index.

عنوان قراردادی

مستند تایید نشده
[Introduction ?a la thaeorie des langages de programmation.English]

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Programming languages (Electronic computers)
موضوع مستند نشده
Programming languages (Electronic computers), Semantics

رده بندی ديویی

شماره
005
.
13

رده بندی کنگره

شماره رده
QA76
.
7
نشانه اثر
.
D6813
2011

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام اشخاص تاييد نشده
Dowek, Gilles.

نام شخص - ( مسئولیت معنوی درجه دوم )

مستند نام اشخاص تاييد نشده
Laevy, Jean-Jacques,1947-

مبدا اصلی

کشور
ایران
سازمان
Central Library of the University of Kurdistan

شماره دستیابی

شماره بازیابی
005.13

دسترسی و محل الکترونیکی

تاريخ و ساعت مذاکره و دسترسي
A9AD0119-8765-4C08-8679-F8E2F11FAC1B.pdf

وضعیت فهرست نویسی

وضعیت فهرست نویسی
old catalog

وضعیت انتشار

فرمت انتشار
e

اطلاعات رکورد کتابشناسی

نوع ماده
BL
پیشوند ISBD اعمال شده است
1

اطلاعات دسترسی رکورد

سطح دسترسي
a
تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال