Department Informatik

Modellierung, Simulation, Visualisierung: Zu aktuellen Aufgaben der Informatik. (1998) Wedekind H, Görz G, Kötter R, Inhetveen R Journal article Extensional higher-order resolution (1998) Benzmüller C, Kohlhase M Conference contribution, Original article Integrating Computer Algebra into Proof Planning (1998) Kerber M, Kohlhase M, Sorge V Journal article, Original article Probabilistic Semantic Analysis In Restricted Domains (1998) Haas J, Hornegger J, Niemann H Conference contribution, Conference Contribution N-Guide - Ein System zur Erstellung grafischer Benutzeroberflächen (1998) Nilson J Thesis System-Level Synthesis Using Evolutionary Algorithms (1998) Blickle T, Teich J, Thiele L Journal article A generalized analysis technique for queuing networks with mixed priority strategy and class switching (1998) Bolch G Journal article Large-scale parallel geophysical algorithms in Java: A feasibility study (1998) Jacob M, Philippsen M, Karrenbach M Journal article, Original article Fallstudie: Parallele Realisierung geophysikalischer Basisalgorithmen in Java (1998) Philippsen M, Jacob M, Karrenbach M Journal article, Original article Showing the Equivalence of Two Training Algorithms - Part 2 (1998) Fischer I, Koch M, Berthold MR Conference contribution, Original article