Electronic Books

Total Books: 181 - 200 /409

This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...

This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...

The footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices ...

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...

This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...

This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...

This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...

This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...

This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...

The Handbook of Biometrics -- an edited volume by prominent invited researchers in biometrics -- describes the fundamentals ...

It presents chapters dealing with various aspects of the subject, including optimization problems and algorithmic approaches ...

Handbook of Multibiometrics, a professional book, introduces multibiometric systems, and demonstrates the noteworthy advantages ...

Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...

Total Books: 181 - 200 /409