Teubner Texte zur Informatik – serie

Visar alla böcker i serien Teubner Texte zur Informatik.

26 produkter

1. 

   Calculus of Distributed and Parallel Processes

   Av Clemens H. Cap

   Häftad, 2012

   1409 kr

   Lägg i varukorg

2. 

   Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

   Häftad, 2012

   509 kr

   Lägg i varukorg

3. 

   Parametrisierte Spezifikation von Schaltkreisen

   Graphischer Entwurf regulärer Strukturen

   Häftad, 1998

   659 kr

   Lägg i varukorg

4. 

   Multidimensionale Datenbanksysteme

   Modellierung und Verarbeitung

   Häftad, 1999

   659 kr

   Lägg i varukorg

5. 

   Angewandte Informatik und Formale Beschreibungsverfahren

   Festschrift zum 60. Geburtstag von Wolffried Stucky

   Av Georg Lausen, Andreas Oberweis m. fl.

   Häftad, 1999

   659 kr

   Lägg i varukorg

6. 

   Vorlesungen zur Komplexitätstheorie

   Av Gerd Wechsung

   Häftad, 2000

   819 kr

   Lägg i varukorg

7. 

   Semantik und Programmverifikation

   Av Christoph Walther

   Häftad, 2001

   509 kr

   Lägg i varukorg

8. 

   Optik in der Rechentechnik

   Photonisches VLSI und optische Netzwerke

   Av Dietmar Fey

   Häftad, 2002

   509 kr

   Lägg i varukorg

9. 

   Subskriptionssysteme

   Marktplatz für omnipräsente Informationen

   Av Wolfgang Lehner

   Häftad, 2002

   509 kr

   Lägg i varukorg

10. 

    Backup und Recovery in Datenbanksystemen

    Verfahren, Klassifikation, Implementierung und Bewertung

    Av Uta Störl

    Häftad, 2001

    509 kr

    Lägg i varukorg

11. 

    Hardware Design

    Formaler Entwurf digitaler Schaltungen

    Av Jörg Keller, Wolfgang J. Paul m. fl.

    Häftad, 2005

    879 kr

    Lägg i varukorg

12. 

    Begründungsverwaltung

    Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings

    Av Herbert Stoyan

    Häftad, 1988

    1449 kr

    Lägg i varukorg

13. 

    Informatik

    Festschrift zum 60. Geburtstag von Günter Hotz

    Av Harald Ganzinger, Wolfgang J. Paul

    Häftad, 1992

    659 kr

    Lägg i varukorg

14. 

    Implementierung und parallele Verarbeitung von Kommunikationssoftware

    Häftad, 1993

    659 kr

    Lägg i varukorg

15. 

    Formale Semantik eines erweiterten Entity-Relationship-Modells

    Häftad, 1993

    659 kr

    Lägg i varukorg

16. 

    Workflow-Management in verteilten Systemen

    Entwurf und Betrieb geregelter arbeitsteiliger Anwendungssysteme

    Av Berthold Reinwald

    Häftad, 1993

    749 kr

    Lägg i varukorg

17. 

    Evolution in Objekt-Datenbanken

    Anpassung und Integration bestehender Informationssysteme

    Häftad, 1995

    659 kr

    Lägg i varukorg

18. 

    Datenbankkonversationen

    Unterstützung kooperativer Gruppenarbeit aus datenorientierter Sicht

    Häftad, 1995

    659 kr

    Lägg i varukorg

19. 

    Dialogmodellierung für multimediale Benutzerschnittstellen

    Häftad, 1995

    659 kr

    Lägg i varukorg

20. 

    Eine Grundlegung der Average-Case Komplexitätstheorie

    Häftad, 1996

    659 kr

    Lägg i varukorg

21. 

    Zuverlässigkeitsbewertung technischer Systeme

    Modelle für Zuverlässigkeitsstrukturen und ihre analytische Auswertung

    Häftad, 1997

    659 kr

    Lägg i varukorg

22. 

    Adaptive Datenreplikation in verteilten Systemen

    Häftad, 1997

    659 kr

    Lägg i varukorg

23. 

    Dynamic Load Distribution for Parallel Applications

    Av Georg Stellner

    Häftad, 1997

    659 kr

    Lägg i varukorg

24. 

    Algorithmische Informationstheorie

    Statistische Informationstheorie und Anwendungen auf algorithmische Fragestellungen

    Av Günther Hotz

    Häftad, 1997

    479 kr

    Lägg i varukorg

25. 

    Petrinetze, lineare Algebra und lineare Programmierung

    Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

    Häftad, 1998

    599 kr

    Lägg i varukorg

26. 

    Entwurf selbsttestbarer Schaltungen

    Av Albrecht P. Ströle

    Häftad, 1998

    729 kr

    Lägg i varukorg