Informatik (15 757 Artikel)

Higher-Order Computability

This book is the first volume of a running series under the title Inter- tional Handbooks on Information Systems. The series is edited by Peter Bernus, Jacek Blazewicz, Günter Schmidt and Mike Shaw...

Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combinatorial issues originally studied in the conte...

Requirements engineering is the process of eliciting individual stakeholder requirements and needs and developing them into detailed, agreed requirements documented and specified in such a way that...

Lean Software Development in Action

Learning to Program Well with Objects and Contracts

Wireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks ...

Theory and Principled Methods for the Design of Metaheuristics

Building and Using Comparable Corpora

Aspect-Oriented Requirements Engineering

This book presents the first summary of the state of the art for SME. For academics, it provides a comprehensive conceptual framework and discusses new research areas. For lecturers, thanks to its ...

With this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce the reader to various facets of agent-oriented software engineering (AOSE). They provide a selected collec...

People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every wo...

Modeling Techniques, Analysis Methods, Case Studies

A Textbook