Header

Shop : Reihenübersicht

Shop
Reihenübersicht
BISS Monographs
Herausgeber

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

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

BISS Monographs
Band: 11
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
978-3-8265-7346-0
Anne Kathrin Huge
Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG
BISS Monographs
Band: 11
ISBN 978-3-8265-7346-0, Deutsch, Paperback, 210 Seiten,
20,5 x 14,5 cm, 312 g, 49,00 €
Erscheinungsdatum Mai 2000

auch als Online-Publikation verfügbar

weitere Informationen
978-3-8265-6542-7
Heino Gärtner
Schematransformationen in objektorientierten Informationssystemen

BISS Monographs
Band: 10
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
978-3-8265-6542-7
Heino Gärtner
Schematransformationen in objektorientierten Informationssystemen
BISS Monographs
Band: 10
ISBN 978-3-8265-6542-7, Deutsch, Paperback, 188 Seiten,
20,5 x 14,5 cm, 278 g, 47,00 €
Erscheinungsdatum November 1999

auch als Online-Publikation verfügbar

weitere Informationen
978-3-8265-3654-0
Burkhart Wolff
A Calculus of Transformations

BISS Monographs
Band: 4
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
978-3-8265-3654-0
Burkhart Wolff
A Calculus of Transformations
BISS Monographs
Band: 4
ISBN 978-3-8265-3654-0, Englisch, Paperback, 172 Seiten,
20,5 x 14,5 cm, 258 g, 47,00 €
Erscheinungsdatum September 1999

auch als Online-Publikation verfügbar

weitere Informationen
978-3-8265-3656-4
Bernd Krieg-Brückner
UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht

BISS Monographs
Band: 9
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
978-3-8265-3656-4
Bernd Krieg-Brückner
UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht
BISS Monographs
Band: 9
ISBN 978-3-8265-3656-4, Deutsch, Paperback, 72 Seiten,
20,5 x 14,5 cm, 105 g, 14,50 €
Erscheinungsdatum April 1999

auch als Online-Publikation verfügbar

weitere Informationen
978-3-8265-4068-4
Kolyang
HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL

BISS Monographs
Band: 4
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

978-3-8265-4068-4
Kolyang
HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL
BISS Monographs
Band: 4
ISBN 978-3-8265-4068-4, Englisch, Paperback, 134 Seiten,
20,5 x 14,5 cm, 198 g, 38 Abbildungen, 44,50 €
Erscheinungsdatum März 1999

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

BISS Monographs
Band: 8
ISBN 978-3-8265-4521-4, Englisch, Paperback, 264 Seiten,
20,5 x 14,5 cm, 395 g, 49,00 €
Dezember 1998

978-3-8265-4521-4
Michael Schrönen
Methodology for the Development of Microprocessor-Based Safety-Critical Systems
BISS Monographs
Band: 8
ISBN 978-3-8265-4521-4, Englisch, Paperback, 264 Seiten,
20,5 x 14,5 cm, 395 g, 49,00 €
Erscheinungsdatum Dezember 1998

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

BISS Monographs
Band: 3
ISBN 978-3-8265-4067-7, Englisch, Paperback, 242 Seiten,
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
Band: 3
ISBN 978-3-8265-4067-7, Englisch, Paperback, 242 Seiten,
20,5 x 14,5 cm, 360 g, 49,00 €
Erscheinungsdatum August 1998

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

BISS Monographs
Band: 6
ISBN 978-3-8265-4069-1, Deutsch, Paperback, 230 Seiten,
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
Band: 6
ISBN 978-3-8265-4069-1, Deutsch, Paperback, 230 Seiten,
20,5 x 14,5 cm, 342 g, 49,00 €
Erscheinungsdatum August 1998

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

BISS Monographs
Band: 7
ISBN 978-3-8265-4070-7, Englisch, Paperback, 170 Seiten,
20,5 x 14,5 cm, 251 g, 74 Abbildungen, 47,00 €
August 1998

978-3-8265-4070-7
Thomas Röfer
Panoramic Image Processing and Route Navigation
BISS Monographs
Band: 7
ISBN 978-3-8265-4070-7, Englisch, Paperback, 170 Seiten,
20,5 x 14,5 cm, 251 g, 74 Abbildungen, 47,00 €
Erscheinungsdatum August 1998

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

BISS Monographs
Band: 1
ISBN 978-3-8265-3806-3, Deutsch, Paperback, 220 Seiten,
20,5 x 14,5 cm, 330 g, 19,50 €
Mai 1998

978-3-8265-3806-3
Jan Peleska
Tools for System Development and Verification
Workshop, Proceedings, Bremen, Germany July 1996
BISS Monographs
Band: 1
ISBN 978-3-8265-3806-3, Deutsch, Paperback, 220 Seiten,
20,5 x 14,5 cm, 330 g, 19,50 €
Erscheinungsdatum Mai 1998

weitere Informationen
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
  +49 2421 99011 9
  www.shaker.de
Mo. - Do. 8:00 Uhr bis 16:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
Social Media
Datenschutz
Impressum
Newsletter