Ergebnisse filtern
Fachgebiet
Medium
  • 10512
Erscheinungsjahr
  • 138
  • 806
  • 833
  • 624
  • 490
  • 278
  • 293
  • 296
  • 292
  • 311
  • 304
  • 316
  • 282
  • 309
  • 313
  • 265
  • 272
  • 274
  • 231
  • 261
  • 274
  • 221
  • 366
  • 306
  • 259
  • 251
  • 177
  • 176
  • 117
  • 133
  • 135
  • 117
  • 108
  • 96
  • 73
  • 84
  • 57
  • 59
  • 44
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 5
  • 6
  • 9
  • 5
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 11
  • 4
  • 11
  • 8
  • 4
  • 5
  • 6
  • 16
  • 6
  • 4
  • 21
  • 5
  • 8
  • 4
  • 6
  • 4
  • 4
  • 6
  • 5
  • 9
  • 9
  • 6
  • 4
  • 4
  • 8
  • 5
  • 14
  • 5
  • 25
  • 36
  • 6
  • 39
  • 7
  • 7
  • 4
  • 6
  • 7
  • 15
  • 16
  • 5
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 9
  • 4
  • 5
  • 6
  • 14
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 7
  • 7
  • 7
  • 4
  • 12
  • 5
  • 4
  • 5
  • 5
  • 4
  • 17
  • 7
  • 6
  • 7
  • 4
  • 14
  • 4
  • 10
  • 5
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 16
  • 4
  • 10
  • 5
  • 5
  • 8
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 7
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 16
  • 4
  • 11
  • 16
  • 5
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 16
  • 5
  • 9
  • 10
  • 5
  • 10
  • 7
  • 6
  • 4
  • 14
  • 4
  • 7
  • 4
  • 24
  • 4
  • 13
  • 4
  • 10
  • 4
  • 4
  • 9
  • 8
  • 4
  • 5
  • 11
  • 4
  • 8
  • 34
  • 12
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 5
  • 7
  • 4
  • 4
  • 20
  • 8
  • 38
  • 4
  • 9
  • 14
  • 10
  • 4
  • 7
  • 12
  • 4
  • 4
  • 9
  • 13
  • 8
  • 7
  • 39
  • 4
  • 5
  • 5
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 11
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 14
  • 10
  • 5
  • 13
  • 5
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 8
  • 4
  • 6
  • 4
  • 6
  • 14
  • 5
  • 24
  • 6
  • 7
  • 4
  • 6
  • 4
  • 7
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 42
  • 38
  • 6
  • 23
  • 5
  • 4
  • 17
  • 8
  • 23
  • 11
  • 5
  • 5
  • 7
  • 19
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 10
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 5
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 4
  • 5
  • 9
  • 4
  • 4
  • 15
  • 55
  • 30
  • 4
  • 4
  • 24
  • 9
  • 18
  • 21
  • 90
  • 5
  • 11
  • 6
  • 6
  • 14
  • 4
  • 4
  • 7
  • 19
  • 12
  • 5
  • 5
  • 5
  • 5
  • 9
  • 13
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 11
  • 40
  • 5
  • 7
  • 7
  • 4
  • 5
  • 4
  • 16
  • 8
  • 4
  • 7
  • 19
  • 39
  • 6
  • 4
  • 9
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 4
  • 4
  • 8
  • 5
  • 8
  • 15
  • 6
  • 6
  • 4
  • 6
  • 8
  • 5
  • 67
  • 4
  • 5
  • 6
  • 10
  • 5
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 19
  • 7
  • 10
  • 5
  • 6
  • 5
  • 11
  • 17
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 9
  • 9
  • 11
  • 7
  • 8
  • 7
  • 6
  • 6
  • 29
  • 8
  • 6
  • 5
  • 8
  • 26
  • 6
  • 16
  • 36
  • 6
  • 6
  • 8
  • 9
  • 15
  • 6
  • 29
  • 6
  • 9
  • 5
  • 5
  • 10
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 16
  • 20
  • 33
  • 5
  • 16
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 5
  • 14
  • 30
  • 36
  • 9
  • 9
  • 6
  • 17
  • 6
  • 5
  • 12
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 5
  • 11
  • 13
  • 18
  • 20
  • 5
  • 22
  • 8
  • 5
  • 62
  • 5
  • 19
  • 9
  • 5
  • 12
  • 21
  • 5
  • 9
  • 5
  • 6
  • 7
  • 5
  • 5
  • 8
  • 5
  • 14
  • 5
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 8
  • 18
  • 11
  • 10
  • 9
  • 9
  • 25
  • 7
  • 32
  • 29
  • 6
  • 6
  • 8
  • 7
  • 16
  • 8
  • 6
  • 8
  • 5
  • 6
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 7
  • 5
  • 5
  • 5
  • 16
  • 5
  • 9
  • 9
  • 5
  • 9
  • 82
  • 10
  • 5
  • 7
  • 6
  • 13
  • 5
  • 6
  • 5
  • 9
  • 12
  • 36
  • 13
  • 5
  • 16
  • 6
  • 5
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 8
  • 8
  • 6
  • 8
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 5
  • 18
  • 7
  • 6
  • 18
  • 14
  • 5
  • 13
  • 14
  • 13
  • 15
  • 8
  • 16
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 5
  • 6
  • 21
  • 11
  • 12
  • 11
  • 6
  • 9
  • 7
  • 7
  • 16
  • 5
  • 15
  • 13
  • 8
  • 24
  • 7
  • 7
  • 6
  • 11
  • 6
  • 5
  • 10
  • 13
  • 10
  • 7
  • 5
  • 6
  • 16
  • 6
  • 6
  • 12
  • 24
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 5
  • 18
  • 9
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 90
  • 6
  • 49
  • 11
  • 11
  • 5
  • 89
  • 21
  • 14
  • 13
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 7
  • 15
  • 20
  • 8
  • 10
  • 11
  • 17
  • 11
  • 12
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 5
  • 5
  • 9
  • 13
  • 5
  • 24
  • 5
  • 6
  • 6
  • 6
  • 5
  • 5
  • 14
  • 7
  • 8
  • 8
  • 11
  • 12
  • 41
  • 5
  • 6
  • 6
  • 6
  • 18
  • 9
  • 11
  • 8
  • 10
  • 11
  • 6
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 34
  • 12
  • 7
  • 8
  • 5
  • 6
  • 10
  • 8
  • 22
  • 6
  • 8
  • 8
  • 15
  • 14
  • 23
  • 8
  • 26
  • 7
  • 14
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 21
  • 14
  • 6
  • 6
  • 9
  • 56
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 11
  • 7
  • 10
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 14
  • 8
  • 8
  • 36
  • 5
  • 11
  • 7
  • 7
  • 12
  • 5
  • 13
  • 16
  • 10
  • 21
  • 6
  • 5
  • 17
  • 20
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 27
  • 6
  • 14
  • 10
  • 5
  • 9
  • 6
  • 6
  • 5
  • 8
  • 11
  • 8
  • 9
  • 18
  • 5
  • 9
  • 5
  • 11
  • 5
  • 6
  • 24
  • 7
  • 14
  • 5
  • 5
  • 23
  • 11
  • 5
  • 5
  • 5
  • 5
  • 9
  • 18
  • 6
  • 6
  • 6
  • 46
  • 10
  • 6
  • 5
  • 5
  • 22
  • 6
  • 43
  • 14
  • 62
  • 18
  • 5
  • 6
  • 5
  • 6
  • 32
  • 7
  • 9
  • 5
  • 18
  • 21
  • 19
  • 9
  • 9
  • 12
  • 10
  • 6
  • 6
  • 21
Verlag
  • 1
  • 10456
  • 3
  • 5
  • 1
  • 3
  • 1
  • 42
Preis
  • 47
  • 381
  • 8053
  • 2031
Sprachen
  • 10506
  • 18
  • 13
Verfügbarkeit
  • 10498
  • 14
Katalog
  • 10512
  • 542
10.512  Treffer  für „Lecture Notes in Computer Science“
    Berry / Comon / Finkel | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Comon / Finkel Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Navab / Jannin | Information Processing in Computer-Assisted Interventions | Buch | Sack Fachmedien

    Navab / Jannin Information Processing in Computer-Assisted Interventions

    First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13710-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Attrapadung / Yagi | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Attrapadung / Yagi Advances in Information and Computer Security

    14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28-30, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer
    ISBN: 978-3-030-26833-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cid / Yanai | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Cid / Yanai Advances in Information and Computer Security

    20th International Workshop on Security, IWSEC 2025, Fukuoka, Japan, November 25-27, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954673-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gopalakrishnan / Windley | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Gopalakrishnan / Windley Formal Methods in Computer-Aided Design

    Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65191-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antona / Stephanidis | Universal Access in Human-Computer Interaction | Buch | Sack Fachmedien

    Antona / Stephanidis Universal Access in Human-Computer Interaction

    17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35896-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogawa / Yoshioka | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Ogawa / Yoshioka Advances in Information and Computer Security

    11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44523-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Obana / Chida | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Obana / Chida Advances in Information and Computer Security

    12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 - September 1, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64199-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ponce / Zisserman / Hebert | Object Representation in Computer Vision II | Buch | Sack Fachmedien

    Ponce / Zisserman / Hebert Object Representation in Computer Vision II

    ECCV '96 International Workshop, Cambridge, UK, April 13 - 14, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61750-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Griffin / Lillholm | Scale Space Methods in Computer Vision | Buch | Sack Fachmedien

    Griffin / Lillholm Scale Space Methods in Computer Vision

    4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40368-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kerber / Carette / Kaliszyk | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kerber / Carette / Kaliszyk Intelligent Computer Mathematics

    International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
    2015
    Verlag: Springer
    ISBN: 978-3-319-20614-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davenport / Farmer / Rabe | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Davenport / Farmer / Rabe Intelligent Computer Mathematics

    18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22672-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yagi / Kang / Kweon | Computer Vision - ACCV 2007 | Buch | Sack Fachmedien

    Yagi / Kang / Kweon Computer Vision - ACCV 2007

    8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76389-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Ganesh | Computer Aided Verification | Buch | Sack Fachmedien

    Gurfinkel / Ganesh Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-65626-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carette / Dixon / Sacerdoti Coen | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Carette / Dixon / Sacerdoti Coen Intelligent Computer Mathematics

    16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02613-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53287-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilly / Thomas | Computer Performance Engineering | Buch | Sack Fachmedien

    Gilly / Thomas Computer Performance Engineering

    18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-25048-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Potapova / Mporas | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Potapova / Mporas Speech and Computer

    19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66428-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-60404-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudhuri / Farzan | Computer Aided Verification | Buch | Sack Fachmedien

    Chaudhuri / Farzan Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41527-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt / Hunt, Jr. / Somenzi | Computer Aided Verification | Buch | Sack Fachmedien

    Hunt / Hunt, Jr. / Somenzi Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40524-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gribaudo / Iacono / Phung-Duc | Computer Performance Engineering | Buch | Sack Fachmedien

    Gribaudo / Iacono / Phung-Duc Computer Performance Engineering

    16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-44410-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolper | Computer Aided Verification | Buch | Sack Fachmedien

    Wolper Computer Aided Verification

    7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillig / Tasiran | Computer Aided Verification | Buch | Sack Fachmedien

    Dillig / Tasiran Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25539-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53290-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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