|
Autor
|
|
Buchtitel, Band-Nr., Erscheinungsjahr & ISBN
|
|
Simone Kirstein-Jost
|
|
Auflösung von Anaphern im Rahmen der Informationsextraktion für Ontologie-Management im Bereich Life Sciences
Band 65, 252 Seiten, Hamburg 2010
ISBN: 978-3-8300-4803-9
|
|
Dmytro Rud
|
|
Performancebewertung und -sicherung von orchestrierten Serviceangeboten
Band 64, 262 Seiten, Hamburg 2009
ISBN: 978-3-8300-4327-0
|
|
Frank Eschmann
|
|
Dezentrale Ablaufplanung für selbstverteilende parallele Systeme
Band 63, 358 Seiten, Hamburg 2009
ISBN: 978-3-8300-4352-2
|
|
Marc Jansen
|
|
Integrating Smart Devices in Java Applications
Band 62, 256 Seiten, Hamburg 2006
ISBN-13: 978-3-8300-2374-6, ISBN-10: 3-8300-2374-X
|
|
Conrad Kuck
|
|
Intuitionistic Set Theory
or How to construct semi-rings. Part IV
Band 61, 280 Seiten, Hamburg 2002
ISBN-13: 978-3-8300-0691-6, ISBN-10: 3-8300-0691-8
|
|
Thomas Kunstmann
|
|
Rechnergestützte Simulation und Planung auf der Grundlage von Tabellenkalkulation
Band 60, 158 Seiten, Hamburg 2002
ISBN-13: 978-3-8300-0631-2, ISBN-10: 3-8300-0631-4
|
|
Andreas Wölling
|
|
Das Führerschaftsprinzip bei Inspektionsspielen
Band 59, 140 Seiten, Hamburg 2002
ISBN-13: 978-3-8300-0527-8, ISBN-10: 3-8300-0527-X
|
|
Conrad Kuck
|
|
Intuitionistic Set Theory
or How to construct semi-rings Part III
Band 58, 298 Seiten, Hamburg 2001
ISBN-13: 978-3-8300-0378-6, ISBN-10: 3-8300-0378-1
|
|
Margita Altus
|
|
Decision Support for Conceptual Database Design Based on the Evidence Theory
An Intelligent Dialogue Interface for Conceptual Database Design
Band 57, 242 Seiten, Hamburg 2001
ISBN-13: 978-3-8300-0479-0, ISBN-10: 3-8300-0479-6
|
|
Stefan Leboch
|
|
Institutionalisierte Wiederverwendung von Software-Bausteinen und deren Komposition
Am Beispiel von Software-Werkzeugen aus dem Schaltungsentwurf
Band 56, 230 Seiten, Hamburg 2001
ISBN-13: 978-3-8300-0424-0, ISBN-10: 3-8300-0424-9
|
|
Roswitha Bardohl
|
|
GENGED: Visual Definition of Visual Languages
based on Algebraic Graph Transformation
Band 55, 252 Seiten, Hamburg 2000
ISBN-13: 978-3-8300-0283-3, ISBN-10: 3-8300-0283-1
|
|
Karl A. Schniz
|
|
Zur prozessorientierten Analyse interaktiver Gefechtssimulationen
Band 54, 304 Seiten, Hamburg 2000
ISBN-13: 978-3-8300-0098-3, ISBN-10: 3-8300-0098-7
|
|
Ernö Kovács
|
|
Vermittlung und Management von Diensten in offenen Systemen
Band 53, 218 Seiten, Hamburg 1999
ISBN-13: 978-3-8300-0068-6, ISBN-10: 3-8300-0068-5
|
|
Claudia Funke
|
|
Ökonometrische Schätzungen bei generell nicht stationären datengenerierenden Prozessen
Band 52, 188 Seiten, Hamburg 1999
ISBN-13: 978-3-8300-0007-5, ISBN-10: 3-8300-0007-3
|
|
Manfred Schölzke
|
|
Timing-driven Foorplanning beim hierarchischen VLSI-Entwurf
Band 51, 250 Seiten, Hamburg 1999
ISBN-13: 978-3-8300-0012-9, ISBN-10: 3-8300-0012-X
|
|
Arnulf Deinzer
|
|
Softwarekorrektur online
Patchen in Realzeitsystemen am Beispiel von SPC-Rechnern
Band 50, 244 Seiten, Hamburg 1999
ISBN-13: 978-3-8300-0037-2, ISBN-10: 3-8300-0037-5
|
|
Sönke S. Gold
|
|
Transparenter Schutz der Aufenthaltsinformation in Mobilfunksystemen
Band 49, 158 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-960-2, ISBN-10: 3-86064-960-4
|
|
Jan-Juan Hiemer
|
|
Statecharts in CSP
Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts
Band 48, 190 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-929-9, ISBN-10: 3-86064-929-9
|
|
Thomas Kühne
|
|
A Functional Pattern System for Object-Oriented Design
Band 47, 328 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-770-7, ISBN-10: 3-86064-770-9
|
|
Sybille Hellebrand
|
|
Selbsttestbare Steuerwerke
Strukturen und Syntheseverfahren
Band 46, 218 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-833-9, ISBN-10: 3-86064-833-0
|
|
Bettina Martelli
|
|
Leitlinien einer Methodik zur Validierung und zum Vergleich von kognitionswissenschaftlichen Modellen
am Beispiel der Helligkeitswahrnehmung
Band 45, 264 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-916-9, ISBN-10: 3-86064-916-7
|
|
Joachim Engel
|
|
Tree Structured Function Estimation with Haar Wavelets
Band 44, 169 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-884-1, ISBN-10: 3-86064-884-5
|
|
Jinhua Li
|
|
Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen
Band 43, 172 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-870-4, ISBN-10: 3-86064-870-5
|
|
Jan Lichtermann
|
|
Eine Architektur zur Echtzeitvisualisierung von Volumendaten
Band 42, 688 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-874-2, ISBN-10: 3-86064-874-8
|
|
Ralf Schneider
|
|
Verfahren zur effizienten Zellularen Verarbeitung
Band 41, 184 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-880-3, ISBN-10: 3-86064-880-2
|
|
Sadegh Sadeghipour
|
|
Testing cycling software components of reactive systems on the basis of formal specifications
Band 40, 169 Seiten, Hamburg 1999
ISBN-13: 978-3-86064-867-4, ISBN-10: 3-86064-867-5
|
|
Wolfram Amme
|
|
Datenabhängigkeitsanalyse in Programmen mit Zeigern
Band 39, 108 Seiten, Hamburg 1998
ISBN-13: 978-3-86064-837-7, ISBN-10: 3-86064-837-3
|
|
Thomas Diessel
|
|
Mehrdimensionale Wissenspräsentationen technischer Systeme und ihre Anwendung in intelligenten Tutoriellen Systemen
Band 38, 188 Seiten, Hamburg 1998
ISBN-13: 978-3-86064-639-7, ISBN-10: 3-86064-639-7
|
|
Thomas Kahlisch
|
|
Software-ergonomische Aspekte der Studierumgebung blinder Menschen
Band 37, 276 Seiten, Hamburg 1998
ISBN-13: 978-3-86064-797-4, ISBN-10: 3-86064-797-0
|
|
Matthias Klusch
|
|
Kooperative Informationsagenten im Internet
Band 36, 200 Seiten, Hamburg 1998
ISBN-13: 978-3-86064-746-2, ISBN-10: 3-86064-746-6
|
|
Günter Rudolph
|
|
Convergence Properties of Evolutionary Algorithms
Band 35, 300 Seiten, Hamburg 1997
ISBN-13: 978-3-86064-554-3, ISBN-10: 3-86064-554-4
|
|
Matthias Fuchs
|
|
Learning Search Heuristics for Automated Deduction
Band 34, 220 Seiten, Hamburg 1997
ISBN-13: 978-3-86064-623-6, ISBN-10: 3-86064-623-0
|
|
Conrad Kuck
|
|
Intuitionistic Set Theory Part I
Band 33, 300 Seiten, Hamburg 1998
ISBN-13: 978-3-86064-616-8, ISBN-10: 3-86064-616-8
|
|
Conrad Kuck
|
|
Intuitionistic Set Theory Part II
Band 33, 300 Seiten, Hamburg 1998
ISBN-13: 978-3-86064-617-5, ISBN-10: 3-86064-617-6
|
|
Oscar Slotosch
|
|
Refinements in HOLCF: Implementation of Interactive Systems
Band 32, 296 Seiten, Hamburg 1997
ISBN-13: 978-3-86064-625-0, ISBN-10: 3-86064-625-7
|
|
Claus-Peter Wirth
|
|
Positive/Negative-Conditional Equations
A Constructor-Based Framework for Specification and Inductive Theorem Proving
Band 31, 260 Seiten, Hamburg 1997
ISBN-13: 978-3-86064-551-2, ISBN-10: 3-86064-551-X
|
|
Tobias Helbig
|
|
Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen
Band 30, 208 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-503-1, ISBN-10: 3-86064-503-X
|
|
Marion Kremer
|
|
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen
Band 29, 156 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-469-0, ISBN-10: 3-86064-469-6
|
|
Jörg Kottsieper
|
|
Synthese assoziativer Steuerwerke
Band 28, 216 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-463-8, ISBN-10: 3-86064-463-7
|
|
Thomas Dettmer
|
|
Ein Modell für CAD-Entwurfsumgebungen
Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia
Band 27, 358 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-435-5, ISBN-10: 3-86064-435-1
|
|
Klaus Rinderle
|
|
Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art
Band 26, 152 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-387-7, ISBN-10: 3-86064-387-8
|
|
Guido Piehlmeier
|
|
Spieltheoretische Untersuchung von Problemen der Datenverifikation
Band 25, 160 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-386-0, ISBN-10: 3-86064-386-X
|
|
Michael Ryba
|
|
Planung und Durchführung methodischer Entwurfsaktivitäten
Band 24, 292 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-378-5, ISBN-10: 3-86064-378-9
|
|
Timo Hickl
|
|
Rechtwinkliges Layout von hierarchisch strukturierten Graphen
Band 23, 312 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-363-1, ISBN-10: 3-86064-363-0
|
|
Frank Rabe
|
|
Schnelle Bilddatenkompression für Raumfahrtanwendungen
Band 22, 204 Seiten, Hamburg 1995
ISBN-13: 978-3-86064-358-7, ISBN-10: 3-86064-358-4
|
|
Jürgen Feldkamp
|
|
Kontextermittlung und -berücksichtigung in Hypertextinformationssystemen
Band 21, 228 Seiten, Hamburg 1995
ISBN-13: 978-3-86064-356-3, ISBN-10: 3-86064-356-8
|
|
Thomas Fritsch
|
|
Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen
Band 20, 312 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-352-5, ISBN-10: 3-86064-352-5
|
|
Jürgen Schwille
|
|
Dokumenten- und Prozeßmodelle für die Software-Verwaltung
Band 19, 190 Seiten, Hamburg 1995
ISBN-13: 978-3-86064-326-6, ISBN-10: 3-86064-326-6
|
|
Ruggero Costantini
|
|
Abstraktion in ereignisbasierten Modellen verteilter Systeme
Ein Beitrag zum formalen Entwurf verteilter Systeme
Band 18, 153 Seiten, Hamburg 1995
ISBN-13: 978-3-86064-323-5, ISBN-10: 3-86064-323-1
|
|
Uwe Langer
|
|
Ein Konzept zur entwurfsbegleitenden Leistungsanalyse von Rechensystemen
Band 17, 208 Seiten, Hamburg 1995
ISBN-13: 978-3-86064-289-4, ISBN-10: 3-86064-289-8
|
|
Peter Luksch
|
|
Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher
Band 15, 352 Seiten, Hamburg 1994
ISBN-13: 978-3-86064-180-4, ISBN-10: 3-86064-180-8
|
|
Chun Du
|
|
RelCAD: A Relational CAD System with Constraint-Based Geometric Modelling
Band 14, 159 Seiten, Hamburg 1995
ISBN-13: 978-3-86064-156-9, ISBN-10: 3-86064-156-5
|
|
Michael Dahr
|
|
Petri Net Semantics of Logic Programs and Deductive Databases
Band 13, 140 Seiten, Hamburg 1994
ISBN-13: 978-3-86064-150-7, ISBN-10: 3-86064-150-6
|
|
Ferdinand Geue
|
|
Eckenabsuchende Verfahren und Entartung
Theorie, Algorithmen und Vergleichstests
Band 12, 186 Seiten, Hamburg 1994
ISBN-13: 978-3-86064-149-1, ISBN-10: 3-86064-149-2
|
|
Manfred Precht
|
|
Multiple Hypothesentests
Ein Überblick für die Praxis und die Anwendung in Statistikprogrammpaketen
Band 11, 80 Seiten, Hamburg 1994
ISBN-13: 978-3-86064-139-2, ISBN-10: 3-86064-139-5
|
|
Bernd Heidergott
|
|
Pfadanalyse stochastischer Netzwerke
Band 10, 320 Seiten, Hamburg 1996
ISBN-13: 978-3-86064-086-9, ISBN-10: 3-86064-086-0
|
|
Shirin Bakthari
|
|
Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien
Band 9, 200 Seiten, Hamburg 1993
ISBN-13: 978-3-86064-059-3, ISBN-10: 3-86064-059-3
|
|
Abd E. Elnakhal
|
|
Lokale Rechnernetze für die industrielle Automation
Band 8, 150 Seiten, Hamburg 1993
ISBN-13: 978-3-86064-054-8, ISBN-10: 3-86064-054-2
|
|
Lothar Tremmel
|
|
Untersuchungen zu optimalen Symbolen in graphischen Darstellungen
Band 7, 135 Seiten, Hamburg 1992
ISBN-13: 978-3-86064-011-1, ISBN-10: 3-86064-011-9
|
|
Oscar Slotosch
|
|
Analogieschlüsse beim automatischen Beweisen
Band 6, 118 Seiten, Hamburg 1992
ISBN-13: 978-3-86064-006-7, ISBN-10: 3-86064-006-2
|
|
Rainer Fehling
|
|
Hierarchische Petrinetze
Band 5, 224 Seiten, Hamburg 1992
ISBN-13: 978-3-86064-001-2, ISBN-10: 3-86064-001-1
|
|
Rudolf Jäger
|
|
Computer-Kommunikation für lokale Rechnernetze
Leistungsbewertung und Verbesserung der Realzeiteigenschaften bei Tokenbus-basierten LANs
Band 4, 164 Seiten, Hamburg 1991
ISBN-13: 978-3-925630-57-6, ISBN-10: 3-925630-57-0
|
|
Sabine Kämper
|
|
PEGROS
Ein Konzept zur Entwicklung eines graphischen, objektorientierten Modellbildungs- und Simulationswerkzeugs auf der Basis von Petri-Netzen
Band 3, 198 Seiten, Hamburg 1991
ISBN-13: 978-3-925630-52-1, ISBN-10: 3-925630-52-X
|
|
Martin Kramer
|
|
Ein planungsorientiertes Betriebssystemmodell
Band 2, 251 Seiten, Hamburg 1991
ISBN-13: 978-3-925630-51-4, ISBN-10: 3-925630-51-1
|
|
Markus Hudec
|
|
TEWIDOK II.
Ein computergestütztes theaterwissenschaftliches Dokumentationssystem
Band 1, 210 Seiten, Hamburg 1987
ISBN-13: 978-3-925630-18-7, ISBN-10: 3-925630-18-X
|
