دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings
دانلود کتاب روش های رابطه ای و جبری در علوم کامپیوتر: چهاردهمین کنفرانس بین المللی ، RAMiCS 2014 ، مارینستات ، آلمان ، 28 آوریل - 1 مه 2014.
مشخصات کتاب
Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings
ویرایش: 1 نویسندگان: Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller (eds.) سری: Lecture Notes in Computer Science 8428 Theoretical Computer Science and General Issues ISBN (شابک) : 9783319062501, 9783319062518 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 474 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب روش های رابطه ای و جبری در علوم کامپیوتر: چهاردهمین کنفرانس بین المللی ، RAMiCS 2014 ، مارینستات ، آلمان ، 28 آوریل - 1 مه 2014.: منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری، منطق و معانی برنامه ها، مهندسی نرم افزار، هوش مصنوعی (شامل رباتیک)، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رابطه ای و جبری در علوم کامپیوتر: چهاردهمین کنفرانس بین المللی ، RAMiCS 2014 ، مارینستات ، آلمان ، 28 آوریل - 1 مه 2014. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رابطه ای و جبری در علوم کامپیوتر: چهاردهمین کنفرانس بین المللی ، RAMiCS 2014 ، مارینستات ، آلمان ، 28 آوریل - 1 مه 2014.
این کتاب مجموعه مقالات چهاردهمین کنفرانس بین‌المللی روش‌های رابطه‌ای و جبری در علوم کامپیوتر، RAMiCS 2014 است که در مارین اشتات، آلمان، در آوریل/مه 2014 برگزار شد. از بین 37 ارسال انتخاب شده است. این مقالات در زمینه‌های خاصی در جبرهای کلین و فرمالیسم‌های مرتبط، استدلال در مورد محاسبات و برنامه‌ها، رویکردهای ناهمگن و طبقه‌بندی، کاربردهای روش‌های رابطه‌ای و جبری و پیشرفت‌های مرتبط با منطق‌های مودال و شبکه‌ها ساختار یافته‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 14th
International Conference on Relational and Algebraic Methods
in Computer Science, RAMiCS 2014 held in Marienstatt,
Germany, in April/May 2014.
The 25 revised full papers presented were carefully selected
from 37 submissions. The papers are structured in specific
fields on concurrent Kleene algebras and related formalisms,
reasoning about computations and programs, heterogeneous and
categorical approaches, applications of relational and
algebraic methods and developments related to modal logics
and lattices.
فهرست مطالب
Front Matter....Pages -
Developments in Concurrent Kleene Algebra....Pages 1-18
Endowing Concurrent Kleene Algebra with Communication Actions....Pages 19-36
Concurrent Kleene Algebra with Tests....Pages 37-48
Algebras for Program Correctness in Isabelle/HOL....Pages 49-64
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages....Pages 65-82
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility....Pages 83-100
Kleene Algebra with Converse....Pages 101-118
Preparing Relational Algebra for “Just Good Enough” Hardware....Pages 119-138
Extended Conscriptions Algebraically....Pages 139-156
Abstract Dynamic Frames....Pages 157-172
Automated Verification of Relational While-Programs....Pages 173-190
On Faults and Faulty Programs....Pages 191-207
Parameterised Bisimulations: Some Applications....Pages 208-225
A Point-Free Relation-Algebraic Approach to General Topology....Pages 226-241
A Mechanised Abstract Formalisation of Concept Lattices....Pages 242-260
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories....Pages 261-276
Higher-Order Arrow Categories....Pages 277-292
Type-2 Fuzzy Controllers in Arrow Categories....Pages 293-308
Relation Algebra and RelView Applied to Approval Voting....Pages 309-326
Relational Lattices....Pages 327-343
Towards Finding Maximal Subrelations with Desired Properties....Pages 344-361
Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis....Pages 362-378
Refinements of the RCC25 Composition Table....Pages 379-394
Fuzzifying Modal Algebra....Pages 395-411
Tableau Development for a Bi-intuitionistic Tense Logic....Pages 412-428
Nominal Sets over Algebraic Atoms....Pages 429-445
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$ ....Pages 446-462
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Mergers & Acquisitions als strategisches Instrument: Die Erschließung technologischen Wissens mittels Unternehmenszusammenschlüssen
دانلود کتاب The Indian Army on the Western Front : India’s Expeditionary Force to France and Belgium in the First World War
دانلود کتاب Math No Problem! Collection of 6 Workbooks, Grade 5 Ages 10-11
