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

عنوان
Logic-based program synthesis and transformation

پدید آورنده
Elvira Albert (ed.)

موضوع
Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses

رده
QA76
.
63
.
L67
2012

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

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

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
3642381979 (electronic bk.)
شابک
9783642381973 (electronic bk.)
شابک اشتباه
9783642381966

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

شماره
b435025

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

عنوان اصلي
Logic-based program synthesis and transformation
نام عام مواد
[Book]
ساير اطلاعات عنواني
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /
نام نخستين پديدآور
Elvira Albert (ed.)

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

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

مشخصات ظاهری

نام خاص و کميت اثر
1 online resource (x, 243 p.) :
ساير جزييات
ill

فروست

عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
7844
شاپا ي ISSN فروست
1611-3349 ;

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

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

قطعه

عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink

عنوان اصلی به زبان دیگر

عنوان اصلي به زبان ديگر
LOPSTR 2012

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

موضوع مستند نشده
Computer logic, Congresses
موضوع مستند نشده
Computer software-- Development, Congresses
موضوع مستند نشده
Logic programming, Congresses

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

شماره
005
.
1/15
ويراست
23

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

شماره رده
QA76
.
63
شماره رده
QA76
.
63
نشانه اثر
.
L67
2012
نشانه اثر
.
L67
2012

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

مستند نام اشخاص تاييد نشده
Albert, Elvira

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

مستند نام تنالگان تاييد نشده
LOPSTR (Symposium)(22nd :2012 :, Leuven, Belgium)

نام تنالگان _ (مسئولیت معنوی برابر)

مستند نام تنالگان تاييد نشده
Ohio Library and Information Network

مبدا اصلی

تاريخ عمليات
20130703153456.0

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

نام الکترونيکي
 مطالعه متن کتاب 

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

نوع ماده
[Book]

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

تكميل شده
Y

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

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