BISS MonographsUitgever:  www.informatik.uni-bremen.de/agbkb |
| Aantal titels: 10 | Pagina 1 van 1 |
| # | Titel | Prijs | |
|---|---|---|---|
 |
1. | Anne Kathrin Huge Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG Volume: 11 Reeks: BISS Monographs 978-3-8265-7346-0, Mei 2000 Online-Publicatie (PDF) meer ... | 49,00 € |
| # | Titel | Prijs | |
 |
2. | Heino Gärtner Schematransformationen in objektorientierten Informationssystemen Volume: 10 Reeks: BISS Monographs 978-3-8265-6542-7, November 1999 Online-Publicatie (PDF) meer ... | 47,00 € |
| # | Titel | Prijs | |
 |
3. | Burkhart Wolff A Calculus of Transformations Volume: 4 Reeks: BISS Monographs 978-3-8265-3654-0, September 1999 Online-Publicatie (PDF) meer ... | 47,00 € |
| # | Titel | Prijs | |
 |
4. | Bernd Krieg-Brückner UniForM Workbench Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht Volume: 9 Reeks: BISS Monographs 978-3-8265-3656-4, April 1999 Online-Publicatie (PDF) meer ... | 14,50 € |
| # | Titel | Prijs | |
 |
5. | Kolyang HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL Volume: 4 Reeks: BISS Monographs 978-3-8265-4068-4, Maart 1999meer ... | 44,50 € |
| # | Titel | Prijs | |
 |
6. | Michael Schrönen Methodology for the Development of Microprocessor-Based Safety-Critical Systems Volume: 8 Reeks: BISS Monographs 978-3-8265-4521-4, December 1998meer ... | 49,00 € |
| # | Titel | Prijs | |
 |
7. | Bernd Krieg-Brückner Algebraic System Specification and Development Survey and Annotated Bibliography 2nd Edition, 1997 Volume: 3 Reeks: BISS Monographs 978-3-8265-4067-7, Augustus 1998meer ... | 49,00 € |
| # | Titel | Prijs | |
 |
8. | Michael Fröhlich Inkrementelles Graphlayout im Visualisierungssystem da Vinci Volume: 6 Reeks: BISS Monographs 978-3-8265-4069-1, Augustus 1998meer ... | 49,00 € |
| # | Titel | Prijs | |
 |
9. | Thomas Röfer Panoramic Image Processing and Route Navigation Volume: 7 Reeks: BISS Monographs 978-3-8265-4070-7, Augustus 1998meer ... | 47,00 € |
| # | Titel | Prijs | |
 |
10. | Jan Peleska Tools for System Development and Verification Workshop, Proceedings, Bremen, Germany July 1996 Volume: 1 Reeks: BISS Monographs 978-3-8265-3806-3, Mei 1998meer ... | 19,50 € |
|