Ergebnisse filtern
Fachgebiet
Medium
  • 4447
  • 26
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 25
  • 67
  • 54
  • 50
  • 70
  • 117
  • 134
  • 99
  • 135
  • 91
  • 142
  • 104
  • 120
  • 53
  • 243
  • 80
  • 167
  • 282
  • 199
  • 272
  • 230
  • 235
  • 211
  • 188
  • 139
  • 112
  • 109
  • 101
  • 86
  • 91
  • 81
  • 58
  • 58
  • 63
  • 38
  • 47
  • 27
  • 17
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 25
  • 9
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 18
  • 5
  • 3
  • 2
  • 9
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 5
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 17
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 4
  • 4
  • 5
  • 5
  • 5
  • 6
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 5
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 5
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 8
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 9
  • 8
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 21
  • 5
  • 5
  • 3
  • 12
  • 10
  • 5
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 6
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 5
  • 5
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 17
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 5
  • 9
  • 4
  • 6
  • 10
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 7
  • 7
  • 5
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 6
  • 4
  • 49
  • 11
  • 3
  • 4
  • 4
  • 5
  • 7
  • 3
  • 3
  • 19
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 6
  • 7
  • 5
  • 4
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 15
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 21
  • 7
  • 4
  • 3
  • 9
  • 4
  • 6
  • 5
  • 3
  • 11
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 24
  • 4
  • 5
  • 3
  • 10
  • 5
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4
  • 3
  • 3
  • 9
  • 5
  • 4
  • 11
  • 1
  • 1
  • 2
  • 22
  • 4
  • 1
  • 1
  • 10
  • 40
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 1
  • 2
  • 3
  • 10
  • 2
  • 1
  • 2
  • 9
  • 1
  • 8
  • 1
  • 7
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 2
  • 652
  • 2167
  • 1
  • 658
  • 1
  • 6
  • 3
  • 223
  • 54
  • 127
  • 223
  • 8
  • 40
  • 3
  • 2
  • 1
  • 2
  • 7
  • 4
  • 5
  • 1
  • 35
  • 2
  • 27
  • 1
  • 1
  • 2
Preis
  • 14
  • 207
  • 2744
  • 1517
Sprachen
  • 4341
  • 136
  • 13
Verfügbarkeit
  • 4461
  • 21
Eigenschaften
  • 1
Katalog
  • 4482
  • 200
4.482  Titel
    Konrad | Model Generation for Natural Language Interpretation and Analysis | Buch | Sack Fachmedien

    Konrad Model Generation for Natural Language Interpretation and Analysis

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21069-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Okamoto / López | Information and Communications Security | Buch | Sack Fachmedien

    Okamoto / López Information and Communications Security

    6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23563-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boute / Dean | Teaching Formal Methods | Buch | Sack Fachmedien

    Boute / Dean Teaching Formal Methods

    CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23611-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duch / Zadrozny / Oja | Artificial Neural Networks: Biological Inspirations ¿ ICANN 2005 | Buch | Sack Fachmedien

    Duch / Zadrozny / Oja Artificial Neural Networks: Biological Inspirations ¿ ICANN 2005

    15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28752-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosen | Concurrent Zero Knowledge | Buch | Sack Fachmedien

    Rosen Concurrent Zero Knowledge

    With Additional Background by Oded Goldreich
    1. ed
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-32938-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Pierce / Carbone | DNA Computing | Buch | Sack Fachmedien

    Pierce / Carbone DNA Computing

    11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34161-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Hujun | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

    Wang / Yi / Hujun Advances in Neural Networks - ISNN 2006

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34439-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi / Kumar / Tan | Computational Science and Its Applications - ICCSA 2006 | Buch | Sack Fachmedien

    Gervasi / Kumar / Tan Computational Science and Its Applications - ICCSA 2006

    International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34070-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Zurada | Advances in Neural Networks - ISNN 2006 /3 | Buch | Sack Fachmedien

    Wang / Yi / Zurada Advances in Neural Networks - ISNN 2006 /3

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III
    2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-34482-7
    Medium: Buch
    129,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Sampaio | Theoretical Aspects of Computing ¿ ICTAC 2016 | Buch | Sack Fachmedien

    Wang / Sampaio Theoretical Aspects of Computing ¿ ICTAC 2016

    13th International Colloquium, Taipei, Taiwan, ROC, October 24¿31, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46749-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Petrenko | Perspectives of System Informatics | Buch | Sack Fachmedien

    Voronkov / Petrenko Perspectives of System Informatics

    11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74312-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fantechi / Romanovsky / Lecomte | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Fantechi / Romanovsky / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68498-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esposito / Lisi / Basili | AI*IA 2017 Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Esposito / Lisi / Basili AI*IA 2017 Advances in Artificial Intelligence

    XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-70168-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odintsov | Larisa Maksimova on Implication, Interpolation, and Definability | Buch | Sack Fachmedien

    Odintsov Larisa Maksimova on Implication, Interpolation, and Definability

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69916-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amaru | New Data Structures and Algorithms for Logic Synthesis and Verification | Buch | Sack Fachmedien

    Amaru New Data Structures and Algorithms for Logic Synthesis and Verification

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-82753-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yevtushenko / Yenigün / Cavalli | Testing Software and Systems | Buch | Sack Fachmedien

    Yevtushenko / Yenigün / Cavalli Testing Software and Systems

    29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67548-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapur / Hung | Theoretical Aspects of Computing ¿ ICTAC 2017 | Buch | Sack Fachmedien

    Kapur / Hung Theoretical Aspects of Computing ¿ ICTAC 2017

    14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67728-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muñoz / Ayala-Rincón | Interactive Theorem Proving | Buch | Sack Fachmedien

    Muñoz / Ayala-Rincón Interactive Theorem Proving

    8th International Conference, ITP 2017, Brasília, Brazil, September 26¿29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66106-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Russo / Cussens | Inductive Logic Programming | Buch | Sack Fachmedien

    Russo / Cussens Inductive Logic Programming

    26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63341-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer | Logical Foundations of Cyber-Physical Systems | Buch | Sack Fachmedien

    Platzer Logical Foundations of Cyber-Physical Systems

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63587-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    LaMeres | Introduction to Logic Circuits & Logic Design with VHDL | Buch | Sack Fachmedien

    LaMeres Introduction to Logic Circuits & Logic Design with VHDL

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-81699-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Sharygina / Dimitrova | Software Verification | Buch | Sack Fachmedien

    Bloem / Sharygina / Dimitrova Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18¿19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18¿19, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-95560-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Pasareanu / Liu | Theoretical Aspects of Computing ¿ ICTAC 2022 | Buch | Sack Fachmedien

    Seidl / Pasareanu / Liu Theoretical Aspects of Computing ¿ ICTAC 2022

    19th International Colloquium, Tbilisi, Georgia, September 27¿29, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-17714-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Komendantskaya | Mathematics of Program Construction | Buch | Sack Fachmedien

    Komendantskaya Mathematics of Program Construction

    14th International Conference, MPC 2022, Tbilisi, Georgia, September 26¿28, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16911-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler | Formal System Verification | Buch | Sack Fachmedien

    Drechsler Formal System Verification

    State-of the-Art and Future Trends
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57683-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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