132 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 1
zu den Filteroptionen132 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
1
A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Jg. 1990, S. 1-10
Simulating binary trees on x-trees
In: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures / Symposium on Parallel Algorithms and Architectures <3, 1991, Hilton Head Island, SC>, S. 147-158
Simulating probabilistic by deterministic algebraic computation trees
In: Theoretical Computer Science, Jg. 1985, S. 325-330
Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen
In: Fachgespräche auf der 14. GI-Jahrestagung, Jg. 1984, S. 28-36
Sind Computer lebendig?
Eine kritische LiteraturuntersuchungIn: Computer-Magazin, Jg. 3.1986, S. 63-64
Software-Entwicklung als Lernprozeß
In: Arbeitsrecht im Betrieb, Jg. 1993, S. 507-514
Softwaretechnik
Defizite und Chancen aus BenutzersichtIn: Software : Schnittstelle zwischen Mensch und Maschine (Informations- und Kommunikationstechnik : 1), Jg. 1989, S. 89-104
Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Jg. 3.1993 Poster session, 267 Seiten
Speeding up random access machines by few processors
In: STACS 1986, Jg. 1986, S. 142-152
Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294
Supporting participative systems development by task-oriented requirements analysis
In: SYSTEM DESIGN for Human Development and Productivity: Participation and Beyond, Jg. 1987, S. 113-124
Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Jg. 1992, S. 303-334
System level design
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 109-151
System level simulation concepts
In: Modelling and Simulation: proceedings of the 1990 European Simulation Multiconference, June 10-13, Jg. 1990, S. 717-722
Systematische Analyse semantischer Abhängigkeiten
In: Programmiersprachen / Fachtagung über Programmiersprachen, Jg. 4, S. 19-32
Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe
In: Architektur und Betrieb von Rechensystemen, Jg. 9.1986, S. 44-55
Systemgestaltung mit Aufgabennetzen
In: Aufgabenorientierte Systemgestaltung und Funktionalität (Software-Ergonomie ... : '89), Jg. 1989, S. 123-133
Ein theoretisches Modell des Zeitverhaltens digitaler Schaltungen und seiner Anwendung in Simulationshard- und -software
In: Software Tagungsband NTG-Fachtagung Entwurfsautomatisierung für Datenverarbeitungsanlagen und deren Komponenten, Karlsruhe, 25, Jg. 1974, S. 65-68
Time-processor trade-offs for universal parallel computers
In: Mathematical foundations of computer science. 1975 : trbské Pleso, Czechoslovakia, August 31 - September 4, 1981 (Lecture notes in computer science : 118), Jg. 1981, S. 433-441
A tool kit for knowledge based production planning systems
In: Database and expert systems applications, Jg. 1990, S. 84-89
