buchspektrum Internet-Buchhandlung

Buchlisten 2020 Liste 11688

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 Concept Analysis ---Bestellen---
    Titel: Formal Concept Analysis
    Beteiligte: Diana Cristea, Florence Le Ber, Baris Sertkaya
    15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings
    Herausgegeben von Cristea, Diana; Le Ber, Florence; Sertkaya, Baris
    1st ed. 2019. 2019. xiii, 349 S. 527 SW-Abb., 33 Farbabb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
    ISBN: 3-03-021461-3 (3030214613)
    Neue ISBN: 978-3-03-021461-6 (9783030214616)

  2. kein Cover

    Formal Foundations of Reuse and Domain ---Bestellen---
    Titel: Formal Foundations of Reuse and Domain Engineering
    Beteiligte: Stephen H. Edwards, Gregory Kulczycki
    11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, Proceedings
    Herausgeber: Kulczycki, Gregory, Edwards, Stephen H.
    2009. xi, 299 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2009
    ISBN: 3-642-04210-4 (3642042104)
    Neue ISBN: 978-3-642-04210-2 (9783642042102)

  3. kein Cover

    Formal Grammar 2019 ---Bestellen---
    Titel: Formal Grammar
    Beteiligte: Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla
    24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
    Herausgegeben von Bernardi, Raffaella; Kobele, Greg; Pogodalla, Sylvain
    1st ed. 2019. 2019. ix, 117 S. 303 SW-Abb., 2 Farbabb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG 2019
    ISBN: 3-662-59647-4 (3662596474)
    Neue ISBN: 978-3-662-59647-0 (9783662596470)

  4. kein Cover

    Formal Investigations ---Bestellen---
    Titel: Formal Investigations
    Beteiligte: Paul Fox, Koray Melikoglu
    Aesthetic Style in Late-Victorian and Edwardian Detective Fiction
    Ed.: Paul Fox and Koray Melikoglu
    2., erw. Aufl. 2014. 286 S. 148x210 mm
    Verlag/Jahr: IBIDEM 2014
    ISBN: 3-89821-593-8 (3898215938)
    Neue ISBN: 978-3-89821-593-0 (9783898215930)

  5. kein Cover

    Formal Methods and Software Engineering ---Bestellen---
    Titel: Formal Methods and Software Engineering
    Beteiligte: Mark Lawford, Shaoying Liu, Kazuhiro Ogata
    18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
    Herausgegeben von Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying
    1st ed. 2016. 2016. xvii, 486 S. 144 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2016
    ISBN: 3-319-47845-1 (3319478451)
    Neue ISBN: 978-3-319-47845-6 (9783319478456)

  6. kein Cover

    Formal Methods and Software Engineering ---Bestellen---
    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)

  7. kein Cover

    Formal Methods and Software Engineering ---Bestellen---
    Titel: Formal Methods and Software Engineering
    Beteiligte: Jing Sun, Meng Sun
    20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    Herausgegeben von Sun, Jing; Sun, Meng
    1st ed. 2018. 2018. xxii, 474 S. 115 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2018
    ISBN: 3-03-002449-0 (3030024490)
    Neue ISBN: 978-3-03-002449-9 (9783030024499)

  8. kein Cover

    Formal Methods for Components and Objec ---Bestellen---
    Titel: Formal Methods for Components and Objects
    Beteiligte: Marcello M. Bonsangue, Eric Madelaine
    7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
    Ed. by Marcello Bonsangue and Eric Madelaine
    2009. x, 299 S. 23,5 cm
    Verlag/Jahr: SPRINGER, BERLIN 2009
    ISBN: 3-642-04166-3 (3642041663)
    Neue ISBN: 978-3-642-04166-2 (9783642041662)

  9. kein Cover

    Formal Methods for Industrial Critical ---Bestellen---
    Titel: Formal Methods for Industrial Critical Systems
    Beteiligte: Darren Cofer, Alessandro Fantechi
    13th International Workshop, FMICS 2008, L´Aquila, Italy, September 15-16, 2008, Revised Selected Papers
    Herausgeber: Fantechi, Alessandro, Cofer, Darren
    2009. x, 233 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2009
    ISBN: 3-642-03239-7 (3642032397)
    Neue ISBN: 978-3-642-03239-4 (9783642032394)

  10. kein Cover

    Formal Methods for Industrial Critical ---Bestellen---
    Titel: Formal Methods for Industrial Critical Systems
    Beteiligte: María Alpuente, Byron Cook, Christophe Joubert
    14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
    Herausgeber: Alpuente, María, Cook, Byron, Joubert, Christophe
    2009. x, 213 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2009
    ISBN: 3-642-04569-3 (3642045693)
    Neue ISBN: 978-3-642-04569-1 (9783642045691)

  1. kein Cover

    Formal Methods for Industrial Critical ---Bestellen---
    Titel: Formal Methods for Industrial Critical Systems
    Beteiligte: Stefan Leue, Pedro Merino
    12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
    Herausgegeben von Leue, Stefan; Merino, Pedro
    2008. x, 254 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2008
    ISBN: 3-540-79706-8 (3540797068)
    Neue ISBN: 978-3-540-79706-7 (9783540797067)

  2. kein Cover

    Formal Methods for Industrial Critical ---Bestellen---
    Titel: Formal Methods for Industrial Critical Systems
    Beteiligte: Kim Guldstrand Larsen, Tim Willemse
    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
    Herausgegeben von Larsen, Kim Guldstrand; Willemse, Tim
    1st ed. 2019. 2019. xv, 161 S. 123 SW-Abb., 33 Farbabb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
    ISBN: 3-03-027007-6 (3030270076)
    Neue ISBN: 978-3-03-027007-0 (9783030270070)

  3. kein Cover

    Formal Methods: Foundations and Applica ---Bestellen---
    Titel: Formal Methods: Foundations and Applications
    Beteiligte: Marcel Vinícius Mede Oliveira, Jim Woodcock
    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    Herausgegeben von Oliveira, Marcel Vinícius Medeiros; Woodcock, Jim
    2009. x, 351 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2009
    ISBN: 3-642-10451-7 (3642104517)
    Neue ISBN: 978-3-642-10451-0 (9783642104510)

  4. kein Cover

    Formal Methods: Foundations and Applica ---Bestellen---
    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)

  5. kein Cover

    Formal Methods: State of the Art and Ne ---Bestellen---
    Titel: Formal Methods: State of the Art and New Directions
    Beteiligte: Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
    Herausgegeben von Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed
    2010. 2014. xxv, 273 S. 1 Tabellen. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER, LONDON; SPRINGER 2014
    ISBN: 1-447-15745-1 (1447157451)
    Neue ISBN: 978-1-447-15745-8 (9781447157458)

  6. kein Cover

    Formal Modeling and Analysis of Timed S ---Bestellen---
    Titel: Formal Modeling and Analysis of Timed Systems
    Beteiligte: Eugene Asarin, Patricia Bouyer
    4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    Herausgeber: Bouyer, Patricia, Asarin, Eugene
    2006. xii, 372 S. XI, 369 p. Also available online. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2006
    ISBN: 3-540-45026-2 (3540450262)
    Neue ISBN: 978-3-540-45026-9 (9783540450269)

  7. kein Cover

    Formal Modeling and Analysis of Timed S ---Bestellen---
    Titel: Formal Modeling and Analysis of Timed Systems
    Beteiligte: Joel Ouaknine, Frits W. Vaandrager
    7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
    Herausgeber: Vaandrager, Frits W., Ouaknine, Joel
    2009. x, 291 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2009
    ISBN: 3-642-04367-4 (3642043674)
    Neue ISBN: 978-3-642-04367-3 (9783642043673)

  8. kein Cover

    Formal Modeling and Analysis of Timed S ---Bestellen---
    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)

  9. kein Cover

    Formal Techniques for Distributed Objec ---Bestellen---
    Titel: Formal Techniques for Distributed Objects, Components, and Systems
    Beteiligte: Susanne Graf, Mahesh Viswanathan
    35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-5, 2015, Pr
    Herausgegeben von Graf, Susanne; Viswanathan, Mahesh
    2015. 2015. xii, 245 S. 47 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2015
    ISBN: 3-319-19194-2 (3319191942)
    Neue ISBN: 978-3-319-19194-2 (9783319191942)

  10. kein Cover

    Formal Techniques for Distributed Objec ---Bestellen---
    Titel: Formal Techniques for Distributed Objects, Components, and Systems
    Beteiligte: Elvira Albert, Ivan Lanese
    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9,
    Herausgegeben von Albert, Elvira; Lanese, Ivan
    1st ed. 2016. 2016. xvi, 275 S. 56 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2016
    ISBN: 3-319-39569-6 (3319395696)
    Neue ISBN: 978-3-319-39569-2 (9783319395692)

zurück
 Hauptliste
 vor