دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
دانلود کتاب جبر و ذغال سنگ در علوم رایانه: سومین کنفرانس بین المللی ، CALCO 2009 ، اودین ، ایتالیا ، 7-10 سپتامبر 2009 ، مجموعه مقالات
مشخصات کتاب
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
دسته بندی: کامپیوتر ویرایش: نویسندگان: Alexander Kurz, Marina Lenisa, Andrzej Tarlecki سری: Lecture Notes in Computer Science - Theoretical Computer Science and General Issues ISBN (شابک) : 3642037402, 9783642037405 ناشر: Springer سال نشر: 2009 تعداد صفحات: 452 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر و ذغال سنگ در علوم رایانه: سومین کنفرانس بین المللی ، CALCO 2009 ، اودین ، ایتالیا ، 7-10 سپتامبر 2009 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جبر و ذغال سنگ در علوم رایانه: سومین کنفرانس بین المللی ، CALCO 2009 ، اودین ، ایتالیا ، 7-10 سپتامبر 2009 ، مجموعه مقالات
این کتاب مجموعه مقالات سومین کنفرانس بین المللی جبر و کوالجبر در علوم کامپیوتر، CALCO 2009 است که در سال 2005 با پیوستن به CMCS و WADT تشکیل شد. امسال کنفرانس در اودینه، ایتالیا، 7 تا 10 سپتامبر 2009 برگزار شد. 23 مقاله کامل با دقت بررسی و از بین 42 مقاله ارسالی انتخاب شدند. آنها همراه با چهار سخنرانی دعوت شده و مقالات کارگاهی از کارگاه CALCO-tools ارائه می شوند. این کنفرانس به جلسات زیر تقسیم شد: اثرات جبری و معادلات بازگشتی، تئوری جبر، تطبیق همزمان، دو شبیه سازی، دوگانگی سنگ، نظریه بازی، تبدیل گراف و تکنیک های توسعه نرم افزار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference was held in Udine, Italy, September 7-10, 2009. The 23 full papers were carefully reviewed and selected from 42 submissions. They are presented together with four invited talks and workshop papers from the CALCO-tools Workshop. The conference was divided into the following sessions: algebraic effects and recursive equations, theory of coalgebra, coinduction, bisimulation, stone duality, game theory, graph transformation, and software development techniques.
فهرست مطالب
Front Matter....Pages -
Adequacy for Infinitary Algebraic Effects (Abstract)....Pages 1-2
Algebras for Parameterised Monads....Pages 3-17
Kleene Monads: Handling Iteration in a Framework of Generic Effects....Pages 18-33
Complete Iterativity for Algebras with Effects....Pages 34-48
Semantics of Higher-Order Recursion Schemes....Pages 49-63
Coalgebraic Components in a Many-Sorted Microcosm....Pages 64-80
Complementation of Coalgebra Automata....Pages 81-96
Characterising Behavioural Equivalence: Three Sides of One Coin....Pages 97-112
Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)....Pages 113-126
Circular Coinduction: A Proof Theoretical Foundation....Pages 127-144
Approximating Labelled Markov Processes Again!....Pages 145-156
Weak Bisimilarity Coalgebraically....Pages 157-172
Coalgebraic Symbolic Semantics....Pages 173-190
Relating Coalgebraic Notions of Bisimulation....Pages 191-205
Traces, Executions and Schedulers, Coalgebraically....Pages 206-220
Non-strongly Stable Orders Also Define Interesting Simulation Relations....Pages 221-235
Stone Duality and the Recognisable Languages over an Algebra....Pages 236-250
Free Heyting Algebras: Revisited....Pages 251-266
Distributive Lattice-Structured Ontologies....Pages 267-283
A Duality Theorem for Real C * Algebras....Pages 284-299
Conway Games, Coalgebraically....Pages 300-316
A Semantical Approach to Equilibria and Rationality....Pages 317-334
Van Kampen Colimits as Bicolimits in Span....Pages 335-349
Unfolding Grammars in Adhesive Categories....Pages 350-366
Views on Behaviour Protocols and Their Semantic Foundation....Pages 367-382
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation....Pages 383-397
Constructor-Based Institutions....Pages 398-412
DBtk : A Toolkit for Directed Bigraphs....Pages 413-422
Constraint-Muse: A Soft-Constraint Based System for Music Therapy....Pages 423-432
CIRC: A Behavioral Verification Tool Based on Circular Coinduction....Pages 433-442
The Priced-Timed Maude Tool....Pages 443-448
A Tool Proving Well-Definedness of Streams Using Termination Tools....Pages 449-456
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Supercomputers: Charting the Future of Cybernetics (Science and Technology in Focus)
دانلود کتاب Applied Cryptography and Network Security: 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings
دانلود کتاب Deformable surface 3D reconstruction from monocular images
دانلود کتاب Computers and Games: 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings
دانلود کتاب CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings
دانلود کتاب Collaborative Computer Security and Trust Management (Premier Reference Source)
دانلود کتاب Learning and Intelligent Optimization: 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
دانلود کتاب Euro-Par 2009 Parallel Processing: 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
دانلود کتاب Computer security handbook
