Electronic Books

Total Books: 1 - 20 /75
3D Manufacturing Innovation : Revolutionary Change in Japanese Manufacturing with Digital Data

3D Manufacturing Innovation introduces the best practices developed by Toyota, Sony, Nikon, Casio and other pioneers in the ...

Lee mas
Advanced Topics in Exception Handling Techniques

Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...

Lee mas
Advances in Cryptology - ASIACRYPT 2008 : 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology ...

Lee mas
NoIMG
Airport Building Information Modelling / Ozan Koseoglu, Yusuf Arayici

Details how Building Information Modelling is being successfully deployed in the planning, design, construction and future ...

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

Lee mas
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...

Lee mas
CONCUR 2005 - Concurrency Theory

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

Lee mas
CONCUR 2006 - Concurrency Theory

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

Lee mas
CONCUR 2007 – Concurrency Theory

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

Lee mas
CONCUR 2007 – Concurrency Theory

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

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

Lee mas
NoIMG
Complex Systems Concurrent Engineering

Concurrent engineering is well-established as an approach to engineer product parts. However, the concept has much broader ...

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

Lee mas
Computer Supported Cooperative Work in Design I

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

Lee mas
Computer Supported Cooperative Work in Design II

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

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

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

Lee mas
Concurrency Theory

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

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

Lee mas
Concurrent Zero-Knowledge

Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...

Lee mas
Total Books: 1 - 20 /75