دانلود کتاب CAAP ’92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings (به فارسی: CAAP ’92: هفدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی رن، فرانسه، 26-28 فوریه 1992 مجموعه مقالات) نوشته شده توسط «Franco Barbanera – Stefano Berardi (auth.) – J. -C. Raoult (eds.)»
اطلاعات کتاب CAAP ’92: هفدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی رن، فرانسه، 26-28 فوریه 1992 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Franco Barbanera – Stefano Berardi (auth.) – J. -C. Raoult (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1992
تعداد صفحه: 491
حجم کتاب: 3 مگابایت
کد کتاب: 3540552510 , 9783540552512
نوبت چاپ: 1
توضیحات کتاب CAAP ’92: هفدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی رن، فرانسه، 26-28 فوریه 1992 مجموعه مقالات
این جلد شامل مقالات برگزیده ارائه شده در هفدهمین دوره آموزشی درختان در جبر و برنامه ریزی (CAAP) است که به طور مشترک با سمپوزیوم اروپایی برنامه نویسی (ESOP) در رن، فرانسه، 26 تا 28 فوریه 1992 برگزار شد (مجموعه مقالات ESOP در LNCS 582). جلسات قبلی در فرانسه، ایتالیا، آلمان، اسپانیا، دانمارک و انگلیس برگزار شد. هر سال زوج، مانند سال 1992، CAAP به طور مشترک با ESOP برگزار می شود. هر سال، بخشی از TAPSOFT (تئوری و عمل توسعه نرم افزار) است. در ابتدا، CAAP به ویژگی های جبری و ترکیبی درختان و نقش آنها در زمینه های مختلف علوم کامپیوتر اختصاص داشت. دامنه CAAP اکنون به سایر ساختارهای گسسته مانند نمودارها، معادلات و تبدیل نمودارها و پیوند آنها با نظریه های منطقی گسترش یافته است. کمیته برنامه 40 مقاله ارسالی دریافت کرد که از بین آنها 19 مقاله برای گنجاندن در این جلد انتخاب شده است.
This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume.
