Informatik (15 757 Artikel)

Small and medium enterprises (SMEs) in all industrial countries have a great need for technical and scientific data and product and market information. SMEs also produce useful information of mutua...

Die Datenmengen, die bei der Modellierung, der Simulation und der Überwachung von Umweltprozessen anfallen, sind heute schon so groß, daß sie nur noch mit Supercomputersystemen in verantwortbaren Z...

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range...

Ein zentraler Problemkreis der neueren KI-Forschung ist die Repräsentation des Gegenständlichen. Insbesondere stellt sich die Frage, wie räumliche Konstellationen zu repräsentieren und zu verarbeit...

1 Information und Nachricht.- 1.1 Nachricht und Information.- 1.2 Sinnesorgane.- 1.3 Nachrichtengerate und Nachrichtenübertragung.- 1.4 Digitale Nachrichten.- 1.5 Nachrichtenverarbeitung und Inform...

Dieser Band enthält alle Hauptvorträge des fünften Mannheimer Seminars über Supercomputer. Das als führende Veranstaltung zu dieser Thematik im deutschsprachigen Raum anerkannte Seminar versammelte...

This volume presents selected papers from KBCS '89, which is the second in a series of annual conferences hosted by the Knowledge Based Computer Systems Project funded by the Government of India wi...

1. Einleitung.- 2. Anforderungen und Ziele.- 3. Parallele Programmierung.- 3.1 Parallele Rechnerarchitekturen.- 3.2 Parallele Operationen.- 3.3 Parallelverarbeitung in bestehenden Programmiersprach...

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is p...

Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München en...

This volume is a collection of refereed papers presented during AUSCRYPT '90 held in Sydney, Australia, January 8-11, 1990. This was the first conference of a series sponsored by the International ...

In die fließen Beiträge zahlreicher Wissensgebiete aus Maschinenbau, Elektrotechnik und Informatik ein. In diesem Buch steht die Informationsverarbeitung im Vordergrund: Roboter in einer realen Umw...

This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extensi...

Heute entstehen zunehmend branchenübergreifende Projektgruppen, welche gemeinsame Lösungen für komplexe, technische Produkte erarbeiten. Dieses Buch trägt dazu bei, die grundlegenden Anforderungen ...

Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozeßdatenbanken, die ihre Eingabe über Sensoren erhalten, werd...