Electronic Books

Total Books: 3341 - 3360 /3570

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

To support application developers in the various tasks involved in this process, several different tools need to be at his ...

In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...

This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...

At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...

The world has entered a period of significant changes regarding the future of energy generation, mainly caused by the apparent ...

This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.

This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...

The selection of case studies presents LCM as a business management approach that can be used by all types of businesses ...

This research monograph proposes a unified, cross-fertilizing approach for knowledge-representation and modeling based on ...

The Project is a Residential Tower in the city of Damascus. It consisting of a shelter and twelve stories.

This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...

The authors investigate traffic-grooming problems in optical WDM mesh networks from various aspects. They cover static and ...

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...

Total Books: 3341 - 3360 /3570