Buecher-Lounge.de

Discusses the deep connections between logic and complexity theory, …

1. Introduction; 2. Preliminaries; 3. Basic complexity theory; 4. Basic propositional logic; 5. Basic bounded arithmetic; 6. Definability of computations; 7. Witnessing theorems; 8. Definability and …

geschrieben von Jan Krajicek (Autor) und G. -C Rota (Herausgeber) und B. Doran (Herausgeber)

WILLIAM J. COOK is a professor in the Department of Computational and Applied Mathematics at Rice University. WILLIAM H. CUNNINGHAM is a professor in the Department of Combinatorics and Optimization …

A complete, highly accessible introduction to one of today's most exciting areas of applied mathematicsOne of the youngest, most vital areas of applied mathematics, combinatorial optimization …

Problems and Algorithms.Optimal Trees and Paths.Maximum Flow Problems.Minimum-Cost Flow Problems.Optimal Matchings.Integrality of Polyhedra.The Traveling Salesman Problem.Matroids.NP and …

geschrieben von William Cook (Autor) und William H. Cunningham (Autor) und William R. Pulleyblank (Autor)

Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and …

geschrieben von Tom Wagner (Herausgeber) und Omer F. Rana (Herausgeber)

(Kehl-Verlag)

geschrieben von Arnulf Mester (Autor)

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial …

Introduction.- Interchangeability and Solution Adaptation in Crisp CSPs.- Interchangeability in Soft CSPs.- Multi Agent Computation of Interchangeability in Distributed CSPs.- Interchangeability in …

geschrieben von Nicoleta Neagu (Autor)

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of …

Part I Specifying Timed Systems and Their Properties.- Petri Nets with Time.- Timed Automata.- From Time Petri Nets to Timed Automata.- Main Formalisms for Expressing Temporal Properties.- Part II …

geschrieben von Wojciech Penczek (Autor) und Agata Pólrola (Autor)

The aim of this comprehensive encyclopedia is to provide detailed information on diagnostic radiology contributing to the broad field of imaging. The wide range of entries in the Encyclopedia of …

Entries A to Z covering the following items: 1. Molecular imaging.- 2. Contrast media iodinated barium magnetic resonance ultrasound.- 3. Nuclear medicine.- 4. Pathology.- 5. Infectious diseases.- …

Title is also available as part of a set: Encyclopedia of …

geschrieben von

:Prof. Dr. Knut Hildebrand, Hochschullehrer für Wirtschaftsinformatik an der Hochschule Darmstadt, Mitglied der DGIQ, Gründungsmitglied des European Institute for Data and Information …

:Das derzeit erste deutsche Buch zum Thema Daten- und Informationsqualität, wissenschaftlich fundiert und von Praktikern geschrieben. Es wird der aktuelle Stand aus Forschung und praktischer …

Informationsqualität - Grundlagen - Methoden - Techniken - …

geschrieben von Knut Hildebrand (Herausgeber) und Marcus Gebauer (Herausgeber) und Holger Hinrichs (Herausgeber) und Michael Mielke (Herausgeber)

Martin Schlager received a master degree in computer sciences and a doctoral degree in technical sciences, both from the Vienna University of Technology. He is affiliated with TTTech Computertechnik …

Safety-critical real-time systems must guarantee correct operation in all operational conditions - even if these conditions are very unlikely to occur (rare events). Hardware-in-the-Loop (HiL) …

geschrieben von Martin Schlager (Autor)

Dieses Buch führt kompakt in einige Kerngebiete der Diskreten Mathematik ein. Es behandelt grundlegende Konzepte aus der Kombinatorik und der Graphentheorie. Darüber hinaus fokussiert es …

geschrieben von Anusch Taraz (Autor)