Вы здесь

Главная

Univ. Kaiserslautern

Связанные издания:

Die Abbildung der konkurrenten Sprache LADY nach sequentiellem PASCAL
Die Hardwarebeschreibungssprache KARL II. Sprachbeschreibung
Die "Neue Mikroelektronik" in der Informatik: Voraussetzungen und Auswirkungen
DIE realisierung des ESRA-Rechnernetz-Baukaster Systems: ein Ansatz zu einer Methodologie fur zuverlassige Software
DISTOS - eine Konstruktionsmethodik fur verteilte Betriebssysteme- (Projektabschlusbericht)
Distributed Constraint Propagation: A Case Study
Distributed Termination Detection with Sticky State Indicators
Divergence Phenomena during Completion
EDIF: Device Modeling and Verification Technical Subcommittee. Device Descriptions. EDIF Version 205 Proposal No.DM&V-3 Version 1.0
EDIF notation for layout/circuit relations
Eine Algebraische Spezifikation des Software-Produkts INTAKT
Ein Editor Fuer Unparsing Schemes
Eine E-Frattini-Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe
Eine objekt-orientierte Sprache fur die Modellierung von Software-Prozessen
Eine Ubersicht uber die Lastverteilung in verteilten Systemen
Einfuhrung in die Markgraf Karl Refutation Procedure
Ein interaktives und syntaxorientiertes Eingabesystem fur algebraische Spezifikationen. Band I
Ein interaktives und Syntaxorientiertes Eingabesystem fur Algebraische und Algorithmische Spezifikationen
Ein mathematisches Modell fur ereignisgesteuerte Simulation
Ein Modell zur entwurfsbegleitenden hierarchischen Behandlung des Zeitverhaltens beim physikalischen VLSI-Entwurf
Ein objektorientiertes Metamodell fur die Software-Entwicklung
Ein Precompiler fur ModPascal
Ein Report-Generator fur eine Softwareentwicklungsumgebung
EIN SC/MP MULTI-MIKRORECHNER-SYSTEM ZUR STRASSENVERKEHRS-DATENERFASSUNG
Ein UND-paralleles Ausfuhrungsmodell fur logische Programme
EITeL- ein intervallbasierter temporallogischer Ansatz
Elimination of Redundancies in Clause Sets and Clause Graphs
Elimination von Rekursionen
Enriching Software Process Support by Knowledge-based Techniques
Entwickluna eines Mikrorechners zur Steuerung eines autarken Ladyrinthroboters
Entwicklung grosser Systeme mit generischen Methoden. Finanzierungsantrag 1995-1996-1997.
Entwicklung und Implementierung eines abstrakten Datentyps fur geordnete Baume am Beispiel eines abstrakten Programmbaums
Entwurf und Implementierung eines Grafik-Compilers mit Layout-Ausgabe als Software-Bausteine eines CAD-Systems fur den LSI-/VLSI-Entwurf auf RT-Ebene
Entwurf und Implementierung von CSSA..: Teil A: Konzepte
Entwurf und Implementierung von CSSA.. Teil B: CSSA-Sprachbeschreibung
Entwurf und Implementierung von CSSA.. Teil C: CSSA-Systembenutzung
Entwurf und Implementierung von CSSA.. Teil D: CSSA-Programmbeispiele
Entwurf und Implementierung von CSSA.. Teil E II: Programmdokumentation
Entwurf und Implementierung von CSSA.. Teil E I: Programmdokumentation
Entwurf von Algorithmen fur parallele Verarbeitung in Nested Interpolation-Based Grid Files mit Zweischichtigen Directories
Evaluation of a multiple version scheme for concurrency control
Ext. Abstracts of the 1st German Workshop Term Rewriting: Theory and Applications
Fault-Tolerance Aspects of Distributed Computer Systems
Finite complete rewriting systems and the complexity of the word problem
FIT-PROLOG: a functional/relational language comparison
From pattern-directed to adapter-driven computation via function-applying matching
Functional and implementational aspects of transaction-processing monitors
Gauss Frame Offsets
GIPSY - Ein Generator fur interaktive Programmiersysteme
Groups presented by finite two-monadic Church-Rosser Thue systems