Ergebnisse filtern
Fachgebiet
Medium
  • 1168
  • 339
Erscheinungsjahr
  • 6
  • 96
  • 85
  • 99
  • 107
  • 100
  • 88
  • 94
  • 86
  • 121
  • 107
  • 93
  • 108
  • 62
  • 63
  • 63
  • 63
  • 66
Autoren
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 6
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 52
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 13
  • 3
  • 12
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 6
  • 3
  • 4
  • 2
  • 3
  • 5
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 4
  • 2
  • 7
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 7
  • 6
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 22
  • 13
  • 4
  • 4
  • 2
  • 3
  • 9
  • 3
  • 5
  • 3
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 8
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 6
  • 4
  • 3
  • 3
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 13
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 13
  • 7
  • 2
  • 58
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 7
  • 4
  • 2
  • 2
  • 3
  • 2
  • 7
  • 13
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 7
  • 3
  • 3
  • 2
  • 9
  • 2
  • 6
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 13
  • 8
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 8
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 3
  • 5
  • 2
  • 3
  • 2
  • 6
  • 4
  • 9
  • 2
  • 4
  • 3
  • 2
  • 6
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 17
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 14
  • 5
  • 8
  • 4
  • 2
  • 2
  • 4
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 46
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 6
  • 54
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 5
  • 5
  • 2
  • 3
  • 10
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 8
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 14
  • 15
  • 11
  • 4
  • 5
  • 3
  • 7
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 13
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 12
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 16
  • 17
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 12
  • 2
  • 57
  • 2
  • 23
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 18
  • 10
  • 16
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 9
  • 7
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 4
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 4
  • 5
  • 3
  • 3
  • 2
  • 10
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 14
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
Verlag
  • 1289
  • 1
  • 200
  • 7
  • 10
Preis
  • 68
  • 1233
  • 206
Sprachen
  • 1507
Verfügbarkeit
  • 1507
Katalog
  • 1507
  • 16
1.507  Treffer  für „Theoretical Computer Science and General Issues“
    Aguilera | Distributed Computing | Buch | Sack Fachmedien

    Aguilera Distributed Computing

    26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33650-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maletti | Algebraic Informatics | Buch | Sack Fachmedien

    Maletti Algebraic Informatics

    6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23020-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Ienne / Ji | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Chen / Ienne / Ji Advanced Parallel Processing Technologies

    11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23215-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sips / Epema / Lin | Euro-Par 2009 - Parallel Processing | Buch | Sack Fachmedien

    Sips / Epema / Lin Euro-Par 2009 - Parallel Processing

    15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03868-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev / Oltean | Optical Supercomputing | Buch | Sack Fachmedien

    Dolev / Oltean Optical Supercomputing

    Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22493-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cicalese / Porat / Vaccaro | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Cicalese / Porat / Vaccaro Combinatorial Pattern Matching

    26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19928-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Epstein / Ferragina | Algorithms -- ESA 2012 | Buch | Sack Fachmedien

    Epstein / Ferragina Algorithms -- ESA 2012

    20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33089-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Schobbens | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro / Schobbens Recent Trends in Algebraic Development Techniques

    18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71997-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Didimo / Patrignani | Graph Drawing | Buch | Sack Fachmedien

    Didimo / Patrignani Graph Drawing

    20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36762-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campos / Haverkort | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Campos / Haverkort Quantitative Evaluation of Systems

    12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22263-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lara / Plump | Graph Transformation | Buch | Sack Fachmedien

    de Lara / Plump Graph Transformation

    10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61469-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Chen / Ong | Advances in Natural Computation Part 03 | Buch | Sack Fachmedien

    Wang / Chen / Ong Advances in Natural Computation Part 03

    First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III
    Erscheinungsjahr 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28320-1
    Medium: Buch
    123,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Munoz / Tahar Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greuel / Koch / Paule | Mathematical Software - ICMS 2016 | Buch | Sack Fachmedien

    Greuel / Koch / Paule Mathematical Software - ICMS 2016

    5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42431-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kulikov / Kuznetsov / Pevzner | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Kulikov / Kuznetsov / Pevzner Combinatorial Pattern Matching

    25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07565-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | eBook | Sack Fachmedien
    E-Book

    Malyshkin Parallel Computing Technologies

    14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-62932-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fischer / Sanders | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Fischer / Sanders Combinatorial Pattern Matching

    24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38904-7
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmitz / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Schmitz / Potapov Reachability Problems

    14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-61738-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Han / Qin / Zhang | Advances in Neural Networks - ISNN 2020 | Buch | Sack Fachmedien

    Han / Qin / Zhang Advances in Neural Networks - ISNN 2020

    17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4-6, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64220-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parycek / Charalabidis / Chugunov | Electronic Participation | Buch | Sack Fachmedien

    Parycek / Charalabidis / Chugunov Electronic Participation

    9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64321-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coello Coello / Cutello / Deb | Parallel Problem Solving from Nature - PPSN XII | Buch | Sack Fachmedien

    Coello Coello / Cutello / Deb Parallel Problem Solving from Nature - PPSN XII

    12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32936-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi | Advances in Swarm Intelligence | Buch | Sack Fachmedien

    Tan / Shi Advances in Swarm Intelligence

    12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78810-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harju / Karhumäki / Lepistö | Developments in Language Theory | Buch | Sack Fachmedien

    Harju / Karhumäki / Lepistö Developments in Language Theory

    11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73207-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23177-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laarman / Sokolova | Model Checking Software | Buch | Sack Fachmedien

    Laarman / Sokolova Model Checking Software

    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-84628-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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