Header

Shop : Series overview

Shop
Series overview
BISS Monographs
Editor

Prof. Dr. Bernd Krieg-Brückner
Bremen
www.informatik.uni-bremen.de/agbkb
BISS Monographs
Editor

Prof. Dr. Bernd Krieg-Brückner
Bremen
www.informatik.uni-bremen.de/agbkb
Displaying 1 - 10 of 10 results
Displaying 1 - 10 of 10 results
Displaying 1 - 10 of 10 results
Displaying 1 - 10 of 10 results
978-3-8265-7346-0
Anne Kathrin Huge
Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG

BISS Monographs
Volume: 11
ISBN 978-3-8265-7346-0, German, Softcover, 210 pages,
20,5 x 14,5 cm, 312 g, 49,00 €
May 2000

also available as an online publication
978-3-8265-7346-0
Anne Kathrin Huge
Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG
BISS Monographs
Volume: 11
ISBN 978-3-8265-7346-0, German, Softcover, 210 pages,
20,5 x 14,5 cm, 312 g, 49,00 €
May 2000

also available as an online publication
further information
978-3-8265-6542-7
Heino Gärtner
Schematransformationen in objektorientierten Informationssystemen

BISS Monographs
Volume: 10
ISBN 978-3-8265-6542-7, German, Softcover, 188 pages,
20,5 x 14,5 cm, 278 g, 47,00 €
November 1999

also available as an online publication
978-3-8265-6542-7
Heino Gärtner
Schematransformationen in objektorientierten Informationssystemen
BISS Monographs
Volume: 10
ISBN 978-3-8265-6542-7, German, Softcover, 188 pages,
20,5 x 14,5 cm, 278 g, 47,00 €
November 1999

also available as an online publication
further information
978-3-8265-3654-0
Burkhart Wolff
A Calculus of Transformations

BISS Monographs
Volume: 4
ISBN 978-3-8265-3654-0, English, Softcover, 172 pages,
20,5 x 14,5 cm, 258 g, 47,00 €
September 1999

also available as an online publication
978-3-8265-3654-0
Burkhart Wolff
A Calculus of Transformations
BISS Monographs
Volume: 4
ISBN 978-3-8265-3654-0, English, Softcover, 172 pages,
20,5 x 14,5 cm, 258 g, 47,00 €
September 1999

also available as an online publication
further information
978-3-8265-3656-4
Bernd Krieg-Brückner
UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht

BISS Monographs
Volume: 9
ISBN 978-3-8265-3656-4, German, Softcover, 72 pages,
20,5 x 14,5 cm, 105 g, 14,50 €
April 1999

also available as an online publication
978-3-8265-3656-4
Bernd Krieg-Brückner
UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht
BISS Monographs
Volume: 9
ISBN 978-3-8265-3656-4, German, Softcover, 72 pages,
20,5 x 14,5 cm, 105 g, 14,50 €
April 1999

also available as an online publication
further information
978-3-8265-4068-4
Kolyang
HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL

BISS Monographs
Volume: 4
ISBN 978-3-8265-4068-4, English, Softcover, 134 pages,
20,5 x 14,5 cm, 198 g, 38 figures, 44,50 €
March 1999

978-3-8265-4068-4
Kolyang
HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL
BISS Monographs
Volume: 4
ISBN 978-3-8265-4068-4, English, Softcover, 134 pages,
20,5 x 14,5 cm, 198 g, 38 figures, 44,50 €
March 1999

further information
978-3-8265-4521-4
Michael Schrönen
Methodology for the Development of Microprocessor-Based Safety-Critical Systems

BISS Monographs
Volume: 8
ISBN 978-3-8265-4521-4, English, Softcover, 264 pages,
20,5 x 14,5 cm, 395 g, 49,00 €
December 1998

978-3-8265-4521-4
Michael Schrönen
Methodology for the Development of Microprocessor-Based Safety-Critical Systems
BISS Monographs
Volume: 8
ISBN 978-3-8265-4521-4, English, Softcover, 264 pages,
20,5 x 14,5 cm, 395 g, 49,00 €
December 1998

further information
978-3-8265-4067-7
Bernd Krieg-Brückner
Algebraic System Specification and Development
Survey and Annotated Bibliography 2nd Edition, 1997

BISS Monographs
Volume: 3
ISBN 978-3-8265-4067-7, English, Softcover, 242 pages,
20,5 x 14,5 cm, 360 g, 49,00 €
August 1998

978-3-8265-4067-7
Bernd Krieg-Brückner
Algebraic System Specification and Development
Survey and Annotated Bibliography 2nd Edition, 1997
BISS Monographs
Volume: 3
ISBN 978-3-8265-4067-7, English, Softcover, 242 pages,
20,5 x 14,5 cm, 360 g, 49,00 €
August 1998

further information
978-3-8265-4069-1
Michael Fröhlich
Inkrementelles Graphlayout im Visualisierungssystem da Vinci

BISS Monographs
Volume: 6
ISBN 978-3-8265-4069-1, German, Softcover, 230 pages,
20,5 x 14,5 cm, 342 g, 49,00 €
August 1998

978-3-8265-4069-1
Michael Fröhlich
Inkrementelles Graphlayout im Visualisierungssystem da Vinci
BISS Monographs
Volume: 6
ISBN 978-3-8265-4069-1, German, Softcover, 230 pages,
20,5 x 14,5 cm, 342 g, 49,00 €
August 1998

further information
978-3-8265-4070-7
Thomas Röfer
Panoramic Image Processing and Route Navigation

BISS Monographs
Volume: 7
ISBN 978-3-8265-4070-7, English, Softcover, 170 pages,
20,5 x 14,5 cm, 251 g, 74 figures, 47,00 €
August 1998

978-3-8265-4070-7
Thomas Röfer
Panoramic Image Processing and Route Navigation
BISS Monographs
Volume: 7
ISBN 978-3-8265-4070-7, English, Softcover, 170 pages,
20,5 x 14,5 cm, 251 g, 74 figures, 47,00 €
August 1998

further information
978-3-8265-3806-3
Jan Peleska
Tools for System Development and Verification
Workshop, Proceedings, Bremen, Germany July 1996

BISS Monographs
Volume: 1
ISBN 978-3-8265-3806-3, German, Softcover, 220 pages,
20,5 x 14,5 cm, 330 g, 19,50 €
May 1998

978-3-8265-3806-3
Jan Peleska
Tools for System Development and Verification
Workshop, Proceedings, Bremen, Germany July 1996
BISS Monographs
Volume: 1
ISBN 978-3-8265-3806-3, German, Softcover, 220 pages,
20,5 x 14,5 cm, 330 g, 19,50 €
May 1998

further information
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
  +49 2421 99011 9
  www.shaker.eu
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
Captcha
Social Media
Data Privacy Protection
Imprint
Newsletter