Ergebnisse filtern
Fachgebiet
Medium
  • 10740
  • 2628
Erscheinungsjahr
  • 312
  • 1019
  • 1053
  • 802
  • 630
  • 389
  • 404
  • 444
  • 416
  • 430
  • 417
  • 438
  • 401
  • 439
  • 441
  • 398
  • 369
  • 271
  • 247
  • 278
  • 291
  • 224
  • 448
  • 590
  • 263
  • 252
  • 179
  • 176
  • 135
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 6
  • 7
  • 8
  • 7
  • 12
  • 12
  • 6
  • 5
  • 5
  • 5
  • 11
  • 12
  • 11
  • 5
  • 20
  • 8
  • 23
  • 7
  • 10
  • 6
  • 8
  • 10
  • 11
  • 8
  • 13
  • 31
  • 52
  • 7
  • 48
  • 7
  • 7
  • 6
  • 6
  • 20
  • 17
  • 12
  • 6
  • 46
  • 6
  • 6
  • 7
  • 10
  • 6
  • 18
  • 7
  • 6
  • 8
  • 8
  • 9
  • 9
  • 7
  • 6
  • 7
  • 10
  • 10
  • 6
  • 21
  • 6
  • 9
  • 21
  • 12
  • 8
  • 8
  • 18
  • 12
  • 11
  • 7
  • 57
  • 19
  • 13
  • 7
  • 9
  • 11
  • 9
  • 7
  • 8
  • 6
  • 7
  • 10
  • 9
  • 8
  • 15
  • 13
  • 18
  • 12
  • 16
  • 7
  • 8
  • 6
  • 46
  • 15
  • 9
  • 7
  • 7
  • 10
  • 19
  • 7
  • 12
  • 12
  • 13
  • 7
  • 7
  • 18
  • 11
  • 9
  • 25
  • 6
  • 17
  • 6
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 11
  • 61
  • 7
  • 13
  • 9
  • 20
  • 20
  • 11
  • 7
  • 25
  • 9
  • 48
  • 11
  • 15
  • 13
  • 9
  • 11
  • 8
  • 17
  • 6
  • 10
  • 15
  • 10
  • 11
  • 46
  • 9
  • 12
  • 11
  • 17
  • 6
  • 8
  • 10
  • 7
  • 16
  • 10
  • 7
  • 8
  • 7
  • 8
  • 23
  • 12
  • 7
  • 19
  • 11
  • 7
  • 10
  • 6
  • 8
  • 22
  • 22
  • 8
  • 9
  • 6
  • 6
  • 7
  • 9
  • 16
  • 25
  • 9
  • 9
  • 7
  • 6
  • 11
  • 7
  • 7
  • 7
  • 11
  • 6
  • 11
  • 19
  • 12
  • 7
  • 11
  • 11
  • 10
  • 52
  • 48
  • 8
  • 30
  • 6
  • 11
  • 22
  • 11
  • 26
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 20
  • 7
  • 7
  • 7
  • 11
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 9
  • 19
  • 13
  • 9
  • 11
  • 12
  • 24
  • 9
  • 8
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 6
  • 6
  • 11
  • 9
  • 12
  • 16
  • 17
  • 68
  • 44
  • 11
  • 6
  • 27
  • 14
  • 22
  • 34
  • 109
  • 7
  • 14
  • 10
  • 6
  • 8
  • 6
  • 22
  • 8
  • 9
  • 23
  • 16
  • 7
  • 8
  • 7
  • 6
  • 11
  • 21
  • 9
  • 16
  • 9
  • 8
  • 10
  • 6
  • 8
  • 15
  • 7
  • 53
  • 6
  • 13
  • 6
  • 10
  • 7
  • 7
  • 17
  • 27
  • 8
  • 9
  • 8
  • 25
  • 46
  • 11
  • 7
  • 6
  • 16
  • 19
  • 15
  • 8
  • 7
  • 9
  • 6
  • 9
  • 6
  • 13
  • 19
  • 9
  • 6
  • 6
  • 10
  • 7
  • 84
  • 6
  • 14
  • 14
  • 8
  • 8
  • 7
  • 8
  • 8
  • 19
  • 7
  • 11
  • 10
  • 11
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 14
  • 6
  • 7
  • 21
  • 17
  • 7
  • 6
  • 6
  • 8
  • 13
  • 6
  • 6
  • 9
  • 6
  • 17
  • 9
  • 7
  • 6
  • 11
  • 6
  • 18
  • 7
  • 8
  • 7
  • 11
  • 6
  • 13
  • 12
  • 16
  • 6
  • 6
  • 8
  • 6
  • 9
  • 10
  • 10
  • 7
  • 7
  • 8
  • 37
  • 6
  • 10
  • 13
  • 6
  • 9
  • 6
  • 30
  • 8
  • 9
  • 6
  • 21
  • 45
  • 7
  • 6
  • 6
  • 11
  • 12
  • 19
  • 6
  • 34
  • 6
  • 14
  • 9
  • 6
  • 7
  • 18
  • 6
  • 18
  • 6
  • 6
  • 27
  • 42
  • 23
  • 14
  • 8
  • 28
  • 7
  • 6
  • 14
  • 10
  • 7
  • 34
  • 6
  • 6
  • 15
  • 37
  • 47
  • 6
  • 8
  • 10
  • 8
  • 9
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 7
  • 8
  • 8
  • 6
  • 9
  • 9
  • 7
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 8
  • 6
  • 23
  • 7
  • 7
  • 7
  • 8
  • 19
  • 8
  • 8
  • 7
  • 14
  • 18
  • 6
  • 19
  • 6
  • 9
  • 7
  • 7
  • 7
  • 7
  • 11
  • 15
  • 7
  • 20
  • 7
  • 22
  • 6
  • 29
  • 9
  • 11
  • 8
  • 7
  • 83
  • 8
  • 6
  • 22
  • 7
  • 9
  • 6
  • 6
  • 14
  • 28
  • 10
  • 15
  • 6
  • 12
  • 6
  • 10
  • 7
  • 6
  • 10
  • 6
  • 22
  • 9
  • 6
  • 9
  • 27
  • 10
  • 6
  • 7
  • 6
  • 14
  • 15
  • 17
  • 6
  • 19
  • 22
  • 20
  • 11
  • 23
  • 7
  • 8
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 32
  • 8
  • 10
  • 7
  • 44
  • 35
  • 6
  • 8
  • 6
  • 9
  • 10
  • 21
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 10
  • 12
  • 8
  • 9
  • 6
  • 12
  • 7
  • 26
  • 9
  • 8
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 16
  • 6
  • 10
  • 7
  • 42
  • 7
  • 13
  • 13
  • 6
  • 8
  • 6
  • 20
  • 6
  • 8
  • 7
  • 15
  • 6
  • 7
  • 10
  • 7
  • 7
  • 9
  • 9
  • 101
  • 14
  • 8
  • 6
  • 10
  • 7
  • 9
  • 20
  • 8
  • 10
  • 6
  • 7
  • 10
  • 13
  • 56
  • 16
  • 6
  • 20
  • 6
  • 7
  • 16
  • 9
  • 13
  • 7
  • 6
  • 6
  • 8
  • 11
  • 6
  • 8
  • 7
  • 9
  • 9
  • 11
  • 8
  • 7
  • 8
  • 10
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 6
  • 9
  • 6
  • 20
  • 15
  • 6
  • 7
  • 6
  • 13
  • 7
  • 18
  • 17
  • 19
  • 11
  • 18
  • 9
  • 7
  • 12
  • 34
  • 12
  • 9
  • 10
  • 17
  • 8
  • 6
  • 7
  • 25
  • 6
  • 13
  • 17
  • 17
  • 6
  • 6
  • 13
  • 11
  • 6
  • 18
  • 8
  • 18
  • 8
  • 9
  • 21
  • 9
  • 25
  • 9
  • 10
  • 6
  • 12
  • 6
  • 16
  • 7
  • 6
  • 13
  • 17
  • 12
  • 6
  • 10
  • 7
  • 6
  • 7
  • 7
  • 24
  • 6
  • 9
  • 10
  • 7
  • 7
  • 8
  • 14
  • 31
  • 7
  • 17
  • 8
  • 7
  • 11
  • 25
  • 7
  • 10
  • 10
  • 11
  • 6
  • 122
  • 7
  • 9
  • 10
  • 7
  • 30
  • 14
  • 9
  • 6
  • 23
  • 11
  • 9
  • 11
  • 15
  • 10
  • 28
  • 8
  • 123
  • 6
  • 57
  • 15
  • 13
  • 12
  • 120
  • 31
  • 6
  • 15
  • 8
  • 13
  • 8
  • 13
  • 6
  • 15
  • 16
  • 14
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 13
  • 120
  • 10
  • 15
  • 28
  • 12
  • 18
  • 11
  • 6
  • 12
  • 6
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 9
  • 7
  • 14
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 34
  • 9
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 11
  • 9
  • 11
  • 11
  • 18
  • 7
  • 20
  • 39
  • 17
  • 9
  • 11
  • 10
  • 25
  • 10
  • 12
  • 10
  • 16
  • 12
  • 8
  • 12
  • 11
  • 6
  • 49
  • 9
  • 42
  • 7
  • 15
  • 10
  • 13
  • 9
  • 13
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 10
  • 11
  • 12
  • 22
  • 8
  • 23
  • 35
  • 6
  • 9
  • 15
  • 6
  • 29
  • 14
  • 18
  • 33
  • 70
  • 12
  • 21
  • 21
  • 10
  • 15
  • 8
  • 11
  • 20
  • 22
  • 18
  • 12
  • 9
  • 12
  • 73
  • 25
  • 15
  • 12
  • 7
  • 17
  • 19
  • 9
  • 10
  • 17
  • 9
  • 16
  • 14
  • 8
  • 6
  • 16
  • 16
  • 10
  • 10
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 20
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 17
  • 11
  • 6
  • 12
  • 43
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 17
  • 25
  • 12
  • 14
  • 27
  • 9
  • 8
  • 8
  • 6
  • 20
  • 8
  • 25
  • 8
  • 13
  • 7
  • 8
  • 11
  • 9
  • 8
  • 11
  • 10
  • 10
  • 7
  • 33
  • 8
  • 17
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 9
  • 7
  • 10
  • 7
  • 17
  • 13
  • 11
  • 7
  • 20
  • 18
  • 7
  • 6
  • 7
  • 17
  • 11
  • 29
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 30
  • 8
  • 12
  • 6
  • 9
  • 14
  • 10
  • 6
  • 9
  • 20
  • 7
  • 9
  • 7
  • 8
  • 62
  • 16
  • 6
  • 7
  • 10
  • 28
  • 7
  • 6
  • 58
  • 20
  • 79
  • 6
  • 21
  • 6
  • 11
  • 8
  • 7
  • 9
  • 38
  • 9
  • 7
  • 23
  • 22
  • 21
  • 11
  • 10
  • 6
  • 15
  • 15
  • 30
Verlag
  • 3
  • 11590
  • 36
  • 1549
  • 1
  • 14
  • 5
  • 3
  • 126
  • 1
  • 1
  • 39
Preis
  • 47
  • 488
  • 10549
  • 2284
Sprachen
  • 13360
  • 19
  • 15
Verfügbarkeit
  • 13350
  • 18
Eigenschaften
  • 18
Katalog
  • 13368
  • 551
13.368  Treffer  für „Lecture Notes in Computer Science“
    Tribastone / Gilmore | Computer Performance Engineering | Buch | Sack Fachmedien

    Tribastone / Gilmore Computer Performance Engineering

    9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36780-9
    Medium: Buch
    49,22 € (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 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93964-8
    Medium: Buch
    96,29 € (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 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-35598-1
    Medium: Buch
    160,49 € (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
    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
    Sharygina / Veith | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39799-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tribastone / Gilmore | Computer Performance Engineering | eBook | Sack Fachmedien
    E-Book

    Tribastone / Gilmore Computer Performance Engineering

    9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-36781-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    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
    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
    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
    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
    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
    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
    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
    Salah / Karpov / Potapova | Speech and Computer | eBook | Sack Fachmedien
    E-Book

    Salah / Karpov / Potapova Speech and Computer

    21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20–25, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-26061-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Karpov / Jokisch / Potapova | Speech and Computer | eBook | Sack Fachmedien
    E-Book

    Karpov / Jokisch / Potapova Speech and Computer

    20th International Conference, SPECOM 2018, Leipzig, Germany, September 18–22, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99579-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ronzhin / Potapova / Fakotakis | Speech and Computer | eBook | Sack Fachmedien
    E-Book

    Ronzhin / Potapova / Fakotakis Speech and Computer

    17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23132-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chaudhuri / Farzan | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    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 International Publishing
    ISBN: 978-3-319-41528-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kohlhase / Kovács | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kohlhase / Kovács Intelligent Computer Mathematics

    17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66996-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enea / Lal | Computer Aided Verification | Buch | Sack Fachmedien

    Enea / Lal Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37705-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Chen / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Liu / Chen / Vincze Computer Vision Systems

    11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68344-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Touili / Cook / Jackson | Computer Aided Verification | Buch | Sack Fachmedien

    Touili / Cook / Jackson Computer Aided Verification

    22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14294-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chockler / Weissenbacher | Computer Aided Verification | Buch | Sack Fachmedien

    Chockler / Weissenbacher Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96141-5
    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