> Details

Universität Karlsruhe (TH) Fakultät für Informatik, Institut für Informatik Karlsruhe, Institut für Informatik Karlsruhe, 2

Interner Bericht / Universität Karlsruhe, Fakultät für Informatik

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Bookmarks

Media type: Serial; Monograph Series
Title: Interner Bericht / Universität Karlsruhe, Fakultät für Informatik
Other titles: Hauptsacht. teils: Bericht
Hauptsacht. teils: Technical report
Kurztitel: Interner Ber., Univ. Karlsruhe, Fak. Inf.
Corporation: Institut für Informatik ; Institut für Informatik
imprint: Karlsruhe: Univ., Fak. für Informatik, Bibliothek, 1973-2009
Publication information: 1973,4 - 2009,18
Language: German
ISSN: 1432-7864
Keywords: Monografische Reihe
Origination:
Footnote: Urh. anfangs teils: Universität Karlsruhe, Institut für Informatik; teils: Universität Karlsruhe, Institut für Informatik 2
Ab 1995 nur noch in 10 Ex. gedr.; nebenher u. Forts. als Online-Ausg. ersch

> Publishers' series

Schellhorn, Gerhard [Author]
94,3: Specification and verification of distributed technical systems with central control Gerhard Schellhorn
Karlsruhe: Univ., Fak. für Informatik, 1994

Fuchß, Thomas [Author]
94,2: Translating E-,R-diagrams into consistent database specifications Thomas Fuchß
Karlsruhe: Univ., Fak. für Informatik, 1994

Werner, Andreas [Author]
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

Dormanns, Marcus [Author]; Heiss, Hans-Ulrich [Author]
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

Prechelt, Lutz [Author]
94,4: CuPit - a parallel language for neural algorithms language reference and tutorial Lutz Prechelt
Karlsruhe: Univ., Fak. für Informatik, 1994

Sanders, Peter [Author]
94,12: Analysis of random polling dynamic load balancing Peter Sanders
Karlsruhe: Univ., Fak. für Informatik, 1994

Warschko, Thomas Mike [Author]; Herter, Christian G. [Author]; Tichy, Walter F. [Author] ; Warschko, Thomas M. [Other]
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

Rinderspacher, Markus [Author]
94,14: A verification concept for SDL systems and its application to the Abracadabra Protocol Markus Rinderspacher
Karlsruhe: Univ., Fak. für Informatik, [1994]

Stenzel, Kurt [Author]
93,26: A verified access control model Kurt Stenzel
Karlsruhe: Univ., Fak. für Informatik, 1993

Chen, Yongzhang [Author]
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

Lukowicz, Paul [Author]; Tichy, Walter F. [Author]
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

Gollner, Michael [Author]; Barheine, Wolfgang [Author]
93,3: Abschlußbericht zur Sprache KANN (KArlsruher Normal-Narrowing) Michael Gollner; Wolfgang Barheine
Karlsruhe: Sonderforschungsbereich 314, 1993

Schmid, Detlef [Editor]; Kropf, Thomas [Other]
93,10: GI-ITG-Workshop Formale Methoden zum Entwurf Korrekter Systeme 21. - 23. März 1993, Bad Herrenalb Veranst.: GI-ITG-Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme. Tagungsleiter: Detlef Schmid
Karlsruhe: Univ., Fakultät für Informatik, 1993

Werner, Andreas [Author] ; Bockmayr, Alexander [Other]; Krischer, Stefan [Other]
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

Gollner, Michael [Author]
93,7: A simple algebraic language with tests and ordered sorts (SALTO) language definition & operational semantics Michael Gollner
Karlsruhe: Sonderforschungsbereich 314, 1993

Philippsen, Michael [Author]; Heinz, Ernst A. [Author]; Lukowicz, Paul [Author]
93,14: Compiling machine independent parallel programs Michael Philippsen; Ernst A. Heinz; Paul Lukowicz
Karlsruhe: Univ., Fakultät für Informatik, 1993

Carle, Georg [Other]
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

Schill, Alexander [Editor]
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

Carle, Georg [Other]
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

Zeidler, Christian [Author]
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

Malaka, Rainer [Author]; Ragg, Thomas [Author]
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]

Bockmayr, Alexander [Author]; Krischer, Stefan [Author]; Werner, Andreas [Author]
93,22: Narrowing strategies for arbitrary canonical rewrite systems Alexander Bockmayr; Stefan Krischer; Andreas Werner
Karlsruhe: Univ., Fak. für Informatik, 1993

Fernau, Henning [Author]
93,23: IIFS and codes (extended version) Henning Fernau
Karlsruhe: Univ., Fak. für Informatik, 1993

Gellersen, Hans-Werner [Other]
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

Schill, Alexander [Editor]
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

Heiss, Hans-Ulrich [Author]; Dormanns, Marcus [Author]
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

Rinderspacher, Markus [Author]
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

Sapaty, Peter S. [Author]
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

Brzoska, Christoph [Author]
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

Heinz, Ernst A. [Author]; Philippsen, Michael [Author]
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

Prechelt, Lutz [Author]
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

Prechelt, Lutz [Author]
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

Brzoska, Christoph [Author]; Schäfer, Karl [Author]
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

Heiss, Hans-Ulrich [Author]; Schmitz, Michael [Author]
92,5: Distributed load balancing using a physical analogy Hans-Ulrich Heiss; Michael Schmitz
Karlsruhe: Fak. für Informatik, Univ., 1992

Philippsen, Michael [Other]
92,1: Project Triton towards improved programmability of parallel machines Michael Philippsen
Karlsruhe: Fakultät für Informatik, 1992

Philippsen, Michael [Author]
92,3: Automatic data distribution for nearest neighbor networks Michael Philippsen
Karlsruhe: Fakultät für Informatik, 1992

Heiss, Hans-Ulrich [Author]; Dormanns, Marcus [Author]
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

Fronhöfer, Bertram [Editor]
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

Prechelt, Lutz [Author]
92,2: The SIS project: software reuse with a natural language approach Lutz Prechelt
Karlsruhe: Univ., Fak. für Informatik, 1992

Schill, Alexander [Editor]
92,15: Fehlertoleranz in verteilten Systemen Seminar SS 1992 Alexander Schill
Karlsruhe: Inst. für Telematik, Univ., 1992

Tichy, Walter F. [Other]
92,21: From Modula-2* to efficient parallel code Walter F. Tichy
Karlsruhe: Univ., Fak. für Informatik, 1992

Sapaty, Peter S. [Author]
92,17: The WAVE paradigm Peter S. Sapaty
Karlsruhe: Univ., Fak. für Informatik, 1992

Braun, Torsten [Other]
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

Gerteis, Wolfgang [Other]
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

Gerlhof, Carsten [Other]
92,6: Clustering in object bases Carsten Gerlhof
Karlsruhe: Univ., Fak. für Informatik, 1992

Zeidler, Christian [Author]
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

Braun, Torsten [Other]
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

Reif, Wolfgang [Author]; Stenzel, Kurt [Author]
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

Borst, Peter M. [Author]
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

Heiss, Hans-Ulrich [Author]
92,20: Processor management in two-dimensional grid architectures Hans-Ulrich Heiss
Karlsruhe: Univ., Fak. für Informatik, 1992

Kemper, Alfons [Other]
92,25: Die Datenbankprogrammiersprache GOMpl Alfons Kemper
Karlsruhe: Univ., Fak. für Informatik, 1992

Klingert, Arnold [Author]; Straub, W. [Author]
92,11: A robust and efficient triangulation algorithm for contours on parallel planes A. Klingert; W. Straub
Karlsruhe: Univ., Fak. für Informatik, 1992

Zimmermann, Wolf [Other]
92,27: PRAM-Simulationen Wolf Zimmermann
Karlsruhe: Univ., Fak. für Informatik, 1992

Krüger, Gerhard [Editor]
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

Krueger, Uwe [Author]; Gittinger, Jürgen [Author]
92,14: Prozeßsignalisierungen statt Unterbrechungen Uwe Krüger; Jürgen Gittinger
Karlsruhe: Institut für Betriebs- und Dialogsysteme, Universität Karlsruhe, 1992

Görke, Winfried [Author]
92,28: Fehlertoleranz in Rechnern Winfried Görke
Karlsruhe: Univ., Fak. für Informatik, 1992

Becker, Klaus [Other]
92,30: Proposal for changes on the SNMPv2 drafts SNMPv2 Working Group. K. Becker
Karlsruhe: Fakultät für Informatik, Universität, 1992

Moerkotte, Guido [Author]; Zachmann, Andreas [Author]
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

Henrich, T. [Other]
92,29: Netzwerk-Management theoretische Basis - Blick in die Realität; Seminar Wintersemester 1991/92 Betreuer und Hrsg.: Institut für Betriebs- und Dialogsysteme; Informatik-Rechnerabteilung. Universität Karlsruhe, Fakultät für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1992

Gollner, Michael [Editor]
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

Kreuziger, Jürgen [Author]; Cord, Stephan [Author]
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]

Malaka, Rainer [Author]
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

Müller, Klaus-Robert [Author]
91,6: Numerical investigations on basins of attraction in partially connected Hopfield networks Klaus-Robert Müller
Karlsruhe: Fakultät für Informatik, 1991

Chaum, David [Author]; Heijst, Eugène van [Author]; Pfitzmann, Birgit [Author]
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

Heiss, Hans-Ulrich [Author]; Wagner, Roger [Author]
91,2: Adaptive load control in transaction processing systems Hans-Ulrich Heiss; Roger Wagner
Karlsruhe: Inst., Univ., 1991

Heiss, Hans-Ulrich [Author]; Wiesenfarth, Rainer [Author]
91,3: A heuristic algorithm for dynamic processor allocation in highly parallel systems Hans-Ulrich Heiss; Rainer Wiesenfarth
Karlsruhe: Inst., Univ., 1991

Bockmayr, Alexander [Other]
91,19: KA-Prolog: Sprachdefinition Alexander Bockmayr
Karlsruhe: Univ., Fak. für Informatik, 1991

Kummer, Martin [Author]
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

Chen, Yinong [Author]; Echtle, Klaus [Author]
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

Baur, Markus [Other]
91,20: Benutzeranleitung für die KA-Prolog-Sprachfamilie Markus Baur
Karlsruhe: Univ., Fak. für Informatik, [1991]

Hintermeier, Claus [Other]
91,18: Lopster: Sprachdefinition Version 1.1 Claus Hintermeier
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

Dix, Jürgen [Author]
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,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

Tichy, Walter F. [Author] ; Philippsen, Michael [Other]
91,14: Hochgradiger Parallelismus Walter F. Tichy; Michael Philippsen
Karlsruhe: Univ., Fak. für Informatik, 1991

Tichy, Walter F. [Author]; Philippsen, Michael [Author]; Hatcher, Phil [Author]
91,17: A critique of the programming language C* Walter F. Tichy; Michael Philippsen; Phil Hatcher
Karlsruhe: Fak. für Informatik, Univ., 1991

Dix, Jürgen [Author]; Makinson, David [Author]
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

Scharnhorst, Carlo [Author]
91,9: Entwurf eines übersetzenden Narrowing-Systems basierend auf der abstrakten Warren-Maschine (WAM) Carlo Scharnhorst
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

Heiss, Hans-Ulrich [Author]
91,7: Classification of problems and algorithms for processor allocation in parallel systems Hans-Ulrich Heiss
Karlsruhe: Univ., Fak. für Informatik, 1991

Leister, Wolfgang [Author]
91,12: Modellieren mit Tetraederstrukturen Wolfgang Leister
Karlsruhe: Univ., Fak. für Informatik, 1991

Lockemann, Peter C. [Other]
91,15: Database design with extensible semantic models Peter C. Lockemann
Karlsruhe: Univ., Fak. für Informatik, 1991

Kummer, Martin [Author]; Stephan, Frank Christian [Author]; Stephan, Frank [Author]
91,21: Some aspects of frequency computation Martin Kummer; Frank Stephan
Karlsruhe: Univ., Fak. für Informatik, 1991

Kemper, Alfons [Author]; Moerkotte, Guido [Author]
90,27: Advanced query processing in object bases a comprehensive approach to access support, query transformation and evaluation Alfons Kemper; Guido Moerkotte
Karlsruhe: Fak., Univ., 1990

Lucas, Jürgen [Author]; Schmitt, Alfred [Author]; Winkler, Jürgen F. H. [Author]
90,29: Automatic documentation of modular programs using PasDok J. Lucas; A. Schmitt; J. F. H. Winkler
Karlsruhe: Inst., Univ., 1990

Rose, Ortwin [Author]
90,12: Überlastkontrolle in Hochgeschwindigkeitsnetzen Ortwin Rose
Karlsruhe: Fak., Univ., 1990

Görke, Winfried [Author]
90,23: Safety as a design goal for applications of microelectronic control systems manuscript of an invited lecture at the 2nd Workshop on Test Methods and Reliability of Circuits and Systems, March 18 - 20, 1990, Gut Ising, Chiemsee, Germany Winfried Görke
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

Walter, Ingrid [Author]; Lockemann, Peter C. [Author]; Nagel, Hans-Hellmut [Author]
90,20: Databases for knowledge bases: empirical study of a knowledge base management system for a semantic network Ingrid M. Walter; Peter C. Lockemann; Hans-Hellmut Nagel
Karlsruhe, 1990

Kummer, Martin [Author]; Stephan, Frank [Author]
90,34: Weakly semirecursive sets and r. e. orderings Martin Kummer; Frank Stephan
Karlsruhe: Fak., Univ., 1990

Moerkotte, Guido [Author]; Lockemann, Peter C. [Author]
90,3: Reactive consistency control in deductive databases G. Moerkotte; P. C. Lockemann
Karlsruhe: Fak., Univ., 1990

Philippsen, Michael [Author]; Herter, Christian G. [Author]; Tichy, Walter F. [Author]
90,33: The Triton project Michael Philippsen; Christian G. Herter; Walter F. Tichy
Karlsruhe, 1990

Heisel, Maritta [Author]; Santen, Thomas [Author]
90,32: Formal program development by goal splitting and backward loop formation Maritta Heisel; Thomas Santen
Karlsruhe: Fak. für Informatik, Univ., 1990

Pfitzmann, Birgit [Author]; Waidner, Michael [Author]
90,22: Formal aspects of fail-stop signatures Birgit Pfitzmann; Michael Waidner
Karlsruhe: Fak., Univ., 1990

Kemper, Alfons [Author]; Kilger, Christoph [Author]; Moerkotte, Guido [Author]
90,28: Function materialization in object bases Alfons Kemper; Christoph Kilger; Guido Moerkotte
Karlsruhe: Inst., Univ., 1990

Leister, Wolfgang [Other]
90,30: Kodierungsmethoden der synthetischen Bildholographie Wolfgang Leister
Karlsruhe: Inst., Univ., 1990

Kienhöfer, Jürgen G. [Editor]
90,19: Das EFECT-Projekt Jürgen G. Kienhöfer ... (Hrsg.)
Karlsruhe: Univ., Fak. für Informatik, 1990

Pfitzmann, Andreas [Author]; Aßmann, Ralf [Author]
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

Dix, Jürgen [Editor]; Posegga, J. [Other]; Schmitt, P. H. [Other]
90,6: Plangenerierung und nichtklassische Logiken Seminar Sommer 1989 Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme. J. Dix ... [Hrsg.]
Karlsruhe, 1990

Ulmer, Felix [Author]
90,16: On Liouvillian solutions of third order homogeneous linear differential equations Felix Ulmer
Karlsruhe: Univ., Fak. für Informatik, 1990

Heinz, Ernst A. [Author]; Lukowicz, Paul [Author]
90,17: Constructing an abstract narrowing machine a survey Ernst A. Heinz; Paul Lukowicz
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

Braun, Heinrich [Author]; Mueller, Thomas [Author]
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

Schmitt, Peter H. [Author]; Dix, Jürgen [Author]; Hähnle, Reiner [Author]
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

Haberl, Oliver [Author]; Wunderlich, Hans-Joachim [Author]
90,1: HIST - Hierarchischer Selbsttest Oliver Haberl; Hans-Joachim Wunderlich. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1990

Brzoska, Christoph [Author]
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

Bittencourt, Guilherme [Author]
90,2: The MANTRA reference manual G. Bittencourt. [Univ. Karlsruhe, Fak. für Informatik]
Karlsruhe: Univ., Fak. für Informatik, 1990

Niedermaier, Arnold [Author]
90,7: FEGA ein Werkzeug zur Bewertung der Fehlertoleranz-Eigenschaften eines Systems; Bericht über einen Arbeitsschwerpunkt innerhalb des DFG-Projektes "Redundanzkombination" Arnold Niedermaier
Karlsruhe, 1990

Müller, Klaus-Robert [Author]; Ibens, Ortrun [Author]
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

Braun, Heinrich [Author]; Malaka, Rainer [Author]
90,11: Entwurf und Implementierung neuronaler Netze zur Lösung des Traveling Salesman Problems Heinrich Braun; Rainer Malaka
Karlsruhe: Inst., Univ., 1990

Niedermaier, Arnold [Author]
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

Adams, Rolf L. [Author]; Tichy, Walter F. [Author]; Weinert, Annette [Author]
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

Leister, Wolfgang [Author]; Rohr, Karl [Author]
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

Becher, Jürgen [Editor]; Solvie, Geert [Other]
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

Schmitt, Peter H. [Author]; Dix, Jürgen [Author]; Hähnle, Reiner [Author]
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

Tichy, Walter F. [Author]; Herter, Christian G. [Author]
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

Waidner, Michael [Author]; Pfitzmann, Birgit [Author]
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

Hestermann, Christian [Author]; Karl, Stefan [Author]
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

Adams, Rolf L. [Author]; Weinert, Annette [Author]; Tichy, Walter F. [Author]
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

Blakowski, Gerold [Other]
89,13: NESTOR requirements and architecture Univ. Karlsruhe, Fak. für Informatik. Gerold Blakowski
Karlsruhe: Univ., Fak. für Informatik, 1989

Baum-Waidner, Birgit [Author]
89,6: Byzantine agreement protocols with a minimum number of messages in the faultless case Birgit Baum-Waidner
Karlsruhe, 1989

Heisel, Maritta [Author]
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

Schill, Alexander [Editor]; Heuser, Lutz [Adapter]
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

Käufl, Thomas [Author]
89,9: Program verifier Tatzelwurm the correctness an completeness of the generation of the verification conditions Thomas Käufl. [Univ. Karlsruhe, Fak. für Informatik; Inst. für Logik, Komplexität u. Deduktionssysteme]
Karlsruhe: Univ., Fak. für Informatik, 1989

Bittencourt, Guilherme [Author]
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

Kemper, Alfons [Author]; Moerkotte, Guido [Author]
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

Wolpers, A. [Author]
89,11: The KIV handbook A. Wolpers
Karlsruhe, 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

Käufl, Thomas [Author]
89,19: Cooperation of decision procedures in a tableau-based theorem prover Thomas Käufl
Karlsruhe: Univ., Fak. für Informatik, 1989

Bockmayr, Alexander [Author]; Rath, Hans H. [Author]
89,21: Extended Prolog with Boolean unification Alexander Bockmayr; Hans Holger Rath
Karlsruhe, 1989

Brzoska, Christoph [Author]
89,22: Temporal logic programming a survey Christoph Brzoska
Karlsruhe: Univ., Fak. für Informatik, 1989

Furbach, Ulrich [Editor]
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

Eckert, Harald [Editor]
89,16: Systemanalytische Apekte [Aspekte] des Einsatzes und der Wartung von Expertensystemen Seminarbeiträge Univ. Karlsruhe, Fak. für Informatik. [Hrsg.:] Harald Eckert
Karlsruhe, 1989

Braun, Heinrich [Author]; Stephan, Frank [Author]
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

Moser, Eduard [Author]
89,14: Some remarks about the Boltzmann machine Eduard Moser. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1989

Waidner, Michael [Author]
88,7: Betrugssicherheit durch kryptographische Protokolle beim Wertetransfer über Kommunikationsnetze Arbeitsbericht über d. DFG-Projekt "Betrugssicherheit", September 1986 bis April 1988 Michael Waidner. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1988

Newbery, Frances J. [Author]
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

Bundschuh, Florian [Editor]; Clausen, Michael [Editor]
88,12: Computer-Algebra-Praktikum Univ. Karlsruhe, Fak. für Informatik. Florian Bundschuh; Michael Clausen (Hrsg.)
Karlsruhe: Univ., Fak. für Informatik, 1988

Tichy, Walter F. [Author]; Adams, Rolf L. [Author]; Holter, Lars [Author]
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

Walther, Christoph [Author]
88,18: A digest of argument bounded algorithms Christoph Walther. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1988

Schill, Alexander [Editor]; Heuser, Lutz [Editor]
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

Lockemann, Peter C. [Author]
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

Walther, Christoph [Author]
88,17: Automated termination proofs Christoph Walther. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1988

Kummer, Martin [Author]
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

Käufl, Thomas [Author]
88,9: Simplification and decision of systems of linear inequalities over the integers Thomas Käufl
Karlsruhe, 1988

Loi, Vu Duy [Author]
88,3: Transportprotokolle in Kommunikationssystemen 2 Vu Duy Loi
Karlsruhe, 1988

Calmet, Jacques [Author]; Bittencourt, Guilherme [Author]
88,4: Bibliography on expert systems and their methodology Jacques Calmet and Guilherme Bittencourt
Karlsruhe: Univ., Fak. für Informatik, 1988

Heiss, Hans-Ulrich [Author]
88,1: Optimal control of the single server queue with load-dependent overhead Hans-Ulrich Heiss
Karlsruhe, 1988

Bürle, Gabriele [Editor]; Lehmann, Axel [Other]
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

Schimming, Christina [Author]
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

Kunzmann, Arno [Author]
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

Waidner, Michael [Author]; Pfitzmann, Birgit [Author]
87,1: Anonyme und verlusttolerante elektronische Brieftaschen Michael Waidner; Birgit Pfitzmann. Univ. Karlsruhe, Fak. für Informatik
Karlsruhe: Univ., Fak. für Informatik, 1987

Huber, Martin [Author]; Varšek, Igor [Author]
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

Röhrich, Johannes [Author]
78,08: Automatic construction of error correcting parsers Johannes Röhrich
Karlsruhe, 1978

Search in field:

Recently searched for: