Fachgebiet
Medium
  • 6
  • 4
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 18
  • 2
  • 18
  • 2
  • 18
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 24
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 7
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 9
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 3
  • 2
  • 15
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 18
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 24
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 4
  • 19
  • 2
  • 2
  • 18
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 18
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 15
  • 3
  • 3
  • 8
  • 7
  • 6
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 10
  • 4
  • 5
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 7
  • 3
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 18
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 43
  • 3
  • 5
  • 4
  • 3
  • 14
  • 11
  • 3
  • 3
  • 3
  • 18
  • 6
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 7
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 7
  • 11
  • 5
  • 7
  • 4
  • 3
  • 3
  • 6
  • 3
  • 16
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 18
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 5
  • 4
  • 3
  • 4
  • 10
  • 11
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 9
  • 22
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 30
  • 7
  • 11
  • 5
  • 8
  • 11
  • 7
  • 18
  • 4
  • 3
  • 3
  • 6
  • 7
  • 7
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 11
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 5
  • 18
  • 4
  • 4
  • 4
  • 23
  • 18
  • 3
  • 5
  • 7
  • 4
  • 3
  • 5
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 3
  • 3
  • 4
  • 18
  • 11
  • 4
  • 7
  • 4
  • 13
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 24
  • 3
  • 4
  • 18
  • 3
  • 5
  • 3
  • 4
  • 24
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 13
  • 9
  • 18
  • 7
  • 4
  • 11
  • 3
  • 4
  • 10
  • 3
  • 7
  • 4
  • 4
  • 3
  • 4
  • 4
  • 7
  • 11
  • 3
  • 7
  • 25
  • 18
  • 5
  • 4
  • 3
  • 7
  • 9
  • 18
  • 3
  • 19
  • 4
  • 39
  • 7
  • 7
  • 6
  • 3
  • 3
  • 18
  • 10
  • 18
  • 4
  • 3
  • 3
  • 4
  • 18
  • 3
  • 3
  • 14
  • 4
  • 6
  • 3
  • 15
  • 4
  • 4
  • 3
  • 18
  • 4
Verlag
  • 1
  • 7
  • 1
  • 1
Preis
  • 2
  • 8
Sprachen
  • 8
  • 2
Verfügbarkeit
  • 10
Katalog
  • 10
10  Treffer  für „Steffen, Martin“


    Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems

    7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26181-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems

    7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-31556-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Camara / Steffen Software Engineering and Formal Methods

    SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57505-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Camara / Steffen Software Engineering and Formal Methods

    SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57506-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    74,89 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness

    Essays in Honor of Willem-Paul de Roever
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11511-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness

    Essays in Honor of Willem-Paul de Roever
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-11512-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Owe / Steffen / Telle Fundamentals of Computation Theory

    18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-22953-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Owe / Steffen / Telle Fundamentals of Computation Theory

    18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22952-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jochim / Rehmann / Sellmann Hat die Rede von Gott noch Zukunft?

    1 Frage - 111 Antworten
    1. Auflage 2024
    Verlag: Echter Verlag GmbH
    ISBN: 978-3-429-06740-3
    Medium: Buch
    24,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Rüth O. H. Hajek - C. Platz

    Ausgestellt - Vorgestellt II
    Erscheinungsjahr 1996
    Verlag: Stadt Marl
    ISBN: 978-3-924790-44-8
    Medium: Buch
    16,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular