Informatik (15.755 Artikel)

8th International Congress, WITCOM 2019, Merida, Mexico, November 4-8, 2019, Proceedings

This book constitutes the thoroughly refereed proceedings of the 7th  International Congress on  Telematics and Computing, WITCOM 2018, held in  Mazatlán, Mexico in November 2018.The 23 full papers...

This book constitutes the thoroughly refereed proceedings of the 9th International Congress on  Telematics and Computing, WITCOM 2020, held in Puerto Vallarta, Mexico, in November 2020. Due to the ...

This book constitutes the proceedings of the 11th International Congress on Telematics and Computing, WITCOM 2022, held in Cancún, México, in November 2022. The 30 full papers presented in this vol...

This book constitutes the proceedings of the 12th International Congress on Telematics and Computing, WITCOM 2023, held in Puerto Vallarta, Mexico, in November 2023.  The 35 full papers presented i...

The semiotics of Charles S. Peirce is conceived as an essential part of a comprehensive philosophical outlook. The study of signs is carried on for its bearing on the knowledge of reality; therefor...

This book grew out of a Dagstuhl seminar organized by the volume editors in June 1997. After the seminar, submissions for this book were solicited both from and beyond the group of participants. A ...

"Temporal Information Processing Technology and Its Applications" systematically studies temporal information processing technology and its applications. The book covers following subjects: 1) time...

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago,...

Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expressive logic for a process algebra with silent actions.- Temporal logic with fixed points.- On the rel...

Logic and Programs.- Historical Remarks.- Some Concepts and Notions of Classical Logic.- I. Propositional Temporal Logic.- 1. A Language TTA of Propositional Temporal Logic.- 2. Semantics of TTA.- ...

Complex machines can fail in complex ways. Often the nature of the fault can be determined only through the interpretation of machine behavior over time. This book presents a novel approach to the ...

In this book the author presents ten key laws governing information security. He addresses topics such as attacks, vulnerabilities, threats, designing security, identifying key IP assets, authentic...

In this book the author presents ten key laws governing information security. He addresses topics such as attacks, vulnerabilities, threats, designing security, identifying key IP assets, authentic...

Formal Verification of an Optimizing Compiler.- Challenges in Satisfiability Modulo Theories.- On a Logical Foundation for Explicit Substitutions.- Intruders with Caps.- Tom: Piggybacking Rewriting...