Informatik (15 757 Artikel)

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in Ju...

Parallel execution of SQL queries against large databases offers a solution to the problem of reducing query response. This book addresses the related optimization problem: Given an SQL query, find...

In Computeranimation und virtueller Realität geht es neben optischer Darstellungsqualität auch darum, dynamische Änderungen (Bewegung, Verformung, etc.) realistisch wiederzugeben. Das Buch liefert ...

This book constitutes the strictly refereed post-workshop proceedings of the Second International Workshop on Database Issues for Data Visualization, held in conjunction with the IEEE Visualization...

A.- B.- C.- D.- E.- F.- G.- H.- I.- K.- L.- M.- N.- O.- P.- Q.- R.- S.- T.- U.- V.- W.- Z.

Das Werk erörtert konzeptionelle Grundlagen, konstruktive Maßnahmen sowie Nachweismöglichkeiten der Software-Zuverlässigkeit. Anhand von Tabellen und Checklisten kann der Benutzer die Betriebsbewäh...

In diesem Werk werden alle Aspekte der Sprache C++ behandelt, deshalb ist das Buch ebenso für Einsteiger, mit oder ohne Vorkenntnisse über eine andere Programmiersprache, als auch für Umsteiger von...

This thoroughly refereed and well organized collection of papers is largely based on papers originally presented at the IJCAI'95 Workshop on Fuzzy Logic in AI, held in Montreal, Canada, in August 1...

Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. Thes...

This book constitutes the strictly refereed post-conference proceedings of the International Symposium on Graph Drawing, GD'96, held in Berkeley, California, in September 1996.The 24 revised full p...

This book presents the refereed proceedings of the Second International Workshop on Constraint Database Systems, CDB '97, held in Delphi, Greece, in January 1997 together with some papers presented...

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program a...

Intelligent agents are computer systems that are capable of flexible autonomous action in dynamic, typically multi-agent domains. Over the past few years, the computer science community has begun t...

This book is aimed at students who need to learn the basics of programming or who are studying computing. It is a "hands on" book containing many examples which start by illustrating basic Oberon-2...

Dieses Buch gibt einen Überblick über objektorientierte Strukturen und Mechanismen und zeigt deren Realisierung in Smalltalk selbst und in Anwendungen durch Smalltalk. Es betont die Umsetzung konze...