دانلود کتاب CAAP ’90: 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings (به فارسی: CAAP ’90: پانزدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی کپنهاگ، دانمارک، 15-18 مه، 1990 مجموعه مقالات) نوشته شده توسط «Tirza Hirst – David Harel (auth.) – A. Arnold (eds.)»
اطلاعات کتاب CAAP ’90: پانزدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی کپنهاگ، دانمارک، 15-18 مه، 1990 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Tirza Hirst – David Harel (auth.) – A. Arnold (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1990
تعداد صفحه: 288
حجم کتاب: 4 مگابایت
کد کتاب: 3540525904 , 9783540525905
نوبت چاپ: 1
توضیحات کتاب CAAP ’90: پانزدهمین کنفرانس در مورد درختان در جبر و برنامه نویسی کپنهاگ، دانمارک، 15-18 مه، 1990 مجموعه مقالات
این جلد شامل مجموعه مقالات پانزدهمین دوره آموزشی درختان در جبر و برنامه نویسی است. مقالات انتخاب شده نتایج تحقیقات جدید را ارائه می‌کنند و موضوعات زیر را پوشش می‌دهند: – ویژگی‌های منطقی، جبری و ترکیبی ساختارهای گسسته (رشته‌ها، درختان، نمودارها و غیره)، از جمله نظریه زبان‌های رسمی در نظر گرفته شده به عنوان مجموعه‌ای از ساختارهای گسسته و نظریه بازنویسی سیستم ها بر روی این اشیا. – کاربرد ساختارهای گسسته در علوم کامپیوتر از جمله نحو و معناشناسی زبان های برنامه نویسی، معناشناسی عملیاتی، برنامه نویسی منطقی، الگوریتم ها و ساختارهای داده، پیچیدگی الگوریتم ها و جنبه های پیاده سازی، تکنیک های اثبات الگوریتم های غیر عددی، مشخصات رسمی و تجسم درختان و نمودارها. .
This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: – Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. – Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.