Electronic Books

Total Books: 1 - 20 /46

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 ...

CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...

CONCUR 2006 - Concurrency Theory

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...

CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

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. ...

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 ...

Computer Supported Cooperative Work in Design I

The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...

Computer Supported Cooperative Work in Design II

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...

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 ...

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 ...

Concurrency Theory

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...

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: ...

Cooperative Design, Visualization, and Engineering

The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...

Cooperative Design, Visualization, and Engineering

The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...

Cooperative Design, Visualization, and Engineering (vol. # 3675)

This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...

Coordination Models and Languages

he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...

Coordination Models and Languages

he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...

Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...

Data and Applications Security XXII : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings

This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...

Total Books: 1 - 20 /46