دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
دانلود کتاب روش های رابطه ای و جبری در علوم کامپیوتر: هفدهمین کنفرانس بین المللی، RAMiCS 2018، گرونینگن، هلند، 29 اکتبر – 1 نوامبر 2018، مجموعه مقالات
مشخصات کتاب
Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
ویرایش: 1st ed. نویسندگان: Jules Desharnais, Walter Guttmann, Stef Joosten سری: Lecture Notes in Computer Science 11194 ISBN (شابک) : 9783030021481, 9783030021498 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: 394 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب روش های رابطه ای و جبری در علوم کامپیوتر: هفدهمین کنفرانس بین المللی، RAMiCS 2018، گرونینگن، هلند، 29 اکتبر – 1 نوامبر 2018، مجموعه مقالات: علوم کامپیوتر، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، محاسبات عددی
در صورت تبدیل فایل کتاب Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رابطه ای و جبری در علوم کامپیوتر: هفدهمین کنفرانس بین المللی، RAMiCS 2018، گرونینگن، هلند، 29 اکتبر – 1 نوامبر 2018، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رابطه ای و جبری در علوم کامپیوتر: هفدهمین کنفرانس بین المللی، RAMiCS 2018، گرونینگن، هلند، 29 اکتبر – 1 نوامبر 2018، مجموعه مقالات
این کتاب مجموعه مقالات هفدهمین کنفرانس بین‌المللی روش‌های رابطه‌ای و جبری در علوم رایانه، RAMiCS 2018 است که در خرونینگن، هلند، در اکتبر/نوامبر 2018 برگزار شد.
21 مقالات کامل و 1 مقاله دعوت شده ارائه شده همراه با 2 چکیده دعوت شده و 1 چکیده از یک آموزش به دقت از بین 31 مقاله ارسالی انتخاب شدند. مقالات در موضوعات زیر تنظیم شده است: مبانی نظری; استدلال در مورد محاسبات و برنامه ها؛ و برنامه ها و ابزارها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.
The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
فهرست مطالب
Front Matter ....Pages I-XVI
Front Matter ....Pages 1-1
Finite Relation Algebras with Normal Representations (Manuel Bodirsky)....Pages 3-17
Front Matter ....Pages 19-19
C-Dioids and \(\mu \)-Continuous Chomsky-Algebras (Hans Leiß, Mark Hopkins)....Pages 21-36
Coequalizers and Tensor Products for Continuous Idempotent Semirings (Mark Hopkins, Hans Leiß)....Pages 37-52
Distances, Norms and Error Propagation in Idempotent Semirings (Roland Glück)....Pages 53-69
T-Norm Based Operations in Arrow Categories (Michael Winter)....Pages 70-86
Decidability of Equational Theories for Subsignatures of Relation Algebra (Robin Hirsch)....Pages 87-96
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad (Koki Nishizawa, Norihiro Tsumagari)....Pages 97-112
Axiomatizing Discrete Spatial Relations (Giulia Sindoni, Katsuhiko Sano, John G. Stell)....Pages 113-130
A Modal and Relevance Logic for Qualitative Spatial Reasoning (Pranab Kumar Ghosh, Michael Winter)....Pages 131-147
On the Structure of Generalized Effect Algebras and Separation Algebras (Sarah Alexander, Peter Jipsen, Nadiya Upegui)....Pages 148-165
Counting Finite Linearly Ordered Involutive Bisemilattices (Stefano Bonzio, Michele Pra Baldi, Diego Valota)....Pages 166-183
MIX \(\star \)-Autonomous Quantales and the Continuous Weak Order (Maria João Gouveia, Luigi Santocanale)....Pages 184-201
Front Matter ....Pages 203-203
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra (Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock)....Pages 205-224
Verifying Hybrid Systems with Modal Kleene Algebra (Jonathan Julián Huerta y Munive, Georg Struth)....Pages 225-243
Algebraic Derivation of Until Rules and Application to Timer Verification (Jessica Ertel, Roland Glück, Bernhard Möller)....Pages 244-262
False Failure: Creating Failure Models for Separation Logic (Callum Bannister, Peter Höfner)....Pages 263-279
Towards an Analysis of Dynamic Gossip in Netkat (Malvin Gattinger, Jana Wagemaker)....Pages 280-297
Coalgebraic Tools for Randomness-Conserving Protocols (Dexter Kozen, Matvey Soloviev)....Pages 298-313
Front Matter ....Pages 315-315
Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems (Nikolai Krivulin)....Pages 317-332
A Set Solver for Finite Set Relation Algebra (Maximiliano Cristiá, Gianfranco Rossi)....Pages 333-349
On the Computational Complexity of Non-dictatorial Aggregation (Lefteris Kirousis, Phokion G. Kolaitis, John Livieratos)....Pages 350-365
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck (Wolfram Kahl)....Pages 366-384
Back Matter ....Pages 385-385
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Entropy and the Tao of Counting: A Brief Introduction to Statistical Mechanics and the Second Law of Thermodynamics
دانلود کتاب Rationality in Question: On Eastern and Western Views of Rationality
دانلود کتاب Anticholinergic Drugs and Brain Functions in Animals and Man
دانلود کتاب Hometown Transnationalism: Long Distance Villageness among Indian Punjabis and North African Berbers
