BISS MonographsHerausgeber www.informatik.uni-bremen.de/agbkb |
Treffer: 10 | Seite 1 von 1 |
# | Titel | Preis | |
---|---|---|---|
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 € | |
# | Titel | Preis | |
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 € | |
# | Titel | Preis | |
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 € | |
# | Titel | Preis | |
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 € | |
# | Titel | Preis | |
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 € | |
# | Titel | Preis | |
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 € | |
# | Titel | Preis | |
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 € | |
# | Titel | Preis | |
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 € | |
# | Titel | Preis | |
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 € | |
# | Titel | Preis | |
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 € |
|