• Home
  • Über uns
  • Publizieren
  • Katalog
  • Newsletter
  • Hilfe
  • Account
  • Kontakt / Impressum
Dissertation - Open Access - Publikationsreihe - Tagungsband - Fachbuch - Vorlesungsskript/Lehrbuch - Zeitschrift - CD-/DVD-ROM - Online Publikation
Suche im Gesamtkatalog - Rezensionen - Lizenzen
Newsletter für Autoren und Herausgeber - Neuerscheinungsservice - Archiv
Warenkorb ansehen
Katalog : Reihenübersicht : Institutsreihen : BISS Monographs

BISS Monographs

Herausgeber

Prof. Dr. Bernd Krieg-Brückner
Bremen

 
www.informatik.uni-bremen.de/agbkb
www.informatik.uni-bremen.de/agbkb
 
Treffer: 10 Seite 1 von 1
 #TitelPreis
mehr... 1. Anne Kathrin Huge
Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG
Band: 11
Reihe: BISS Monographs
ISBN 978-3-8265-7346-0, Deutsch, Paperback, 210 Seiten, 20,5 x 14,5 cm, 312 g, 49,00 €
Mai 2000

auch als Online-Publikation verfügbar

mehr ...
49,00 €
 #TitelPreis
mehr... 2. Heino Gärtner
Schematransformationen in objektorientierten Informationssystemen
Band: 10
Reihe: BISS Monographs
ISBN 978-3-8265-6542-7, Deutsch, Paperback, 188 Seiten, 20,5 x 14,5 cm, 278 g, 47,00 €
November 1999

auch als Online-Publikation verfügbar

mehr ...
47,00 €
 #TitelPreis
mehr... 3. Burkhart Wolff
A Calculus of Transformations
Band: 4
Reihe: BISS Monographs
ISBN 978-3-8265-3654-0, Englisch, Paperback, 172 Seiten, 20,5 x 14,5 cm, 258 g, 47,00 €
September 1999

auch als Online-Publikation verfügbar

mehr ...
47,00 €
 #TitelPreis
mehr... 4. Bernd Krieg-Brückner
UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht
Band: 9
Reihe: BISS Monographs
ISBN 978-3-8265-3656-4, Deutsch, Paperback, 72 Seiten, 20,5 x 14,5 cm, 105 g, 14,50 €
April 1999

auch als Online-Publikation verfügbar

mehr ...
14,50 €
 #TitelPreis
mehr... 5. Kolyang
HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL
Band: 4
Reihe: BISS Monographs
ISBN 978-3-8265-4068-4, Englisch, Paperback, 134 Seiten, 20,5 x 14,5 cm, 198 g, 38 Abbildungen, 44,50 €
März 1999
mehr ...
44,50 €
 #TitelPreis
mehr... 6. Michael Schrönen
Methodology for the Development of Microprocessor-Based Safety-Critical Systems
Band: 8
Reihe: BISS Monographs
ISBN 978-3-8265-4521-4, Englisch, Paperback, 264 Seiten, 20,5 x 14,5 cm, 395 g, 49,00 €
Dezember 1998
mehr ...
49,00 €
 #TitelPreis
mehr... 7. Bernd Krieg-Brückner
Algebraic System Specification and Development
Survey and Annotated Bibliography 2nd Edition, 1997
Band: 3
Reihe: BISS Monographs
ISBN 978-3-8265-4067-7, Englisch, Paperback, 242 Seiten, 20,5 x 14,5 cm, 360 g, 49,00 €
August 1998
mehr ...
49,00 €
 #TitelPreis
mehr... 8. Michael Fröhlich
Inkrementelles Graphlayout im Visualisierungssystem da Vinci
Band: 6
Reihe: BISS Monographs
ISBN 978-3-8265-4069-1, Deutsch, Paperback, 230 Seiten, 20,5 x 14,5 cm, 342 g, 49,00 €
August 1998
mehr ...
49,00 €
 #TitelPreis
mehr... 9. Thomas Röfer
Panoramic Image Processing and Route Navigation
Band: 7
Reihe: BISS Monographs
ISBN 978-3-8265-4070-7, Englisch, Paperback, 170 Seiten, 20,5 x 14,5 cm, 251 g, 74 Abbildungen, 47,00 €
August 1998
mehr ...
47,00 €
 #TitelPreis
mehr... 10. Jan Peleska
Tools for System Development and Verification
Workshop, Proceedings, Bremen, Germany July 1996
Band: 1
Reihe: BISS Monographs
ISBN 978-3-8265-3806-3, Deutsch, Paperback, 220 Seiten, 20,5 x 14,5 cm, 330 g, 19,50 €
Mai 1998
mehr ...
19,50 €
<<< <<  | 
1  | 
>>
>>>

zurück zum Katalog »