Informatik (15.755 Artikel)

The first section of this book addresses the evolution of CISO (chief information security officer) leadership, with the most mature CISOs combining strong business and technical leadership skills....

Decision Procedures with Applications to Verification

The general idea that brains anticipate the future, that they engage in prediction, and that one means of doing this is through some sort of inner model that can be run of?ine,hasalonghistory. Some...

Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

CoCoTA - Common Component Task.- CoCoME - The Common Component Modeling Example.- Modeling Components and Component-Based Systems in KobrA.- A Rich Services Approach to CoCoME.- Modelling with Rela...

From Design Principles to Formal Verification

From Design Principles to Formal Verification

This textbook was developed at the University of Rochester in courses given to graduate students and advanced undergraduates. Researchers also will find this book a valuable source of reference due...

The Complexity of Valued Constraint Satisfaction Problems

The Complexity of Valued Constraint Satisfaction Problems

A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logi...

1 Ancestors and parents -- Early childhood memories -- School days -- Metropolis -- Abitur.- 2 Studies (not without detours and by-ways) and general studies -- First inventions -- The Akademischer ...

1 Ancestors and parents -- Early childhood memories -- School days -- Metropolis -- Abitur.- 2 Studies (not without detours and by-ways) and general studies -- First inventions -- The Akademischer ...

Computers are gradually infiltrating all stages of the writing process. Increasingly, teachers, writers, students, software developers, technical authors, and computer scientists need to learn more...

1 An introduction to the PC.- 2 Handling legal information.- 3 Primary legal information.- 4 The legal information marketplace.- 5 Technology and the criminal justice system.- 6 Management: the law...