Electronic Books

Total Books: 181 - 200 /409

Foundations of Software Science and Computational Structures (vol. # 3921)

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

From Data to Models and Back

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

Frontiers in Algorithmics : Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings

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

Frontiers in Hardware Security and Trust: Theory, design and practice

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

Frontiers of Combining Systems

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

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

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

Fundamental Approaches to Software Engineering

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

Fundamental Approaches to Software Engineering (vol. # 3922)

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

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

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

Fundamentals of Computation Theory

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

Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

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

Global Computing

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

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

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

Handbook of Biometrics

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

Handbook of Combinatorial Optimization

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

Handbook of Multibiometrics

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

Hardware Verification with C++

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

Hardware Verification with SystemVerilog

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

Hardware and Software, Verification and Testing

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

Hardware and Software, Verification and Testing

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