Informatik und EDV

Graph Transformations and Model-Driven Engineering

Manfred Nagl has been a very active, productive researcher with great impact in a number of di?erent areas,e.g., graphtransformationsand their applications to a wide range of disciplines, software engineering environments, engineering...

106,99 € *

NEU

Graph-Theoretic Concepts in Computer Science

Invited Lectures.- Hypertree Decompositions: Structure, Algorithms, and Applications.- Combinatorial Search on Graphs Motivated by Bioinformatics Applications: A Brief Survey.- Regular Papers.- Domination Search on Graphs with Low...

53,49 € *

NEU

Graph-Theoretic Concepts in Computer Science

The 36th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2010) took place in Zar´ os, Crete, Greece, June 28-30, 2010. About 60 mathematicians and computer scientists from all over the world (Australia, Canada,...

53,49 € *

NEU

Grid-Based Problem Solving Environments

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science;...

106,99 € *

Guide to Wireless Sensor Networks

Overview and Goals Wireless communication technologies are undergoing rapid advancements. The last few years have experienced a steep growth in research in the area of wireless sensor networks (WSNs). In WSNs, communication takes place...

53,49 € *

NEU

Advances in Artificial Intelligence

AI2000 was the 13th in the series of biennial Arti cial Intelligence conf- ences sponsored by the Canadian Society for Computational Studies of Int- ligence/Soci et e canadienne pour l etude de l intelligence par ordinateur. For the rst...

53,49 € *

NEU

Theory of Program Structures

Program schemes - basic definitions and concepts.- Program schemes - basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.

24,60 € *

Component-Based Software Testing with UML

Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based...

53,49 € *

NEU

Efficient Structures for Geometric Data Management

The efficient management of geometric data, such as points, curves, or polyhedra in arbitrary dimensions, is of great importance in many complex database applications like CAD/CAM, robotics, or computer vision. To provide optimal support...

53,49 € *

NEU

Algebraic Semantics

1 - Introduction.- 2 - Magmas, algebras and trees.- 3 - Program schemes.- 4 - Semantics.- 5 - Classes of interpretations.- 6 - Program transformations.

21,39 € *

Übersetzerbau

Das Buch bietet eine kompakte Einführung in die Grundlagen und Techniken des Übersetzerbaus. Übersetzer transformieren Texte einer Quellsprache, deren Struktur durch eine formale Grammatik beschrieben ist, in eine Zielsprache. Die...

39,99 € *

UNIX

Das Buch gibt eine Einführung in das Betriebssystem UNIX und seine unterschiedlichen Varianten. Es wird dabei versucht, den Leser mit der Terminologie des Systems vertraut zu machen und die Konzepte von UNIX vorzustellen. Viele in der...

54,99 € *