دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
دانلود کتاب روشهای ارتباطی و کلین جبری در علوم رایانه: هفتمین سمینار بین المللی روشهای ارتباط در علوم رایانه و دومین کارگاه بین المللی کاربردهای کلاین جبر ، بد مالنته ، آلمان ، 12-17 مه 2003 ، ویرایش شده در مقالات منتخب
مشخصات کتاب
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.) سری: Lecture Notes in Computer Science 3051 ISBN (شابک) : 354022145X, 9783540247715 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 293 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب روشهای ارتباطی و کلین جبری در علوم رایانه: هفتمین سمینار بین المللی روشهای ارتباط در علوم رایانه و دومین کارگاه بین المللی کاربردهای کلاین جبر ، بد مالنته ، آلمان ، 12-17 مه 2003 ، ویرایش شده در مقالات منتخب: منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، منطق و معانی برنامه ها، دستکاری نمادین و جبری، هوش مصنوعی (شامل رباتیک)، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای ارتباطی و کلین جبری در علوم رایانه: هفتمین سمینار بین المللی روشهای ارتباط در علوم رایانه و دومین کارگاه بین المللی کاربردهای کلاین جبر ، بد مالنته ، آلمان ، 12-17 مه 2003 ، ویرایش شده در مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای ارتباطی و کلین جبری در علوم رایانه: هفتمین سمینار بین المللی روشهای ارتباط در علوم رایانه و دومین کارگاه بین المللی کاربردهای کلاین جبر ، بد مالنته ، آلمان ، 12-17 مه 2003 ، ویرایش شده در مقالات منتخب
این کتاب مجموعه مقالات پس از داوری کامل هفتمین سمینار بین‌المللی روشهای رابطه‌ای در علوم کامپیوتر و دومین کارگاه بین‌المللی کاربردهای جبر کلین است که در Bad Malente، آلمان در ماه می 2003 برگزار شد.
The 21 مقاله کامل اصلاح شده ارائه شده در طی دو دور بررسی و بهبود با دقت انتخاب شدند. این مقاله به جنبه‌های بنیادی و روش‌شناختی محاسبات روابط و جبر کلین و همچنین کاربردهای این روش‌ها در حوزه‌های مختلف علوم کامپیوتر و پردازش اطلاعات می‌پردازد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003.
The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing.
فهرست مطالب
Front Matter....Pages -
Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods....Pages 1-7
Kleene Algebra with Relations....Pages 8-20
Integrating Model Checking and Theorem Proving for Relational Reasoning....Pages 21-33
Fixed-Point Characterisation of Winning Strategies in Impartial Games....Pages 34-47
Checking the Shape Safety of Pointer Manipulations....Pages 48-61
Applying Relational Algebra in 3D Graphical Software Design....Pages 62-73
Investigating Discrete Controllability with Kleene Algebra....Pages 74-85
Tracing Relations Probabilistically....Pages 86-98
Pointer Kleene Algebra....Pages 99-111
Kleene Modules....Pages 112-123
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions....Pages 124-136
Towards a Formalisation of Relational Database Theory in Constructive Type Theory....Pages 137-148
SCAN Is Complete for All Sahlqvist Formulae....Pages 149-162
Relations and GUHA-Style Data Mining II....Pages 163-170
A Note on Complex Algebras of Semigroups....Pages 171-177
Calculational Relation-Algebraic Proofs in Isabelle/Isar....Pages 178-190
A Calculus of Typed Relations....Pages 191-201
Greedy-Like Algorithms in Modal Kleene Algebra....Pages 202-214
Rasiowa-Sikorski Style Relational Elementary Set Theory....Pages 215-226
Relational Data Analysis....Pages 227-237
Two Proof Systems for Peirce Algebras....Pages 238-251
An Institution Isomorphism for Planar Graph Colouring....Pages 252-264
Decomposing Relations into Orderings....Pages 265-277
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Cooperative Information Agents XI: 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007. Proceedings
دانلود کتاب Proceedings Of The Second International Conference On The Theory Of Groups
دانلود کتاب Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings
دانلود کتاب Soft-Ware 2002: Computing in an Imperfect World: First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings
دانلود کتاب Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers (Lecture ... Computer Science and General Issues)
دانلود کتاب Real-time systems: specification, verification, and analysis
دانلود کتاب Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings
دانلود کتاب Discovery Science: 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004. Proceedings
دانلود کتاب Advances in Databases and Information Systems: 6th East European Conference, ADBIS 2002 Bratislava, Slovakia, September 8–11, 2002 Proceedings
