3D Manufacturing Innovation introduces the best practices developed by Toyota, Sony, Nikon, Casio and other pioneers in the ...
Lire la suiteModern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology ...
Lire la suiteDetails how Building Information Modelling is being successfully deployed in the planning, design, construction and future ...
Lire la suiteThis volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Lire la suiteThis book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Lire la suiteThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lire la suiteThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
Lire la suiteConcurrent engineering is well-established as an approach to engineer product parts. However, the concept has much broader ...
Lire la suitepresent CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
Lire la suiteThe design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Lire la suiteThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lire la suiteThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lire la suiteConcurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Lire la suiteThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lire la suiteZero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...
Lire la suite