• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
Logic-Based Program Synthesis and Transformation

پدید آورنده
\ Moreno Falaschi (Ed.)

موضوع
Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها

رده
QA
76
.
63
.
L6
2015
E-Book
,

کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی

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

کتابخانه زبانهای خارجی و منابع اسلامی

تماس با کتابخانه : 37839111

:9783319274355

12681

انگلیسی

Logic-Based Program Synthesis and Transformation
[electronic resources]
: 25th International Symposium, LOPSTR 2015 Siena, Italy, July 13–15, 2015 Revised Selected Papers
\ Moreno Falaschi (Ed.)

Cham
: Springer
, 2015

xvii,[384] p.
:ill

Lecture Notes in Computer Science
; 9527

Index
Bibliography

Logic programming -- Congresses.
Computer logic -- Congresses
Computer software -- Development -- Congresses.
برنامه‌نویسی منطقی -- کنگره‌ها
منطق کامپیوتری -- کنگره ها
نرم‌افزار -- تولید -- کنگره ها

QA
76
.
63
.
L6
2015
E-Book
,

Falaschi, Moreno

LOPSTR (Symposium) (25th : 2015 : Siena, Italy)

ایران
20191019

9783319274355.pdf

p

BL
279177
1

a
Y

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال