> Verlagsreihe
-
94,3:
Specification and verification of distributed technical systems with central control Gerhard Schellhorn
Karlsruhe: Univ., Fak. für Informatik, 1994
-
94,2:
Translating E-,R-diagrams into consistent database specifications Thomas Fuchß
Karlsruhe: Univ., Fak. für Informatik, 1994
-
94,14:
A verification concept for SDL systems and its application to the Abracadabra Protocol Markus Rinderspacher
Karlsruhe: Univ., Fak. für Informatik, [1994]
-
93,5:
A semantic approach to order sorted rewriting Andreas Werner. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1994
-
94,5:
Mapping large scale FEM graphs to highly parallel computers with grid-like topology by self-organization Marcus Dormanns; Hans-Ulrich Heiss
Karlsruhe: Univ., Fak. für Informatik, 1994
-
94,10:
Latency hiding in parallel systems a quantitative approach Thomas M. Warschko; Christian G. Herter; Walter F. Tichy
Karlsruhe: Univ., Fak. für Informatik, 1994
-
94,12:
Analysis of random polling dynamic load balancing Peter Sanders
Karlsruhe: Univ., Fak. für Informatik, 1994
-
94,4:
CuPit - a parallel language for neural algorithms language reference and tutorial Lutz Prechelt
Karlsruhe: Univ., Fak. für Informatik, 1994
-
93,24:
Objekte in verteilten Systemen 9 Seminar SS 93 / Hans-Werner Gellersen ... [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,15:
Objekte in verteilten Systemen 8 Seminar WS 92/93 / Christian Zeidler .. [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,11:
Netzwerk-Management und Hochgeschwindigkeits-Kommunikation 7 Seminare WS 1992/93 / Georg Carle ... [Universität Karlsruhe, Fakultät für Informatik]. Martina Zitterbart
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,19:
DCE - OSF distributed computing environment client/server model and beyond; industry proceedings International Workshop October 7 - 8, 1993, University of Karlsruhe, Germany. A. Schill, ed
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, Institut für Telematik, 1993
-
93,4:
Mechanismen für fehlertolerante, verteilte Systeme Seminar WS 1992/93 Universität Karlsruhe, Fakultät für Informatik, Institut für Telematik. Alexander Schill
Karlsruhe: Inst. für Telematik, 1993
-
93,2:
Temporal logic programming with metric and past operators based on constraint logic programming Christoph Brzoska. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,13:
Synchronization barrier elimination in synchronous FORALLs Ernst A. Heinz; Michael Philippsen. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,17:
Task assignment by self-organizing maps Hans-Ulrich Heiss; Marcus Dormanns. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,7:
A simple algebraic language with tests and ordered sorts (SALTO) language definition & operational semantics Michael Gollner
Karlsruhe: Sonderforschungsbereich 314, 1993
-
93,8:
A brief introduction to the WAVE language Peter S. Sapaty. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,9:
LIMETTE logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual C. Brzoska and K. Schäfer
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,25:
A scalable opto-electronic CRCW shared memory Paul Lucowicz; Walter F. Tichy. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,26:
A verified access control model Kurt Stenzel
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,22:
Narrowing strategies for arbitrary canonical rewrite systems Alexander Bockmayr; Stefan Krischer; Andreas Werner
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,23:
IIFS and codes (extended version) Henning Fernau
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,20:
Improved test generation for multiple faults in programmable logic arrays Yongzhang Chen. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,14:
Compiling machine independent parallel programs Michael Philippsen; Ernst A. Heinz; Paul Lukowicz
Karlsruhe: Univ., Fakultät für Informatik, 1993
-
93,21:
Netzwerk-Management und Hochgeschwindigkeits-Kommunikation 8 Seminar SS 1993 / Georg Carle .. [Universität Karlsruhe, Fakultät für Informatik]. Martina Zitterbart
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,6:
How to realize LSE narrowing Andreas Werner; Alexander Bockmayr; Stefan Krischer. [Universität Karlsruhe, Fakultät für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,16:
Comparison of MasPar MP-1 and MP-2 communication operations Lutz Prechelt. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,1:
Measurements of MasPar MP-1216A communication operations Lutz Prechelt. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,12:
Zwei Beschreibungsformen für nebenläufige Systeme und ihre Transformation Markus Rinderspacher. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1993
-
93,3:
Abschlußbericht zur Sprache KANN (KArlsruher Normal-Narrowing) Michael Gollner; Wolfgang Barheine
Karlsruhe: Sonderforschungsbereich 314, 1993
-
93,18:
Models for chemosensory receptors an approach using artificial neural networks Rainer Malaka and Thomas Ragg. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe
Karlsruhe: Inst. für Logik, Komplexität und Deduktionssysteme, [1993]
-
92,5:
Distributed load balancing using a physical analogy Hans-Ulrich Heiss; Michael Schmitz
Karlsruhe: Fak. für Informatik, Univ., 1992
-
92,2:
The SIS project: software reuse with a natural language approach Lutz Prechelt
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,21:
From Modula-2* to efficient parallel code Walter F. Tichy
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,17:
The WAVE paradigm Peter S. Sapaty
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,13:
Netzwerk-Management und Hochgeschwindigkeits-Kommunikation 5 Seminar WS 1991/92 / Torsten Braun ... [Universität Karlsruhe, Fakultät für Informatik]. Martina Zitterbart
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,7:
Objekte in verteilten Systemen 6 Seminar WS 91/92 / Wolfgang Gerteis ... [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,6:
Clustering in object bases Carsten Gerlhof
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,16:
Objekte in verteilten Systemen 7 Seminar SS 92 / Christian Zeidler .. [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,8:
Workshop Theorem Proving with Analytic Tableaux and Related Methods March 18 - 20, 1992 in Lautenbach Bertram Fronhöfer ... Institut für Logik, Komplexität und Deduktionssysteme, University of Karlsruhe
Karlsruhe: Institut für Logik, Komplexität und Deduktionssysteme, 1992
-
92,15:
Fehlertoleranz in verteilten Systemen Seminar SS 1992 Alexander Schill
Karlsruhe: Inst. für Telematik, Univ., 1992
-
92,22:
Netzwerk-Management und Hochgeschwindigkeits-Kommunikation 6 Seminar SS 1992 / Torsten Braun .. [Universität Karlsruhe, Fakultät für Informatik]. Martina Zitterbart
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,26:
Reuse of proofs in software verification [preliminary version] Wolfgang Reif; Kurt Stenzel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, 1992
-
92,27:
PRAM-Simulationen Wolf Zimmermann
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,14:
Prozeßsignalisierungen statt Unterbrechungen Uwe Krüger; Jürgen Gittinger
Karlsruhe: Institut für Betriebs- und Dialogsysteme, Universität Karlsruhe, 1992
-
92,20:
Processor management in two-dimensional grid architectures Hans-Ulrich Heiss
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,11:
A robust and efficient triangulation algorithm for contours on parallel planes A. Klingert; W. Straub
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,30:
Proposal for changes on the SNMPv2 drafts SNMPv2 Working Group. K. Becker
Karlsruhe: Fakultät für Informatik, Universität, 1992
-
92,10:
The implementation of logical functional languages (extended abstracts of the 1st German workshop) Michael Gollner (ed.)
Karlsruhe: Fakultät für Informatik, Universität, 1992
-
92,19:
Duftlernen bei der Honigbiene Apis mellifera Rainer Malaka. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe
Karlsruhe: Inst. für Logik, Komplexität und Deduktionssysteme, 1992 ; Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,23:
Anwendungen symbolischer Lernverfahren in der Robotik Jürgen Kreuziger; Stephan Cord. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ. Karlsruhe, Inst. für Prozeßrechentechnik und Robotik, [1992]
-
92,12:
Forschungs- und Arbeitsgebiete des Instituts für Telematik [Klausurtagung in Oberstdorf, Allgäu, vom 11. bis 13. März 1992] Universität Karlsruhe, Fakultät für Informatik. Gerhard Krüger; Burkhard Stiller (Hrsg.)
Karlsruhe: Fakultät für Informatik, Universität, 1992
-
92,4:
On the optimal degree of concurrency in transaction processing systems with locking Hans-Ulrich Heiss; Marcus Dormanns
Karlsruhe: Fakultät für Informatik, 1992
-
92,3:
Automatic data distribution for nearest neighbor networks Michael Philippsen
Karlsruhe: Fakultät für Informatik, 1992
-
92,1:
Project Triton towards improved programmability of parallel machines Michael Philippsen
Karlsruhe: Fakultät für Informatik, 1992
-
92,18:
The first implementation of the WAVE system for UNIX and TCP IP computer networks Peter M. Borst
Karlsruhe: Universität Karlsruhe, Institut für Betriebs- und Dialogsysteme, 1992
-
92,25:
Die Datenbankprogrammiersprache GOMpl Alfons Kemper
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,28:
Fehlertoleranz in Rechnern Winfried Görke
Karlsruhe: Univ., Fak. für Informatik, 1992
-
92,24:
Towards more flexible schema management in object bases Guido Moerkotte; Andreas Zachmann. [Universität Karlsruhe, Fakultät für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1992
-
91,1:
Cryptographically strong undeniable signatures, unconditionally secure for the signer David Chaum; Eugène van Heijst; Birgit Pfitzmann
Karlsruhe: Fakultät für Informatik, 1991
-
91,2:
Adaptive load control in transaction processing systems Hans-Ulrich Heiss; Roger Wagner
Karlsruhe: Inst., Univ., 1991
-
91,3:
A heuristic algorithm for dynamic processor allocation in highly parallel systems Hans-Ulrich Heiss; Rainer Wiesenfarth
Karlsruhe: Inst., Univ., 1991
-
91,05:
A proof of Beigel's cardinality conjecture Martin Kummer. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,4:
On deterministic and random fault injection for fault-tolerant protocol testing Yinong Chen; Klaus Echtle
Karlsruhe: Fakultät für Informatik, Univ., 1991
-
91,18:
Lopster: Sprachdefinition Version 1.1 Claus Hintermeier
Karlsruhe: Univ., Fak. für Informatik, [1991]
-
91,21:
Some aspects of frequency computation Martin Kummer; Frank Stephan
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,7:
Classification of problems and algorithms for processor allocation in parallel systems Hans-Ulrich Heiss
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,12:
Modellieren mit Tetraederstrukturen Wolfgang Leister
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,15:
Database design with extensible semantic models Peter C. Lockemann
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,20:
Benutzeranleitung für die KA-Prolog-Sprachfamilie Markus Baur
Karlsruhe: Univ., Fak. für Informatik, [1991]
-
91,8:
Netzwerk-Management und Hochgeschwindigkeits-Kommunikation 3 Seminar WS 90/91 [Universität Karlsruhe, Fakultät für Informatik]. Martina Zitterbart
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,13:
Netzwerk-Management und Hochgeschwindigkeits-Kommunikation 4 Seminar SS 1991 [Universität Karlsruhe, Fakultät für Informatik]. Martina Zitterbart
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,16:
A note on the relationship between KLM and MAK models for nonmonotonic inference operations Jürgen Dix and David Makinson
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,14:
Hochgradiger Parallelismus Walter F. Tichy; Michael Philippsen
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,9:
Entwurf eines übersetzenden Narrowing-Systems basierend auf der abstrakten Warren-Maschine (WAM) Carlo Scharnhorst
Karlsruhe: Univ., Fak. für Informatik, 1991
-
90,15:
Some tendencies in non-monotonic reasoning 1 The main approaches / J. Dix Jürgen Dix. ++[Universität Karlsruhe, Fakultät für Informatik; Institut für Logik, Komplexität und Deduktionssysteme]
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,11:
Objekte in verteilten Systemen SS 90 u. WS 90/91 Seminare SS 90 und WS 90/91 [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,17:
A critique of the programming language C* Walter F. Tichy; Michael Philippsen; Phil Hatcher
Karlsruhe: Fak. für Informatik, Univ., 1991
-
91,10:
Objekte in verteilten Systemen SS 91 Seminar SS 91 [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill
Karlsruhe: Univ., Fak. für Informatik, 1991
-
91,6:
Numerical investigations on basins of attraction in partially connected Hopfield networks Klaus-Robert Müller
Karlsruhe: Fakultät für Informatik, 1991
-
91,19:
KA-Prolog: Sprachdefinition Alexander Bockmayr
Karlsruhe: Univ., Fak. für Informatik, 1991
-
90,13:
Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken 1 P. H. Schmitt; J. Dix; R. Hähnle. [Univ. Karlsruhe, Fak. für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,31:
Numerical investigations on the sequence storage capacity of asymmetric Hopfield networks Klaus-Robert Müller; Ortrun Ibens
Karlsruhe: Institut für Logik, Komplexität und Deduktionssysteme, 1990
-
90,1:
HIST - Hierarchischer Selbsttest Oliver Haberl; Hans-Joachim Wunderlich. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,2:
The MANTRA reference manual G. Bittencourt. [Univ. Karlsruhe, Fak. für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,4:
Modula-2* an extension of modula-2 for highly parallel, portable programs Walter F. Tichy; Christian G. Herter. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,33:
The Triton project Michael Philippsen; Christian G. Herter; Walter F. Tichy
Karlsruhe, 1990
-
90,32:
Formal program development by goal splitting and backward loop formation Maritta Heisel; Thomas Santen
Karlsruhe: Fak. für Informatik, Univ., 1990
-
90,34:
Weakly semirecursive sets and r. e. orderings Martin Kummer; Frank Stephan
Karlsruhe: Fak., Univ., 1990
-
90,22:
Formal aspects of fail-stop signatures Birgit Pfitzmann; Michael Waidner
Karlsruhe: Fak., Univ., 1990
-
90,28:
Function materialization in object bases Alfons Kemper; Christoph Kilger; Guido Moerkotte
Karlsruhe: Inst., Univ., 1990
-
90,30:
Kodierungsmethoden der synthetischen Bildholographie Wolfgang Leister
Karlsruhe: Inst., Univ., 1990
-
90,12:
Überlastkontrolle in Hochgeschwindigkeitsnetzen Ortwin Rose
Karlsruhe: Fak., Univ., 1990
-
90,5:
Netzwerk-Management und Hochgeschwindigkeits-Kommunikation [1] Seminar WS 89/90 [Universität Karlsruhe, Fakultät für Informatik]. Martina Zitterbart
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,24:
Netzwerk-Management und Hochgeschwindigkeits-Kommunikation 2 Seminar SS 90 [Universität Karlsruhe, Fakultät für Informatik]. Martina Zitterbart
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,3:
Reactive consistency control in deductive databases G. Moerkotte; P. C. Lockemann
Karlsruhe: Fak., Univ., 1990
-
90,29:
Automatic documentation of modular programs using PasDok J. Lucas; A. Schmitt; J. F. H. Winkler
Karlsruhe: Inst., Univ., 1990
-
90,36:
Temporal logic programming and its relation to constraint logic programming Christoph Brzoska. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,11:
Entwurf und Implementierung neuronaler Netze zur Lösung des Traveling Salesman Problems Heinrich Braun; Rainer Malaka
Karlsruhe: Inst., Univ., 1990
-
90,14:
Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken 2 P. H. Schmitt; J. Dix; R. Hähnle. [Univ. Karlsruhe, Fak. für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,8:
Versteckte Rücksetzpunkterstellung in statisch redundanten Systemen Bericht über einen Arbeitsschwerpunkt innerhalb des DFG-Projektes "Redundanzkombination" Arnold Niedermaier. ++Universität Karlsruhe, Fakultät für Informatik; Institut für Rechnerentwurf und Fehlertoleranz
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,21:
An empirical study of compilation costs in Ada Rolf Adams, Walter Tichy and Annette Weinert. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,25:
Voruntersuchungen von Bildsynthesemethoden zur Analyse von Bildfolgen Wolfgang Leister; Karl Rohr. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,26:
Anwendungsunterstützung in heterogenen Rechnernetzen Seminar SS 90 Universität Karlsruhe, Fakultät für Informatik. Jürgen Becher; Geert Solvie
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,10:
Ansätze zur Lösung des Korrespondenzproblems bei Stereogrammen mittels simulated annealing und neuronaler Netze Heinrich Braun; Thomas Müller
Karlsruhe: Inst. für Logik, Komplexität u. Deduktionssysteme, 1990
-
90,19:
Das EFECT-Projekt Jürgen G. Kienhöfer ... (Hrsg.)
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,16:
On Liouvillian solutions of third order homogeneous linear differential equations Felix Ulmer
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,17:
Constructing an abstract narrowing machine a survey Ernst A. Heinz; Paul Lukowicz
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,18:
More efficient software implementations of (generalized) DES [... extended and revised version of a paper presented at SECURICOM 90] Andreas Pfitzmann; Ralf Aßmann
Karlsruhe: Univ., Fak. für Informatik, 1990
-
90,9:
Objekte in verteilten Systemen WS 89/90 Seminar WS 89/90 [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill
Karlsruhe: Univ., Fak. für Informatik, 1990
-
89,3:
A formalization and implementation of Gries's program development method within the KIV environment Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,18:
Objekte, Verteilung und Nebenläufigkeit in Programmiersprachen Seminar WS 88/89 [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill; Lutz Heuser
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,5:
Unconditional sender and recipient untraceability in spite of active attacks some remarks Michael Waidner; Birgit Pfitzmann. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,13:
NESTOR requirements and architecture Univ. Karlsruhe, Fak. für Informatik. Gerold Blakowski
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,7:
Methoden und Werkzeuge für die Wissensakquisition eine Übersicht über den state of the art Christian Hestermann; Stefan Karl. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,1:
Software change dynamics or 60 percent of all compilations are redundant Rolf Adams, Annette Weinert and Walter Tichy. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,12:
Optimal multiprocessor interconnection networks for divide-and-conquer algorithms Heinrich Braun; Frank Christian Stephan. [Univ. Karlsruhe, Fak. für Informatik; Inst. für Logik, Komplexität u. Deduktionssysteme, Univ. Karlsruhe]
Karlsruhe: Inst. für Logik, Komplexität u. Deduktionssysteme, 1989 ; Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,14:
Some remarks about the Boltzmann machine Eduard Moser. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,10:
Workshop Verification, Construction, and Synthesis of Programs April 6 and 7, 1989 in Karlsruhe U. Furbach ... University of Karlsruhe, Institute for Logic, Complexity and Deductive Systems, FRG
Karlsruhe: Univ. of Karlsruhe, Inst. for Logic, Complexity and Deductive Systems, 1989
-
89,17:
Access support in object bases Alfons Kemper; Guido Moerkotte. Fakultät für Informatik, Universität Karlsruhe
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,19:
Cooperation of decision procedures in a tableau-based theorem prover Thomas Käufl
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,11:
The KIV handbook A. Wolpers
Karlsruhe, 1989
-
89,22:
Temporal logic programming a survey Christoph Brzoska
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,20:
Objekte in verteilten Systemen SS 89 Seminar SS 89 [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill
Karlsruhe: Univ., Fak. für Informatik, 1989
-
89,21:
Extended Prolog with Boolean unification Alexander Bockmayr; Hans Holger Rath
Karlsruhe, 1989
-
89,8:
A hybrid system architecture and its unified semantics Guilherme Bittencourt. [Univ. Karlsruhe, Fak. für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1989
-
88,8:
EDGE: an extendible directed graph editor Frances J. Newbery. Univ. Karlsruhe, Fak. für Informatik; Inst. für Programmstrukturen u. Datenorganisation, Univ. Karlsruhe
Karlsruhe: Inst. für Programmstrukturen u. Datenorganisation, Univ., 1988
-
88,10:
Der objekt-orientierte Ansatz in Programmiersprachen und verteilten Systemen Seminar SS 88 [Univ. Karlsruhe, Fak. für Informatik]. Alexander Schill; Lutz Heuser
Karlsruhe: Univ., Fak. für Informatik, 1988
-
88,12:
Computer-Algebra-Praktikum Univ. Karlsruhe, Fak. für Informatik. Florian Bundschuh; Michael Clausen (Hrsg.)
Karlsruhe: Univ., Fak. für Informatik, 1988
-
88,3:
Transportprotokolle in Kommunikationssystemen 2 Vu Duy Loi
Karlsruhe, 1988
-
88,2:
Künstliche Intelligenz und Simulation Gabriele Bürle ... [Hrsg.]. Institut für Rechnerentwurf u. Fehlertoleranz
Karlsruhe: Univ., Inst. f. Rechnerentwurf u. Fehlertoleranz, 1988
-
88,5:
Studien zu Kapazitäts-Management und -Planung in local area networks Christina Schimming. [Univ. Karlsruhe, Fak. für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1988
-
88,4:
Bibliography on expert systems and their methodology Jacques Calmet and Guilherme Bittencourt
Karlsruhe: Univ., Fak. für Informatik, 1988
-
88,17:
Automated termination proofs Christoph Walther. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1988
-
88,6:
On recursively enumerable families R1F recursive non-invariance of the length problem and numberings of R1F Martin Kummer. [Univ. Karlsruhe, Fak. für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1988
-
88,15:
Multimedia databases paradigm, architecture, survey and issues Peter C. Lockemann. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1988
-
88,13:
NLH-E a natural language help system Walter F. Tichy, Rolf L. Adams and Lars Holter. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1988
-
88,18:
A digest of argument bounded algorithms Christoph Walther. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1988
-
87,25:
Verbesserung der Testbarkeit von Schaltwerken durch die Integration eines unvollständigen Prüfpfades Arno Kunzmann. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1987
-
87,1:
Anonyme und verlusttolerante elektronische Brieftaschen Michael Waidner; Birgit Pfitzmann. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1987
-
87,4:
EPOS, extended prolog with order-sorted resolution Martin Huber; Igor Varsek. [Univ. Karlsruhe, Fak. für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1987
-
78,08:
Automatic construction of error correcting parsers Johannes Röhrich
Karlsruhe, 1978