Katalog der Deutschen Nationalbibliothek

Gesellschaftsbezogene Auswirkungen des Einsatzes von Informationstechnologien im Spiegel der Literatur

On how to construct efficiently parsable grammars

On the parsing of partitioned chain grammars

Partitioned chain grammars

Proceedings BTW 2011 : Workshops und Studierendenprogramm

Thomas S. Kuhn: the structure of scientific revolutions : zweisprachige Auszüge mit deutschem Kommentar

Forschungsbericht des Fachbereichs Informatik / Universität Kaiserslautern, Fachbereich Informatik

Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern

Lehr- und Forschungsbericht / Universität Kaiserslautern, Fachbereich Informatik

Studienführer Informatik / Universität Kaiserslautern, Fachbereich Informatik : ein Leitfaden für den Diplomstudiengang Informatik an der Universität Kaiserslautern

Zentrum Rechnergestützte Ingenieursysteme

SEKI working paper : SWP ; SEKI-Projekt

LISPLOG : Beiträge zur LISP/PROLOG-Vereinheitlichung

Jahresbericht / Universität Kaiserslautern, Fachbereich Informatik

An analytic model of transaction interference in database systems

Assoziative Prozessoren

Canonical term functors and parameterization-by-use for the specification of abstract data types

Eine algebraische Spezifikation des Software-Produkts INTAKT

Entwurf und Implementierung von CSSA : Beschreibung d. Sprache, d. Compilers u.d. Mehrrechnersimulationssystems

Teil A. Konzepte

Entwurf und Implementierung von CSSA : Beschreibung d. Sprache, d. Compilers u.d. Mehrrechnersimulationssystems

Teil B. CSSA-Sprachbeschreibung

Entwurf und Implementierung von CSSA : Beschreibung d. Sprache, d. Compilers u.d. Mehrrechnersimulationssystems

Teil C. CSSA-Systembenutzung

Entwurf und Implementierung von CSSA : Beschreibung d. Sprache, d. Compilers u.d. Mehrrechnersimulationssystems

Teil D. CSSA-Programmbeispiele

Entwurf und Implementierung von CSSA : Beschreibung d. Sprache, d. Compilers u.d. Mehrrechnersimulationssystems

Teil E. Programmdokumentation. 1

Entwurf und Implementierung von CSSA : Beschreibung d. Sprache, d. Compilers u.d. Mehrrechnersimulationssystems

Teil E. Programmdokumentation. 2

From pattern-directed to adapter-driven computation via function-applying matching

Gesellschaftsbezogene Auswirkungen des Einsatzes von Informationstechnologien im Spiegel der Literatur

Konstruktion und Bau eines Schrittmotorantriebs zur Steuerung der "Micro Mouse Speedy Gonsales"

LISP-SP : a portable INTERLISP subset interpreter for mini computers

MED 1 : e. heurist. Diagnosesystem mit effizienter Kontrollstruktur

Methoden, Sprachen und Werkzeuge zur Software-Spezifikation : e. Übersicht ; [überarb. Fassung e. Beitr. zur 54. Tagung d. Schweizer. Ges. für Automatik (SGA) zum Thema Spezifikation von Realzeit-Systemen, Konzepte, Lösungen, Erfahrungen]

MODIS : e. Expertensystem zur Erstellung von Reparaturdiagnosen für d. Ottomotor u. seine Aggregate

Möglichkeiten und Verfahren zur schnellen Datenbank recovery bei einzelnen zerstörten Datenbankblöcken

Overview on MED 1 : an heuristic diagnostics system with an efficient control-structure

PAPI : e. Programm zur Auswertung von Pfadlängenmessungen in Softwaresystemen

Parameterization without parameters in: The history of a hierarchy of specifications

Praktikum übersetzererzeugende Systeme : WS 82/83

Programming in a distributed environment : a collection of CSSA examples

Schnelle Recovery-Algorithmen für Datenbanksysteme

Teil 1. Konzepte und Fallunterscheidungen

Spezifikation und abstrakte Implementierung des Aufbereitungsteils von INTAKT

Another error recovery algorithm for LR parsers

Attribute evaluation after recovery from syntax error

Automatic design of the internal schema for a CODASYL-database system

Backus-FP : e. funktionales Programmiersystem

Database systems for non-standard applications

Die "neue Mikroelektronik" in der Informatik: Voraussetzungen und Auswirkungen

Encoding complexities in decision problems of finitely presented combinatorial systems

Finitely generated derivation bounded presentations of groups

Invarianz der LR(k)-Eigenschaft beim Einfügen von ε-Nichtterminalen [Epsilon-Nichtterminalen]

KARL-II : e. Sprache zur Spezifikation beim Entwurf Kunden-spezif. Digitalbausteine

Kontext-freie Sprachen und Transduktionen über abzählbar-unendlichen Alphabeten

Modelle für die Leistungsanalyse von Hashtabellen mit "separate chaining"

PASCAL-SC : Bedienungsanleitung, Sprachbeschreibung u. Programmieranleitung

Performance analysis of recovery techniques

Principles of database buffer management

Principles of transaction oriented database recovery : a taxonomy

Cassandra : e. System zur Leistungsvorhersage bei Datenbanksystemen mit Hilfe analyt. Modelle

Compilerbau-Praktikum : WS 80/81, Univ. Kaiserslautern

Derivation-bounded groups

Die Hardwarebeschreibungssprache Karl II [zwei] : Sprachbeschreibung

Ein Werkzeug zum Entwerfen von Software für verteilte Systeme