نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Logic-Based Program Synthesis and Transformation
پدید آورنده
edited by María Alpuente.
موضوع
Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
رده
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
9783642205507
شابک
9783642205514
شماره کتابشناسی ملی
شماره
b407150
عنوان و نام پديدآور
عنوان اصلي
Logic-Based Program Synthesis and Transformation
نام عام مواد
[Book]
ساير اطلاعات عنواني
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
نام نخستين پديدآور
edited by María Alpuente.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg :
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg,
تاریخ نشرو بخش و غیره
2011.
فروست
عنوان فروست
Lecture Notes in Computer Science,
مشخصه جلد
6564
شاپا ي ISSN فروست
0302-9743 ;
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Algorithms.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Alpuente, María.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service)
مبدا اصلی
تاريخ عمليات
20110425114610.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد