Katalog der Deutschen Nationalbibliothek

Jahresbericht der Fakultät für Informatik und der mit ihr verbundenen Informatikeinrichtungen / Universität Karlsruhe (TH), Fakultät für Informatik. KIT, Karlsruher Institut für Technologie

Mobile und verteilte Systeme : ubiquitous computing

Teil 6. Seminar im WS 2008/09

Mobile und verteilte Systeme : ubiquitous computing

Teil 5. Seminar im WS 2007/08

Mobile und verteilte Systeme : ubiquitous computing

Teil 4. Seminar WS 2006/07

Veröffentlichungen und Vorträge / KIT, Karlsruher Institut für Technologie, Fakultät für Informatik : im Jahr ...

Zur Geschichte der Karlsruher Fakultät für Informatik

Mobile und verteilte Systeme : ubiquitous computing

Teil 3. Seminar WS 2005/06

Mobile und verteilte Systeme : ubiquitous computing

Teil 2. Seminar WS 2004/05

Mobile und verteilte Systeme : ubiquitous computing

Teil 1. Seminar WS 2003/04

Objekte in verteilten Systemen : Seminar

8. WS 92/93

Objekte in verteilten Systemen : Seminar

9. SS 93

Objekte in verteilten Systemen : Seminar

6. WS 91/92

Objekte in verteilten Systemen : Seminar

7. SS 92

Objekte in verteilten Systemen : Seminar

[3/4]. Seminare SS 90 und WS 90/91

Objekte in verteilten Systemen : Seminar

[5]. SS 91

Anwendungsunterstützung in heterogenen Rechnernetzen : Seminar SS 90

Objekte in verteilten Systemen : Seminar

Objekte in verteilten Systemen : Seminar

[1]. SS 89

KA-Prolog: Sprachdefinition

KA-Prolog: Sprachdefinition

Jahresbericht der Informatik an der Universität Karlsruhe

10-Jahrfeier [Zehn-Jahrfeier] der Fakultät für Informatik an der Universität Karlsruhe : 21./22. Oktober 1982

An estimation of the statistic time complexity of hereditary graph properties with an application to the vertex coloring problem

DANTE, ein semantisches Datenmodell für Anwendungen aus dem Konstruktionsbereich

Das erste Gate-Array-Labor 1982,83 : entworfene Schaltungen, Werkzeuge, Testüberlegungen, Ergebnisse

Datenhaltungssysteme in der Prozessdatenverarbeitung: ein Anforderungsprofil

Ein Basis-Datenmodell für eine Software-Produktionsumgebung in ADA : Ergebnisse e. Studie

Fehlermaskierung durch verteilte Entscheider-Systeme

Leistungsfähigkeit eines Mehrprozessorsystems mit Kreuzschienenverteiler und lokalen Pufferspeichern

Rekonfigurierung von hybridredundanten Mehrmikrorechnern

Solving a problem in relevance logic with an automated theorem prover

Some basic notions of first-order unification theory

Verschmelzen von Aktionen in Zerteilern

Zur Begriffsbildung bei der Beschreibung von Fehlertoleranz-Verfahren

"OCTOBOS" - Betriebssystem-Struktur

"OCTOBOS" - ein modulares Mikrorechnersystem für Datenkommunikationsanwendungen

"OCTOBOS" - Hardware-Struktur und -Konfigurationen

A code generator for ADA

A common platform for application systems and requirements engineering

A guided tour of the OSKAR architecture

A pragmatic module concept for Interlisp

A proof of Buchberger's lemma

A validated modeling system for simulative performance prediction of DECnet-based computer networks

CIL : e. Sprache zur Implementierung von Kommunikationsdiensten für verteilte Datenverarbeitungssysteme

Completeness and confluence properties of Kowalski's clause graph calculus

Das Laden und Entladen des Betriebssystems OSKAR

Database hosting in strongly typed programming languages

Die schnelle Fourier-Transformation auf einem Baumrechner

DSL, eine Sprache zur Spezifikation der Funktion digitaler Systeme : Konzept u. Implementierung

Eine Klasse von Warteschlangenmodellen zur Leistungsbewertung von Leitungsprotokollen

EPOS - ESPRESO - SARS : e. prakt. Vergleich

Introduction to tree computers : TC

Konfigurierung und Modellierung von Mehrmikrorechnern aus um Zuverlässigkeitsanforderungen erweiterten ADA-Programmen : Diplomarbeit

Mikrorechner ... : Komponenten, Architektur, Hilfsmittel, Auswirkungen

2. WS 81/82

On the number of relational operators necessary to compute certain functions of real variables

Parallelität im Betriebssystem OSKAR

Sorting and scheduling on a tree computer : TC

The complexity of the vertex coloring problem for some classes of graphs restricted by cycle properties

Time comparison of four implementations of the Knuth-Bendix completion procedure

Uniformly sparse random graphs