Electronic Books

Total Books: 1021 - 1040 /9103

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

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

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

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

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

It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...

This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...

Searching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate ...

Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...

Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, ...

This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

The Second IFIP Workshop on Autonomic Communication (WAC 2005) took place on October 2–5, 2005, IFIP TC6 provided scientific ...

th This volume presents the proceedings of the 9 IFIP/IEEE International Conference on Management of Multimedia and Mobile ...

th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), ...

This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ...

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...

Total Books: 1021 - 1040 /9103