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