Electronic Books

Total Books: 61 - 80 /409

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

B 2007: Formal Specification and Development in B

These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...

Bayesian Networks and Influence Diagrams : A Guide to Construction and Analysis

Probabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...

Bioinformatics : Problem Solving Paradigms

This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...

Biometrics and Identity Management : First European Workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008. Revised Selected Papers

This volume constitutes the post-conference proceedings of the First European Workshop on Biometrics and Identity Management, ...

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

CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...

Central European Functional Programming School

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...

Compiler Construction (vol. # 3443)

"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European ...

Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...

Complex Computing-Networks

This book uniquely combines new advances in the electromagnetic and the circuits&systems theory. It integrates both fields ...

Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

Component-Based Software Engineering

Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...

Total Books: 61 - 80 /409