Вы здесь

Главная

Univ. Kaiserslautern

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

Heuristiken zum objektorientierten Programmentwurf
HL - View. Programmierumgebung fur eine Benutzerschnittstelle
How To Assess a Software Process Modeling Formalism From a Project Member`s Point of View
IGSIC - Interaktiver Graphischer Silicon Compiler. Kurzbeschreibung
IGSIC Interaktiver Graphischer Silicon Compiler. Kurzbeschreibung
Implementation Specifications
Implementierungstechniken fur Monitore
Inductive Theorem Proving Using Refined Unfailing Completion Techniques
Innovative Schaltunstechnik statt Software- SHUFFLE SORT: VLSI-Beispiel eines Sortierers
International Software Engineering Research Network (ISERN)
Interval Weighted Tau-Splines
Invarianz der LR(k)-Eigenschaft beim Einfugen von epsilon-Nichtterminalen
Ionenbeschussinduzierte Effekte bei der Sputtertiefenprofilierung von Ta/Si-Vielschichtsystemen
It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent Thue system is torsion-free
Jahresbericht des Informatik Rechenzentrums
Kaiserslautern s CAD Activities within the CVT Project
KARL: A Hardware Description Language as Part of a CAD Toll for VLSI
KARL-II eine Sprache zur Spezifikation beim Entwurf Kunden-spezifischer Digitalbausteine
KARL-related Literature. ABAKUS
KL-DNMS Ein System zur Verwaltung nicht-monotoner Abhaengigkeitsnetze
KL / P Architektur-Handbuch
Knowledge Acquisition in the Domain of CNC Machining Centers: The MOLTKE Approach
Kommunikation in verteilten Betriebssystemen
Kommunikationskomponente fur eine dezentrale Software-Etwicklungsumgebung
Konstruktion und Bau eines Schrittmotorantriebs zur Steuerung der "Micro Mouse Speedy Gonsales"
Kontext-freie Sprachen und Transduktionen uber abzahlbar-unendlichen Alphabeten
Konzeption und Implementierung einer Entwicklungsumgebung fur Objektorientierte Programmiersprachen
Konzeption und Implementierung eines Window-Handlers fur CADMUS PCS
Korrecturlose Fehlerbehandlung von Programmiersprachen. Zur Performanz automatisch generierbarer Syntaxchecker auf der Basis von Token-Nachbarschaftsrelationen
Kurven-und Flachen-Verschneidungsmethoden
Leistungsanalyse und Vorhersage des Betriebsverhal tens beim Datenbanksystem UDS
LISP-SP: A Portable INTERLISP Subset Interpreter for Mini-Computers
Load control and load balancing in a shared database management system
Loosely coupled Micros - Distributed Function Architectures: a Design kit and Development Tool
LSI Chip Design from Evolution to Revolution
LSI Chip Design: from Evolution to Revolution
Manual of FranzScheme
MED 1. Ein heuristisches Diagnosesystem mit effizienter Kontrollstruktur
mmf, ein makefile-generator
Model based Knowledge Acquisition from Structure Descriptions in a Technical Diagnosis Domain
Modelle fur die Leistungsanalyse von Hashtabellen mit "Separate Chaining"
Modellierung von FRAME-Konzepten mit dem MAD-Modell
M O D I S Ein Expertensystem zur Erstellung von Reparaturdiagnosen fur den Ottomotor und seine Aggregate
ModPascal Report
Modula2C. Ein Ubersetzer von MODULA-2 nach C
Modula 7/32: a version of MODULA for the INTERDATA 7/32
Moglichkeiten eines Immissionsdatenverbundes in Osterreich
Moglichkeiten und Verfahren zur schnellen Datenbank-Recovery bei einzelnen zerstorten Datenbankblocken
MOM-MAP oriented innovative computing architecture
MVL-L Languages Report