دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
دانلود کتاب جبر و زغال سنگ در علوم کامپیوتر: چهارمین کنفرانس بین المللی، CALCO 2011، وینچستر، انگلستان، 30 اوت - 2 سپتامبر 2011. پرونده ها
مشخصات کتاب
Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
ویرایش: 1 نویسندگان: Giorgio Bacci, Vincent Danos, Ohad Kammar (auth.), Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.) سری: Lecture Notes in Computer Science 6859 ISBN (شابک) : 9783642229435, 3642229433 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 431 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر و زغال سنگ در علوم کامپیوتر: چهارمین کنفرانس بین المللی، CALCO 2011، وینچستر، انگلستان، 30 اوت - 2 سپتامبر 2011. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جبر و زغال سنگ در علوم کامپیوتر: چهارمین کنفرانس بین المللی، CALCO 2011، وینچستر، انگلستان، 30 اوت - 2 سپتامبر 2011. پرونده ها
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین المللی جبر و کوالجبر در علوم کامپیوتر، CALCO 2011، برگزار شده در وینچستر، انگلستان، در آگوست/سپتامبر 2011 است. 21 مقاله کامل ارائه شده به همراه 4 سخنرانی دعوت شده با دقت بررسی شدند. و از بین 41 مورد ارسالی انتخاب شد. این مقالات نتایج کار نظری روی ریاضیات جبرها و جبرها را گزارش می‌کنند، روشی که این نتایج می‌توانند از روش‌ها و تکنیک‌های توسعه نرم‌افزار و همچنین تجربه انتقال فناوری‌های حاصل به عمل صنعتی پشتیبانی کنند. آنها موضوعاتی را در زمینه‌های مدل‌های انتزاعی و منطق، مدل‌های تخصصی و محاسبات، معناشناسی جبری و جبری، و مشخصات و تأیید سیستم پوشش می‌دهند. این کتاب همچنین شامل 6 مقاله از کارگاه CALCO-tools است که با CALCO 2011 هماهنگ شده و به ابزارهای مبتنی بر اصول جبری و/یا جبری اختصاص دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.
فهرست مطالب
Front Matter....Pages -
On the Statistical Thermodynamics of Reversible Communicating Processes....Pages 1-18
Solving Fixed-Point Equations by Derivation Tree Analysis....Pages 19-35
Abstract Local Reasoning for Program Modules....Pages 36-39
Infinite Computation, Co-induction and Computational Logic....Pages 40-54
From Corecursive Algebras to Corecursive Monads....Pages 55-69
A Categorical Semantics for Inductive-Inductive Definitions....Pages 70-84
Finitary Functors: From Set to Preord and Poset ....Pages 85-99
Model Constructions for Moss’ Coalgebraic Logic....Pages 100-114
Relation Liftings on Preorders and Posets....Pages 115-129
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach....Pages 130-144
Refinement Trees: Calculi, Tools, and Applications....Pages 145-160
On the Fusion of Coalgebraic Logics....Pages 161-175
Indexed Induction and Coinduction, Fibrationally....Pages 176-191
Stone Duality for Nominal Boolean Algebras with И....Pages 192-207
A Counterexample to Tensorability of Effects....Pages 208-221
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi....Pages 222-236
Bases as Coalgebras....Pages 237-252
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata....Pages 253-267
Coalgebraic Semantics for Derivations in Logic Programming....Pages 268-282
Hybridization of Institutions....Pages 283-297
Linearly-Used State in Models of Call-by-Value....Pages 298-313
Proving Safety Properties of Rewrite Theories....Pages 314-328
Generalized Product of Coalgebraic Hybrid Logics....Pages 329-343
Distributive-Law Semantics for Cellular Automata and Agent-Based Models....Pages 344-358
Context-Free Languages, Coalgebraically....Pages 359-376
Preface to CALCO-Tools....Pages 377-377
PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates....Pages 378-385
PVeStA : A Parallel Statistical Model Checking and Quantitative Analysis Tool....Pages 386-392
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras....Pages 393-399
Tool Interoperability in the Maude Formal Environment....Pages 400-406
WiCcA : LTS Generation Tool for Wire Calculus....Pages 407-412
Shacc : A Functional Prototyper for a Component Calculus....Pages 413-419
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The structure of technical English
دانلود کتاب The Music of David Lumsdaine: Kelly Ground to Cambewarra
دانلود کتاب Natalie Wood: The Complete Biography
دانلود کتاب Deutschbuch 8. Schuljahr. Schülerbuch Rheinland-Pfalz
