Informatik (15 755 Artikel)

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 64...

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary...

This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SO...

This book constitutes the refereed proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG '95, held in Aachen, Germany, in June 1995. The WG workshop ser...

This book is devoted to the development of adequate spatial representations for robot motion planning. Drawing upon advanced heuristic techniques from AI and computational geometry, the authors int...

1 Einleitung.- 2 Grundlagen der Signal-und Systemtheorie.- 2.1 Determinierte Signale.- 2.2 Zufallssignale.- 2.3 Die wichtigsten Gesetze der Theorie der Übertragungssysteme.- 3 Modulationsarten und ...

This manual documents the outcome of the EC sponsored project RACE Integrity Primitives Evaluation (R1040), RIPE. This project is a huge joint 350 man-month project conducted by 16 leading European...

This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions.This monograph investigates the problem o...

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundame...

Das Buch behandelt die heutige roboterorientierte Programmierung mit Roboterprogrammiersprachen und stellt wichtige Konzepte der zukünftigen aufgabenorientierten Programmierung intelligenter Robote...

1 Grundlagen.- 1.1 Verkehrstheoretische Modellbildung.- 1.2 Grundbegriffe der Wahrscheinlichkeitstheorie.- 1.3 Transformationsmethoden und wichtige Verteilungen.- Literatur zu Kapitel 1.- Übungsauf...

Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber für alle an der algorithmischen...

ATM und 'seine' Anwendungen.- ATM und Realzeit.- Wieviel Echtzeit braucht der Rundfunk?.- Ausbildung.- Eine grafische Entwurfsoberfläche zur Feinplanung von Echtzeitprogrammen in der Ausbildung von...

This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995.The 29 fully revised papers presented were s...

Fuzzy controllers are a class of knowledge based controllers using artificial intelligence techniques with origins in fuzzy logic. They can be found either as stand-alone control elements or as int...