ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

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

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings

دانلود کتاب CAAP '92: هفدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی رن، فرانسه، 26-28 فوریه 1992 مجموعه مقالات

CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings

مشخصات کتاب

CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 581 
ISBN (شابک) : 3540552510, 9783540552512 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1992 
تعداد صفحات: 370 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 53,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب CAAP '92: هفدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی رن، فرانسه، 26-28 فوریه 1992 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب 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.



فهرست مطالب

A constructive valuation interpretation for classical logic and its use in witness extraction....Pages 1-23
Varieties of increasing trees....Pages 24-48
Origin functions in λ-calculus and term rewriting systems....Pages 49-65
An algebraic approach to the interpretation of recursive types....Pages 66-85
Decidability of reachability and disjoint union of term rewriting systems....Pages 86-101
A complete type inference algorithm for simple intersection types....Pages 102-123
Monadic second-order definable graph transductions....Pages 124-144
CTL * and ECTL * as fragments of the modal μ-calculus....Pages 145-164
Power domains supporting recursion and failure....Pages 165-181
Parallel contraction of fibonacci trees and prefix computations on a family of interconnection topologies....Pages 182-202
Must preorder in non-deterministic untyped λ-calculus....Pages 203-220
A programming language for deriving hypergraphs....Pages 221-231
Graph grammars as context-dependent rewriting systems: A partial ordering semantics....Pages 232-247
Empty stack Pushdown ω-tree automata....Pages 248-264
Modulo counting quantifiers over finite trees....Pages 265-278
Finite tree automata with cost functions....Pages 279-299
Partial type assignment in left linear applicative term rewriting systems....Pages 300-321
A linear algorithm for solving fixed-point equations on transition systems....Pages 322-341
Beyond conditional equations....Pages 342-361




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی