دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
دانلود کتاب جبر و کوالجبر در علوم کامپیوتر: پنجمین کنفرانس بین المللی، CALCO 2013، ورشو، لهستان، 3-6 سپتامبر 2013. مجموعه مقالات
مشخصات کتاب
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
ویرایش: 1 نویسندگان: Andrej Bauer, Matija Pretnar (auth.), Reiko Heckel, Stefan Milius (eds.) سری: Lecture Notes in Computer Science 8089 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642402050, 9783642402067 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 370 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب جبر و کوالجبر در علوم کامپیوتر: پنجمین کنفرانس بین المللی، CALCO 2013، ورشو، لهستان، 3-6 سپتامبر 2013. مجموعه مقالات: تئوری محاسبات، مهندسی نرم افزار، محاسبات کوانتومی، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر و کوالجبر در علوم کامپیوتر: پنجمین کنفرانس بین المللی، CALCO 2013، ورشو، لهستان، 3-6 سپتامبر 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جبر و کوالجبر در علوم کامپیوتر: پنجمین کنفرانس بین المللی، CALCO 2013، ورشو، لهستان، 3-6 سپتامبر 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین المللی جبر و کوالجبر در علوم کامپیوتر، CALCO 2013، برگزار شده در ورشو، لهستان، در سپتامبر 2013 است. 18 مقاله کامل ارائه شده به همراه 4 سخنرانی دعوت شده با دقت بررسی و انتخاب شدند. از 33 ارسالی این مقالات موضوعاتی را در زمینه‌های مدل‌های انتزاعی و منطق، مدل‌ها و محاسبات تخصصی، معناشناسی جبری و جبری، مشخصات و تأیید سیستم، و همچنین corecursion در زبان‌های برنامه‌نویسی، و جبر و coalgebra در محاسبات کوانتومی پوشش می‌دهند. این کتاب همچنین شامل 6 مقاله از کارگاه ابزارهای CALCO است که با CALCO 2013 همکاری می کند و به ابزارهای مبتنی بر اصول جبری و/یا جبری اختصاص دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles.
فهرست مطالب
Front Matter....Pages -
An Effect System for Algebraic Effects and Handlers....Pages 1-16
Automata and Algebras for Infinite Words and Trees....Pages 17-18
Positive Inductive-Recursive Definitions....Pages 19-33
Coalgebraic Up-to Techniques....Pages 34-35
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations....Pages 36-50
Positive Fragments of Coalgebraic Logics....Pages 51-65
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic....Pages 66-79
Saturated Semantics for Coalgebraic Logic Programming....Pages 80-94
Presenting Distributive Laws....Pages 95-109
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras....Pages 110-125
Homomorphisms of Coalgebras from Predicate Liftings....Pages 126-140
From Kleisli Categories to Commutative C * -Algebras: Probabilistic Gelfand Duality....Pages 141-157
Trace Semantics via Generic Observations....Pages 158-174
Full Abstraction for Fair Testing in CCS....Pages 175-190
A Simple Case of Rationality of Escalation....Pages 191-204
Coalgebras with Symmetries and Modelling Quantum Systems....Pages 205-219
From Operational Chu Duality to Coalgebraic Quantum Symmetry....Pages 220-235
Noninterfering Schedulers....Pages 236-252
Simulations and Bisimulations for Coalgebraic Modal Logics....Pages 253-266
A Coalgebraic View of ε -Transitions....Pages 267-281
Nets, Relations and Linking Diagrams....Pages 282-298
A Logic-Programming Semantics of Services....Pages 299-313
Preface to CALCO-Tools....Pages 314-314
Checking Conservativity with H ets ....Pages 315-321
The HI-Maude Tool....Pages 322-327
Constructor-Based Inductive Theorem Prover....Pages 328-333
A Timed CTL Model Checker for Real-Time Maude....Pages 334-339
Hybridisation at Work....Pages 340-345
Penrose : Putting Compositionality to Work for Petri Net Reachability....Pages 346-352
QStream: A Suite of Streams....Pages 353-358
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Imaging from spaceborne and airborne SARs, calibration, and applications
دانلود کتاب The Complete Guide to Hiring and Firing Government Employees
دانلود کتاب From Shy to Social: The Shy Man's Guide to Personal & Dating Success
