Informatik (15.755 Artikel)

This volume constitutes the refereed proceedings of the Third International Conference on The Future of Heritage Science and Technologies, Florence Heri-Tech 2022, held in Florence, Italy, in  May ...

This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent ...

This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent ...

This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It g...

This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It g...

This book, edited by four of the leaders of the National Science Foundation's Global Environment and Network Innovations (GENI) project, gives the reader a tour of the history, architecture, future...

The Geometry of Imprecise Probabilities

The Geometry of Imprecise Probabilities

The Global Cyber-Vulnerability Report

The Global Cyber-Vulnerability Report

The Hash Function BLAKE

The Hash Function BLAKE

Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?

Wie eine Kultur der Cyber-Sicherheit geschaffen wird

1. Language, logical foundation, verification.- 2. System supports for modular programming.- 3. Strategies and techniques for interactive proof.- 4. Supports for building modules, modulebase.- 5. L...