Informatik (15 757 Artikel)

The main objectives of this book are a) to provide a refe- rence book for teaching graduate and undergraduate students in control systems, distributedAI, computer integrated ma- nufacturing, AI in ...

InhaItsvereich.- 1. Einführung.- 2. Begriffe für die Buchstaben.- 3. Darstellung von Buchstaben.- 3.1 Sichtgeräte.- 3.2 Setzmaschinen.- 3.3 NC-Maschinen.- 4. Anforderungen des Satzes.- 4.1 Schrifta...

1. Einführung.- 2. Computer wie Du und ich.- Konkurrent des Designers.- Fleischwolf für Schriften.- Großtuerei.- Splines.- Big Brother.- Programmierer.- Maschinensteuerung.- Rechenkünste.- Kurzschl...

In a relational database the information is recorded as rows in tables. However, in many practical situations the available information is incomplete and the values for some columns are missing. Ye...

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent pro...

With the rapid growth of integration scale of VLSI chips and the present need for reliable computers in space exploration, fault diagnosis and fault toleran ce have become more important than befor...

This volume contains the proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science held in New Dehli, India December 17-19, 1991. Three invited p...

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentall...

Secure message transmission is of extreme importance in today's information-based society. Stream encryption is a practically important means to this end. This monograph is devoted to a new aspect ...

This volume contains selected papers presented at the "International Workshop on Computationally Intensive Methods in Simulation and Op th th timization" held from 23 to 25 August 1990 at the Inter...

A Rechnerintegrierte Produktionssysteme -- eine anwendungsorientierte Einführung.- 1 Grundlagen.- 2 Rechnergestützte Teilefertigung: Eine Fallstudie.- 3 Abgrenzung und Überblick.- B Basiskomponente...

This volume is the proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD). During the last decade, deductive and object-oriented systems have received ...

This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Inte...

This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken fr...

Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power ...