Applications and Theory of Petri Nets 2005
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Lire la suite
Blockchain and Crypto Currency Building a High Quality Marketplace for Crypto Data
This book contributes to the creation of a cyber ecosystem supported by blockchain technology in which technology and people ...
Lire la suite
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lire la suite
CONCUR 2006 - Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lire la suite
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
Challenges for Central Banks in an Enlarged EMU
In this book, a set of internationally renowned economists from both sides of the Atlantic analyse the challenges that lie ...
Lire la suite
Communicating Sequential Processes. The First 25 Years
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
Lire la suite
Computational Methods in Systems Biology (vol. # 3082)
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
Lire la suite
Computer Supported Cooperative Work in Design I
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Lire la suite
Computer Supported Cooperative Work in Design II
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Lire la suite
Computer Supported Cooperative Work in Design III
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lire la suite
Computer Supported Cooperative Work in Design III
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lire la suite
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Lire la suite
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lire la suite
Cooperative Design, Visualization, and Engineering
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...
Lire la suite
Cooperative Design, Visualization, and Engineering
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...
Lire la suite
Cooperative Design, Visualization, and Engineering (vol. # 3675)
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...
Lire la suite
Coordination Models and Languages
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suite
Coordination Models and Languages
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suite
