عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدید آورنده
Peter E. Lauer, )ed.(
موضوع
Congresses ، Computer programming,Congresses ، Functional programming )Computer science(,Congresses ، Parallel programming )Computer science(,Congresses ، Automatic theorem proving,Congresses ، Computer simulation
رده
QA
76
.
L28
Vol
.
693
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Berlin
Springer-Verlag
c1993
]xi[, 398p.: ill., tables
Lecture notes in computer science; 396
Includes bibliographies
ISBN: 3540568832
Peter E. Lauer, )ed.(
1
Congresses ، Computer programming
Congresses ، Functional programming )Computer science(
Congresses ، Parallel programming )Computer science(
Congresses ، Automatic theorem proving
Congresses ، Computer simulation
QA
76
.
L28
Vol
.
693
TI
AU Lauer, Peter E., 1934-
SE
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح