buchspektrum Internet-Buchhandlung

Neuerscheinungen 2017 Liste 1923

Stand: 2020-02-01
Schnellsuche
ISBN/Stichwort/Autor
Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de

  1. kein Cover

    Formal Aspects of Component Software
    Titel: Formal Aspects of Component Software
    Beteiligte: Ramtin Khosravi, Olga Kouchnarenko
    13th International Conference, FACS 2016, Besan‡on, France, October 19-21, 2016, Revised Selected Papers
    Herausgegeben von Kouchnarenko, Olga; Khosravi, Ramtin
    1st ed. 2017. 2017. xviii, 281 S. 104 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-57665-8 (3319576658)
    Neue ISBN: 978-3-319-57665-7 (9783319576657)

  2. kein Cover

    Formal Aspects of Component Software
    Titel: Formal Aspects of Component Software
    Beteiligte: Markus Lumpe, José Proen‡a
    14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
    Herausgegeben von Proen‡a, José; Lumpe, Markus
    1st ed. 2017. 2017. x, 251 S. 58 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-68033-1 (3319680331)
    Neue ISBN: 978-3-319-68033-0 (9783319680330)

  3. kein Cover

    Formal Concept Analysis
    Titel: Formal Concept Analysis
    Beteiligte: Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré
    14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings
    Herausgegeben von Bertet, Karell; Borchmann, Daniel; Cellier, Peggy; Ferré, Sébastien
    1st ed. 2017. 2017. xviii, 243 S. 79 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-59270-X (331959270X)
    Neue ISBN: 978-3-319-59270-1 (9783319592701)

  4. kein Cover

    Formal Methods and Software Engineering
    Titel: Formal Methods and Software Engineering
    Beteiligte: Zhenhua Duan, Luke Ong
    19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi´an, China, November 13-17, 2017, Proceedings
    Herausgegeben von Duan, Zhenhua; Ong, Luke
    1st ed. 2017. 2017. xvii, 498 S. 134 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-68689-5 (3319686895)
    Neue ISBN: 978-3-319-68689-9 (9783319686899)

  5. kein Cover

    Formal Methods: Foundations and Applica
    Titel: Formal Methods: Foundations and Applications
    Beteiligte: Simone Cavalheiro, José Fiadeiro
    20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
    Herausgegeben von Cavalheiro, Simone; Fiadeiro, José
    1st ed. 2017. 2017. x, 305 S. 101 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-70847-3 (3319708473)
    Neue ISBN: 978-3-319-70847-8 (9783319708478)

  6. kein Cover

    Formal Modeling and Analysis of Timed S
    Titel: Formal Modeling and Analysis of Timed Systems
    Beteiligte: Alessandro Abate, Gilles Geeraerts
    15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    Herausgegeben von Abate, Alessandro; Geeraerts, Gilles
    1st ed. 2017. 2017. x, 353 S. 93 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-65764-X (331965764X)
    Neue ISBN: 978-3-319-65764-6 (9783319657646)

  7. kein Cover

    Formal Techniques for Distributed Objec
    Titel: Formal Techniques for Distributed Objects, Components, and Systems
    Beteiligte: Ahmed Bouajjani, Alexandra Silva
    37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22,
    Herausgegeben von Bouajjani, Ahmed; Silva, Alexandra
    1st ed. 2017. 2017. xiv, 243 S. 50 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-60224-1 (3319602241)
    Neue ISBN: 978-3-319-60224-0 (9783319602240)

  8. kein Cover

    Forman, Manchmal musst du einfach leben
    Titel: Manchmal musst du einfach leben
    Beteiligte: Gayle Forman, Stefanie Schäfer
    Roman
    Übersetzung: Schäfer, Stefanie
    2. Aufl. 2017. 368 S. 215 mm
    Verlag/Jahr: FISCHER KRÜGER 2017
    ISBN: 3-8105-2529-4 (3810525294)
    Neue ISBN: 978-3-8105-2529-1 (9783810525291)

  9. kein Cover

    Forman:Leave Me
    Titel: Leave Me
    Autor/in: Gayle Forman
    2017. 352 S. 198 mm
    Verlag/Jahr: SIMON & SCHUSTER UK 2017
    ISBN: 1-471-15679-6 (1471156796)
    Neue ISBN: 978-1-471-15679-3 (9781471156793)

  10. kein Cover

    Forman:The Books of William Morris
    Titel: The Books of William Morris
    Beteiligte: Harry Buxton Forman, Guild of Women Binders
    described with some account of his doings in literature and in the allied crafts
    Nachdruck der Ausgabe von 1897. 2017. 248 S. 215.9 mm
    Verlag/Jahr: HANSEBOOKS 2017
    ISBN: 3-337-36778-X (333736778X)
    Neue ISBN: 978-3-337-36778-7 (9783337367787)

zurück
Hauptliste
vor