Electronic Books

Total Books: 661 - 680 /5423

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

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

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

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

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

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

Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...

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

This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...

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

The autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly ...

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

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

This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable ...

Total Books: 661 - 680 /5423