• Home
  • About us
  • Your Publication
  • Catalogue
  • Newsletter
  • Help
  • Account
  • Contact / Imprint
Thesis - Publication series - Conference proceedings - Reference book - Lecture notes/Textbook - Journal - CD-/DVD-ROM - Online publication
Newsletter for authors and editors - New publications service - Archive
View basket
Catalogue : Series overview : Institute Series : BISS Monographs

BISS Monographs

Editor

Prof. Dr. Bernd Krieg-Brückner
Bremen

 
www.informatik.uni-bremen.de/agbkb
www.informatik.uni-bremen.de/agbkb
 
Title overall: 10 Page 1 of 1
 #TitlePrice
more... 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 €
 #TitlePrice
more... 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 €
 #TitlePrice
more... 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 €
 #TitlePrice
more... 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 €
 #TitlePrice
more... 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 €
 #TitlePrice
more... 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 €
 #TitlePrice
more... 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 €
 #TitlePrice
more... 8. Michael Fröhlich
Inkrementelles Graphlayout im Visualisierungssystem da Vinci
Volume: 6
Series: BISS Monographs
978-3-8265-4069-1, August 1998more ...
49,00 €
 #TitlePrice
more... 9. Thomas Röfer
Panoramic Image Processing and Route Navigation
Volume: 7
Series: BISS Monographs
978-3-8265-4070-7, August 1998more ...
47,00 €
 #TitlePrice
more... 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 €
<<< <<  | 
1  | 
>>
>>>

Catalogue »