> Verlagsreihe
-
The presentation of formal proofs Martin Simons
München; Wien: Oldenbourg, 1997
-
Multicycle generalization of relaxation-based algorithms for circuit and system simulation Vladimir B. Dmitriev-Zdorov
München; Wien: Oldenbourg, 1997
-
Objektorientierte Spezifikation hybrider Systeme Viktor Friesen
München; Wien: Oldenbourg, 1997
-
The GENTLE compiler construction system Friedrich Wilhelm Schröer
München; Wien: Oldenbourg, 1997
-
Relaxations- und Fehleranalyseverfahren für die Analogsimulation von Schaltungen und Mikrosystemen Ralf Jendges
München; Wien: Oldenbourg, 1997
-
Zur Sicherheit von globalem, elektronischem Nachrichtenaustausch Burkhard Wiegel. GMD-Forschungszentrum Informationstechnik GmbH
München [u.a.]: Oldenbourg, 1997
-
Semantische Concurrency Control in objektorientierten Datenbanksystemen Thomas Rakow
München; Wien: Oldenbourg, 1997
-
Eine Entwicklungsumgebung zur Unterstützung der Simulation energietechnischer Anlagen Matthias Kloas
München; Wien: Oldenbourg, 1997
-
Support vector learning Bernhard Schölkopf
München; Wien: Oldenbourg, 1997
-
Autorensysteme für die kooperative Erstellung von Hyperdokumenten Jörg M. Haake
München; Wien: Oldenbourg, 1997
-
Systematic design of embedded control systems composing models of system structure and behavior Matthias Weber
München; Wien: Oldenbourg, 1997
-
Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente Klemens Böhm
München; Wien: R. Oldenbourg Verlag, 1997
-
Dynamisch veränderbare Betriebssystemstrukturen Henning Schmidt
München; Wien: Oldenbourg, 1996
-
Reuse-oriented knowledge engineering with MoMo an inquiry Thomas Hemmann
München; Wien: Oldenbourg, 1996
-
To assist the user on the embedding of adaptive and agent-based mechanisms Christoph G. Thomas
München; Wien: Oldenbourg, 1996
-
Adaptive Pfadplanung mit Verfahren zur heuristischen Graphensuche Christoph Tietz
München; Wien: Oldenbourg, 1996
-
Efficient multiple dispatching based on automata Weimin Chen
München; Wien: Oldenbourg, 1996
-
Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung Birgit Heinz
München; Wien: Oldenbourg, 1996
-
Effiziente Integration der ATM-Technik in multifunktionale Endgeräte Dirk Elias
München; Wien: Oldenbourg, 1996
-
On the realization of huge sparsely-occupied and fine-grained address spaces Jochen Liedtke
München; Wien: Oldenbourg, 1996
-
Versionenunterstützung für strukturierte Hyperdokumente im elektronischen Publizieren Anja Haake
München; Wien: Oldenbourg, 1996
-
Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme Joachim Trescher
München; Wien: Oldenbourg, 1996
-
Encapsulating tools into an EDA framework Olav Schettler
München; Wien: Oldenbourg, 1996
-
Rechnergestützte Vorhersage von Rezeptor-Ligand-Wechselwirkungen Matthias Rarey
München; Wien: Oldenbourg, 1996
-
Parallel execution enabled by refined source analysis cost and benefits in a supercompiler Herbert Georg Mayer
München; Wien: Oldenbourg, 1996
-
Automatisierte Integration von Entwurfswerkzeugen für integrierte Schaltungen Ansgar Bredenfeld
München; Wien: Oldenbourg, 1996
-
Generierung von Programmoptimierungen mit Graphersetzungssystemen Uwe Aßmann
München; Wien: Oldenbourg, 1996
-
Mapping symbolic programs with dynamic tree structure to parallel machines Angela Sodan
München; Wien: Oldenbourg, 1996
-
On-line handwriting recognition with a fuzzy feature description language Ashutosh Malaviya
München; Wien: Oldenbourg, 1996
-
Virtuell gemeinsamer Speicher Jörg Cordsen
München; Wien: Oldenbourg, 1996
-
High-speed analog fuzzy logic controller Shuwei Guo
München; Wien: Oldenbourg, 1995
-
Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX Wolfgang Lux
München [u.a.]: Oldenbourg, 1995
-
Continual learning in reinforcement environments Mark B. Ring
München; Wien: Oldenbourg, 1995
-
Metrics in software evolution GMD-Forschungszentrum Informationstechnik GmbH. Monika Müllerburg ... (Hrsg.)
München; Wien: Oldenbourg, 1995
-
Transaktionsverwaltung in heterogenen und autonomen Datenbanksystemen Peter Muth
München [u.a.]: Oldenbourg, 1995
-
Lean resource management in ATM-based integrated networks Mihai Mateescu
München [u.a.]: Oldenbourg, 1995
-
Aktionsunterstützung für verteilte, kooperative Anwendungen Konzept und Realisierung Michael Mock
München [u.a.]: Oldenbourg, 1995
-
Entwicklung einer Plattform zur interaktiven physikalisch basierten Animation gelenkig verbundener Systeme Thomas Jung
München [u.a.]: Oldenbourg, 1995
-
Systematisches Testen von Software eine neue Methode und eine effektive Teststrategie Klaus Grimm
München [u.a.]: Oldenbourg, 1995
-
Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen Robert Gabriel
München; Wien: Oldenbourg, 1995