دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
دانلود کتاب درختان در جبر و برنامه نویسی — CAAP '96: بیست و یکمین کنفرانس بین المللی لینکوپینگ، سوئد، 22 تا 24 آوریل، 1996 مجموعه مقالات
مشخصات کتاب
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: Samson Abramsky (auth.), Hélène Kirchner (eds.) سری: Lecture Notes in Computer Science 1059 ISBN (شابک) : 3540610642, 9783540610649 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 336 [339] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب درختان در جبر و برنامه نویسی — CAAP '96: بیست و یکمین کنفرانس بین المللی لینکوپینگ، سوئد، 22 تا 24 آوریل، 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب درختان در جبر و برنامه نویسی — CAAP '96: بیست و یکمین کنفرانس بین المللی لینکوپینگ، سوئد، 22 تا 24 آوریل، 1996 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بین‌المللی
درختان در جبر و برنامه‌نویسی، CAAP '96، برگزار شده در
لینشوپینگ، سوئد، در آوریل 1996 است.
21 مقاله اصلاح شده کامل ارائه شده از 44 مقاله ارسالی انتخاب
شدند. همچنین مقالات دعوت شده توسط سامسون آبرامسکی و فرانک
پفنینگ گنجانده شده است. مطابق با سنت کنفرانس‌های CAAP، این
جلد ویژگی‌های جبری، منطقی و ترکیبی ساختارهای گسسته و کاربرد
آن‌ها در علوم کامپیوتر، به‌ویژه در تئوری محاسبات و تئوری
برنامه‌نویسی را پوشش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 21st
International Colloquium on Trees in Algebra and Programming,
CAAP '96, held in Linköping, Sweden, in April 1996.
The 21 full revised papers presented were selected from 44
submissions; also included are invited papers by Samson
Abramsky and Frank Pfenning. In keeping with the tradition of
the CAAP conferences, this volume covers algebraic, logical,
and combinatorial properties of discrete structures and their
application to computer science, in particular to the theory
of computation and to programming theory.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Religion and Literature in Western England, 600-800
دانلود کتاب Der Kunstliche Fechter Kunst des Fechtens im Rappier.
دانلود کتاب Le point de Paris
دانلود کتاب Savage Eye: Collection of Critical Essays on Samuel Beckett's Film and Television Plays
