Related Books

Process Algebra and Probabilistic Methods
Language: en
Pages: 240

Process Algebra and Probabilistic Methods

Authors:
Categories: Machine theory
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

Principles of Verification: Cycling the Probabilistic Landscape
Language: en
Pages: 405

Principles of Verification: Cycling the Probabilistic Landscape

Authors: Nils Jansen
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Process Algebra and Probabilistic Methods: Performance Modelling and Verification
Language: en
Pages: 215

Process Algebra and Probabilistic Methods: Performance Modelling and Verification

Authors: Luca de Alfaro
Categories:
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

Current Trends in Theoretical Computer Science
Language: en
Pages: 1319

Current Trends in Theoretical Computer Science

Authors: Gheorghe P?un
Categories: Computers
Type: BOOK - Published: 2004 - Publisher: World Scientific

DOWNLOAD EBOOK

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 200
Current Trends In Theoretical Computer Science: The Challenge Of The New Century; Vol 1: Algorithms And Complexity; Vol 2: Formal Models And Semantics
Language: en
Pages: 1319

Current Trends In Theoretical Computer Science: The Challenge Of The New Century; Vol 1: Algorithms And Complexity; Vol 2: Formal Models And Semantics

Authors: Grzegorz Rozenberg
Categories: Computers
Type: BOOK - Published: 2004-04-19 - Publisher: World Scientific

DOWNLOAD EBOOK

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 200