Catalog > Sciences > Computer Science > Joost-Pieter Katoen & Barbara Konig: CONCUR 2011 -- Concurrency Theory (PDF)

Joost-Pieter Katoen & Barbara Konig
CONCUR 2011 — Concurrency Theory [PDF ebook]
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Support

Cover of Joost-Pieter Katoen & Barbara Konig: CONCUR 2011 -- Concurrency Theory (PDF)

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, p-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

€57.77

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642232176 ● Editor Joost-Pieter Katoen & Barbara Konig ● Publisher Springer Berlin Heidelberg ● Published 2011 ● Downloadable 3 times ● Currency EUR ● ID 2247017 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Joost-Pieter Katoen Barbara Konig

74,541 Ebooks in this category

Cover of Mariusz Wrobel: Active Directory and PowerShell for Jobseekers

Mariusz Wrobel: Active Directory and PowerShell for Jobseekers

"Active Directory and Power Shell for Jobseekers" takes you by the hand, and equips you with essential skills sought after by employers in today’s IT landscape.This book walks you through e …

Cover of Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 5

Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 5

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – QR Code: Scan the QR Code given on each chapter to start chapter animation. – Fun Fact!: This pr …

Cover of Nidhi Arora: Trackpad Ver. 2.0 Class 6

Nidhi Arora: Trackpad Ver. 2.0 Class 6

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Cover of Nidhi Arora: Trackpad Ver. 1.0 Class 5

Nidhi Arora: Trackpad Ver. 1.0 Class 5

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Cover of Team Orange: TouchCode Class 1

Team Orange: TouchCode Class 1

An Activity Book to Develop Coding Skills KEY FEATURES – National Education Policy 2020 – Crack the Code: It includes fun-based adventurous activities. – Time Taken: It lets the child analyse how muc …

Cover of Nidhi Arora: Trackpad Pro Ver. 5.0 Class 2

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 2

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Cover of Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Cover of Wendy Despain: Writing for Video Game Genres

Wendy Despain: Writing for Video Game Genres

This book, written and edited by members of the International Game Developers Association (IGDA) Game Writing Special Interest Group, follows the acclaimed Professional Techniques for Video Game Writ …

Cover of Rollan Banez: Extending Creativity with Adobe Firefly

Rollan Banez: Extending Creativity with Adobe Firefly

<p><b>Learn how to use Generative AI to create images, add text and color effects, and perform image editing faster than ever with step-by-step guidance from a creative community leader a …

Cover of Robin Nixon: HTML5 and CSS3 Masterclass

Robin Nixon: HTML5 and CSS3 Masterclass

HTML5 and CSS3 Masterclass is an all-inclusive book that teaches and transforms you into a self-reliant web developer capable of creating your websites as soon as you finish reading the book. Every t …