Електронна книга > Наука > Фізика / астрономія > Reiko Heckel & Stefan Milius: Algebra and Coalgebra in Computer Science (PDF)

Reiko Heckel & Stefan Milius
Algebra and Coalgebra in Computer Science [PDF ebook]
5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

Підтримка

Обкладинка Reiko Heckel & Stefan Milius: Algebra and Coalgebra in Computer Science (PDF)

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.

€57.99

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● ISBN 9783642402067 ● Редактор Reiko Heckel & Stefan Milius ● Видавець Springer Berlin Heidelberg ● Опубліковано 2013 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6323815 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Reiko Heckel Stefan Milius

36 423 Електронні книги в цій категорі

Обкладинка Gautam (Indian Institute of Engineering Science and Technology, Shibpur, India) Bhattacharya & Robin (University of Wollongong, Australia) Chowdhury: Geotechnical Slope Analysis

Gautam (Indian Institute of Engineering Science and Technology, Shibpur, India) Bhattacharya & Robin (University of Wollongong, Australia) Chowdhury: Geotechnical Slope Analysis

Freshly updated and extended version of Slope Analysis (Chowdhury, Elsevier, 1978). This reference book gives a complete overview of the developments in slope engineering in the last 30 years. Its mu …

Обкладинка Anita Gehlot & P.S. Ranjit: Futuristic Sustainable Energy & Technology

Anita Gehlot & P.S. Ranjit: Futuristic Sustainable Energy & Technology

Futuristic Sustainable Energy and Technology provides a structured overview of the concept of Futuristic Sustainable Energy and Technology. It also explores the promotion of the sustainable developme …

Обкладинка Carlo G. (University of Padova, Italy) Someda: Electromagnetic Waves

Carlo G. (University of Padova, Italy) Someda: Electromagnetic Waves

Adapted from a successful and thoroughly field-tested Italian text, the first edition of Electromagnetic Waves was very well received. Its broad, integrated coverage of electromagnetic waves and thei …

Обкладинка David K. Ferry: An Introduction to Quantum Transport in Semiconductors

David K. Ferry: An Introduction to Quantum Transport in Semiconductors

Throughout their college career, most engineering students have done problems and studies that are basically situated in the classical world. Some may have taken quantum mechanics as their chosen fie …

Обкладинка Flavia Artizzu & Matteo Atzori: Functional Molecular Materials

Flavia Artizzu & Matteo Atzori: Functional Molecular Materials

The field of molecular materials represents an exciting playground for the design, tailoring, and combination of chemical building blocks as carriers of physical properties and aims at the understand …

Обкладинка S.G. Kandlikar: Handbook of Phase Change

S.G. Kandlikar: Handbook of Phase Change

Provides a comprehensive coverage of the basic phenomena. It contains twenty-five chapters which cover different aspects of boiling and condensation. First the specific topic or phenomenon is describ …

Обкладинка Stanley Kurtz & Jonathan Marr: Fundamentals of Radio Astronomy

Stanley Kurtz & Jonathan Marr: Fundamentals of Radio Astronomy

As demonstrated by five Nobel Prizes in physics, radio astronomy has contributed greatly to our understanding of the Universe. Courses covering this subject are, therefore, very important in the educ …

Обкладинка Andrew (University of Puget Sound, Tacoma, Washington, USA) Rex: Commonly Asked Questions in Physics

Andrew (University of Puget Sound, Tacoma, Washington, USA) Rex: Commonly Asked Questions in Physics

In the 300 years since Newton”s seminal work, physics has explained many things that used to be mysterious. Particularly in the last century, physics has addressed a range of questions, from the sma …

Обкладинка Sakir Erkoc: Fundamentals of Quantum Mechanics

Sakir Erkoc: Fundamentals of Quantum Mechanics

Providing a unified account of nonrelativistic quantum mechanics, Fundamentals of Quantum Mechanics covers the principles and formalism of quantum mechanics and the development and application of gen …

Обкладинка Vladimir I. Gavrilenko: Optics of Nanomaterials

Vladimir I. Gavrilenko: Optics of Nanomaterials

Nanomaterials are mainly categorized into three groups: fundamental building blocks, dispersions or composites of building blocks in randomly ordered matrices, and spatially resolved, ordered nanostr …

Наступна сторінка >>>