Skip to Content
> Verlagsreihe
-
36. Subskriptionssysteme: Marktplatz für omnipräsente Informationen (2002)
Stuttgart; Leipzig; Wiesbaden: Teubner, 2002
-
35. Optik in der Rechentechnik: photonisches VLSI und optische Netzwerke (2002)
Stuttgart; Leipzig; Wiesbaden: Teubner, 2002
-
34. Semantik und Programmverifikation (2001)
Stuttgart; Leipzig; Wiesbaden: Teubner, 2001
-
33. Backup und Recovery in Datenbanksystemen: Verfahren, Klassifikation, Implementierung und Bewertung (2001)
Stuttgart; Leipzig; Wiesbaden: Teubner, 2001
-
32. Vorlesungen zur Komplexitätstheorie (2000)
Stuttgart [u.a.]: Teubner, 2000
-
31. A calculus of distributed and parallel processes (c 2000)
Stuttgart; Leipzig: Teubner, c 2000
-
30. Multidimensionale Datenbanksysteme: Modellierung und Verarbeitung (1999)
Stuttgart; Leipzig: Teubner, 1999
-
29. Angewandte Informatik und formale Beschreibungsverfahren: Festschrift zum 60. Geburtstag von Wolffried Stucky (1999)
Stuttgart; Leipzig: Teubner, 1999
-
27. Entwurf selbsttestbarer Schaltungen (1998)
Stuttgart; Leipzig: Teubner, 1998
-
26. Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen (1998)
Stuttgart; Leipzig: Teubner, 1998
-
28. Parametrisierte Spezifikation von Schaltkreisen: graphischer Entwurf regulärer Strukturen (1998)
Stuttgart; Leipzig: Teubner, 1998
-
25. Algorithmische Informationstheorie: statistische Informationstheorie und Anwendungen auf algorithmische Fragestellungen (1997)
Stuttgart; Leipzig: Teubner, 1997
-
15. Hardware Design: formaler Entwurf digitaler Schaltungen (1997)
Stuttgart; Leipzig: Teubner, 1997
-
23. Adaptive Datenreplikation in verteilten Systemen (1997)
Stuttgart; Leipzig: Teubner, 1997
-
24. Dynamic load distribution for parallel applications (1997)
Stuttgart; Leipzig: Teubner, 1997
-
21. Zuverlässigkeitsbewertung technischer Systeme: Modelle für Zuverlässigkeitsstrukturen und ihre analytische Auswertung (1997)
Stuttgart; Leipzig: Teubner, 1997
-
20. Objektorientierter Fachentwurf: ein terminologiebasierter Ansatz für die Konstruktion von Anwendungssystemen (1997)
Stuttgart; Leipzig: Teubner, 1997
-
22. Flexible Speicherung und Indexierung komplexer Datenbankobjekte (1997)
Stuttgart; Leipzig: Teubner, 1997
-
18. Begründungsverwaltung: Grundlagen, Systeme und Algorithmen (1996)
Stuttgart; Leipzig: Teubner, 1996
-
17. Über die Erkennbarkeit unendlicher Spuren (1996)
Stuttgart; Leipzig: Teubner, 1996
-
16. Entwurf systolischer Systeme: Abbildung regulärer Algorithmen auf synchrone Prozessorarrays (1996)
Stuttgart; Leipzig: Teubner, 1996
-
Band 19. Eine Grundlegung der Average-Case Komplexitätstheorie (1996)
Stuttgart; Leipzig: B. G. Teubner Verlagsgesellschaft, 1996
-
10. Evolution in Objekt-Datenbanken: Anpassung und Integration bestehender Informationssysteme (1995)
Stuttgart; Leipzig: Teubner, 1995
-
15. Hardware Design: formaler Entwurf digitaler Schaltungen (1995)
Stuttgart; Leipzig: Teubner, 1995
-
14. Dialogmodellierung für multimediale Benutzerschnittstellen (1995)
Stuttgart [u.a.]: Teubner, 1995
-
11. Robuste und effiziente Methoden zur Lösung von Wegproblemen (1995)
Stuttgart; Leipzig: Teubner, 1995
-
13. Datenbankkonversationen: Unterstützung kooperativer Gruppenarbeit aus datenorientierter Sicht (1995)
Stuttgart; Leipzig: Teubner, 1995
-
7. Workflow-Management in verteilten Systemen: Entwurf und Betrieb geregelter arbeitsteiliger Anwendungssysteme (1995)
Stuttgart; Leipzig: Teubner, 1995
-
12. Dienstvermittlung in verteilten Systemen: Dienstalgebra, Dienstmanagement und Dienstanfrageanalyse (1995)
Stuttgart; Leipzig: Teubner, 1995
-
9. Genetische Algorithmen: Theorie und Praxis evolutionärer Optimierung (1994)
Stuttgart [u.a.]: Teubner, 1994
-
8. Quantitative Systemanalyse mit Markovschen Ketten: eine Darstellung für Informatiker und Ingenieure (1994)
Stuttgart; Leipzig: Teubner, 1994
-
5. Handsketch-based diagram editing (1993)
Stuttgart; Leipzig: Teubner, 1993
-
4. Formale Semantik eines erweiterten Entity-Relationship-Modells (1993)
Stuttgart; Leipzig: Teubner, 1993
-
7. Workflow-Management in verteilten Systemen: Entwurf und Betrieb geregelter arbeitsteiliger Anwendungssysteme (1993)
Stuttgart; Leipzig: Teubner, 1993
-
2. Implementierung und parallele Verarbeitung von Kommunikationssoftware (1993)
Stuttgart; Leipzig: Teubner, 1993
-
3. A distributed implementation of flat concurrent prolog on message-passing multiprocessor systems (1993)
Stuttgart; Leipzig: Teubner, 1993
-
6. Objektorientierte Spezifikation von Informationssystemen (1993)
Stuttgart; Leipzig: Teubner, 1993
-
1. Informatik: Festschrift zum 60. Geburtstag von Günter Hotz (1992)
Stuttgart [u.a.]: Teubner, 1992