19 results
Type of media (2)
Language (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
19 results

Your search for BISS Monographs

  1. Cover: Symmetriesignaturen für bildbasierte Anwendungen in der Robotik - Logos Berlin
    Kai Hübner
    Symmetriesignaturen für bildbasierte Anwendungen in der Robotik
    03/2007
    Logos Berlin
    9783832514556 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  2. Cover: Representations, Hierarchies and Graphs of Institutions - Logos Berlin
    Till Mossakowski
    Representations, Hierarchies and Graphs of Institutions
    2002
    Logos Berlin
    9783897228313 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  3. Cover: Dreidimensional, interaktive und animierte Softwarevisualisierung zur Unterstützung im Softwareentwicklungsprozess - Logos Berlin
    Oliver Radfelder
    Dreidimensional, interaktive und animierte Softwarevisualisierung zur Unterstützung im Softwareentwicklungsprozess
    09/2006
    Logos Berlin
    9783832513023 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  4. Cover: Maintaining families of rigorous requirements for embedded software systems - Logos Berlin
    Jan Bredereke
    Maintaining families of rigorous requirements for embedded software systems
    05/2007
    Logos Berlin
    9783832515218 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  5. Cover: A Framework for Formal Representation and Transformational Optimisation of Executable Specifications - Logos Berlin
    Thomas Meyer
    A Framework for Formal Representation and Transformational Optimisation of Executable Specifications
    09/2008
    Logos Berlin
    9783832515621 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  6. Cover: An Integrated Operational Semantics for a UML Core Based on Graph Transformation - Logos Berlin
    Paul Ziemann
    An Integrated Operational Semantics for a UML Core Based on Graph Transformation
    02/2006
    Logos Berlin
    9783832510718 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  7. Cover: HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES - Logos Berlin
    Haykal Tej
    HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES
    08/2003
    1st EDN1st Edition
    Logos Berlin
    9783832502874 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  8. Cover: The Bremen Autonomous Wheelchair Rolland: Self-Localization and Shared Control - Logos Berlin
    Axel Lankenau
    The Bremen Autonomous Wheelchair Rolland: Self-Localization and Shared Control
    08/2003
    1st EDN1st Edition
    Logos Berlin
    9783832503062 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  9. This image is currently not available.
    Anne K. Huge
    Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG
    2000
    Shaker
    9783826573460 (ISBN)
    Book
    Paperback/Softback
    €49.00
    Article not available
  10. This image is currently not available.
    Michael Fröhlich
    Inkrementelles Graphlayout im Visualisierungssystem da Vinci
    1998
    Shaker
    9783826540691 (ISBN)
    Book
    Paperback/Softback
    €49.00
    Article not available
  11. This image is currently not available.
    Ralf Kollmann
    Design Recovery Techniques for Object-Oriented Software Systems
    02/2003
    1st EDN1st Edition
    Logos Berlin
    9783832501419 (ISBN)
    Book
    Paperback/Softback
    €40.50
    Article not available
  12. This image is currently not available.
    Burkhart Wolff
    A Calculus of Transformations
    1999
    Shaker
    9783826536540 (ISBN)
    Book
    Paperback/Softback
    €47.00
    Article not available
  13. This image is currently not available.
    Heino Gärtner
    Schematransformationen in objektorientierten Informationssystemen
    1999
    Shaker
    9783826565427 (ISBN)
    Other
    Undefined
    €47.00
    Article not available
  14. This image is currently not available.
    Jan Peleska
    Tools for System Development and Verification
    Proceedings. Workshop Bremen, Germany, July 1996
    1998
    Shaker
    9783826538063 (ISBN)
    Other
    Undefined
    €19.50
    Article not available
  15. This image is currently not available.
    Bernd Krieg-Brückner
    UniForM Workbench
    Universelle Entwicklungsumgebung für Formale Methoden, Schlussbericht
    1999
    Shaker
    9783826536564 (ISBN)
    Other
    Undefined
    €14.50
    Article not available
  16. This image is currently not available.
    Michael Schrönen
    Methodology for the Development of Microprocessor-Based Safety-Critical Systems
    1998
    Shaker
    9783826545214 (ISBN)
    Book
    Paperback/Softback
    €49.00
    Article not available
  17. This image is currently not available.
    Kolyang
    HOL - Z
    An Integrated Formal Support Environment For Z in Isabelle/HOL
    1998
    Shaker
    9783826540684 (ISBN)
    Book
    Paperback/Softback
    €44.50
    Article not available
  18. This image is currently not available.
    Thomas Röfer
    Panoramic Image Processing and Route Navigation
    1998
    Shaker
    9783826540707 (ISBN)
    Book
    Paperback/Softback
    €47.00
    Article not available
  19. This image is currently not available.
    Bernd Krieg-Brückner
    Algebraic System Specification and Development
    Survey and Annotated Bibliography 2nd Edition, 1997
    1998
    Shaker
    9783826540677 (ISBN)
    Other
    Undefined
    €49.00
    Article not available