Ergebnisse filtern
Fachgebiet
Medium
  • 10464
Erscheinungsjahr
  • 83
  • 814
  • 843
  • 619
  • 483
  • 297
  • 287
  • 326
  • 324
  • 299
  • 304
  • 299
  • 289
  • 283
  • 298
  • 293
  • 262
  • 257
  • 227
  • 264
  • 249
  • 224
  • 363
  • 301
  • 252
  • 254
  • 177
  • 175
  • 125
  • 141
  • 140
  • 122
  • 107
  • 95
  • 71
  • 85
  • 60
  • 57
  • 44
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 9
  • 5
  • 4
  • 10
  • 4
  • 6
  • 7
  • 4
  • 4
  • 5
  • 5
  • 7
  • 4
  • 12
  • 6
  • 4
  • 4
  • 8
  • 17
  • 6
  • 19
  • 4
  • 8
  • 4
  • 9
  • 5
  • 9
  • 8
  • 4
  • 5
  • 4
  • 9
  • 14
  • 4
  • 23
  • 36
  • 7
  • 4
  • 39
  • 7
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 8
  • 12
  • 5
  • 4
  • 15
  • 4
  • 5
  • 11
  • 4
  • 6
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 10
  • 7
  • 4
  • 7
  • 6
  • 5
  • 4
  • 4
  • 13
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 4
  • 6
  • 5
  • 7
  • 4
  • 5
  • 9
  • 7
  • 6
  • 11
  • 8
  • 4
  • 8
  • 5
  • 5
  • 22
  • 5
  • 6
  • 6
  • 4
  • 15
  • 5
  • 8
  • 5
  • 4
  • 6
  • 4
  • 10
  • 8
  • 4
  • 6
  • 4
  • 18
  • 4
  • 9
  • 6
  • 5
  • 8
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 19
  • 18
  • 6
  • 5
  • 9
  • 4
  • 9
  • 7
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 7
  • 4
  • 9
  • 5
  • 4
  • 6
  • 5
  • 4
  • 7
  • 14
  • 6
  • 4
  • 12
  • 8
  • 4
  • 13
  • 9
  • 16
  • 7
  • 4
  • 4
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 5
  • 4
  • 39
  • 16
  • 9
  • 7
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 9
  • 5
  • 4
  • 4
  • 16
  • 4
  • 7
  • 8
  • 4
  • 11
  • 6
  • 6
  • 14
  • 5
  • 8
  • 4
  • 24
  • 5
  • 16
  • 4
  • 4
  • 13
  • 7
  • 5
  • 5
  • 6
  • 6
  • 7
  • 4
  • 4
  • 6
  • 6
  • 34
  • 5
  • 41
  • 11
  • 8
  • 14
  • 17
  • 7
  • 8
  • 4
  • 21
  • 7
  • 38
  • 4
  • 10
  • 14
  • 9
  • 4
  • 4
  • 12
  • 4
  • 4
  • 5
  • 12
  • 9
  • 7
  • 4
  • 5
  • 39
  • 5
  • 4
  • 10
  • 6
  • 8
  • 4
  • 4
  • 6
  • 4
  • 6
  • 9
  • 7
  • 7
  • 6
  • 5
  • 4
  • 12
  • 8
  • 4
  • 12
  • 5
  • 5
  • 9
  • 4
  • 4
  • 5
  • 7
  • 4
  • 15
  • 22
  • 4
  • 12
  • 5
  • 8
  • 7
  • 7
  • 5
  • 5
  • 10
  • 11
  • 4
  • 24
  • 6
  • 8
  • 8
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 8
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 15
  • 10
  • 6
  • 9
  • 7
  • 4
  • 4
  • 5
  • 39
  • 41
  • 5
  • 23
  • 6
  • 12
  • 4
  • 13
  • 4
  • 4
  • 26
  • 13
  • 4
  • 4
  • 4
  • 6
  • 20
  • 5
  • 4
  • 4
  • 12
  • 5
  • 4
  • 7
  • 4
  • 7
  • 4
  • 27
  • 15
  • 43
  • 7
  • 7
  • 4
  • 4
  • 15
  • 9
  • 6
  • 17
  • 4
  • 4
  • 15
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 5
  • 6
  • 8
  • 6
  • 4
  • 5
  • 4
  • 7
  • 17
  • 13
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 9
  • 11
  • 16
  • 56
  • 27
  • 7
  • 19
  • 9
  • 16
  • 20
  • 90
  • 11
  • 5
  • 18
  • 10
  • 7
  • 19
  • 13
  • 5
  • 11
  • 7
  • 5
  • 9
  • 16
  • 5
  • 8
  • 5
  • 5
  • 5
  • 6
  • 7
  • 12
  • 32
  • 11
  • 7
  • 5
  • 6
  • 22
  • 7
  • 5
  • 19
  • 39
  • 5
  • 10
  • 18
  • 9
  • 10
  • 5
  • 5
  • 13
  • 15
  • 6
  • 5
  • 6
  • 5
  • 6
  • 5
  • 70
  • 6
  • 6
  • 5
  • 8
  • 5
  • 15
  • 5
  • 12
  • 11
  • 22
  • 8
  • 12
  • 5
  • 5
  • 6
  • 15
  • 10
  • 10
  • 5
  • 13
  • 11
  • 13
  • 6
  • 5
  • 6
  • 5
  • 16
  • 6
  • 7
  • 9
  • 6
  • 8
  • 12
  • 5
  • 8
  • 7
  • 6
  • 5
  • 27
  • 6
  • 8
  • 5
  • 8
  • 5
  • 23
  • 6
  • 18
  • 32
  • 8
  • 9
  • 15
  • 7
  • 6
  • 28
  • 9
  • 6
  • 6
  • 11
  • 5
  • 7
  • 13
  • 6
  • 8
  • 12
  • 7
  • 13
  • 31
  • 5
  • 10
  • 8
  • 5
  • 15
  • 6
  • 5
  • 12
  • 7
  • 27
  • 15
  • 31
  • 41
  • 6
  • 5
  • 6
  • 12
  • 12
  • 5
  • 7
  • 7
  • 7
  • 5
  • 9
  • 7
  • 13
  • 88
  • 15
  • 18
  • 8
  • 5
  • 13
  • 6
  • 5
  • 7
  • 14
  • 12
  • 6
  • 6
  • 15
  • 11
  • 16
  • 21
  • 5
  • 25
  • 10
  • 5
  • 63
  • 5
  • 21
  • 6
  • 11
  • 20
  • 5
  • 7
  • 7
  • 14
  • 13
  • 5
  • 6
  • 9
  • 22
  • 6
  • 11
  • 14
  • 13
  • 16
  • 8
  • 15
  • 8
  • 16
  • 7
  • 11
  • 10
  • 5
  • 7
  • 7
  • 22
  • 8
  • 6
  • 29
  • 24
  • 6
  • 7
  • 8
  • 10
  • 5
  • 18
  • 5
  • 6
  • 5
  • 5
  • 17
  • 8
  • 17
  • 10
  • 7
  • 8
  • 13
  • 6
  • 7
  • 36
  • 12
  • 10
  • 5
  • 5
  • 9
  • 5
  • 6
  • 19
  • 6
  • 9
  • 8
  • 6
  • 8
  • 5
  • 82
  • 10
  • 6
  • 7
  • 7
  • 9
  • 9
  • 8
  • 7
  • 9
  • 5
  • 10
  • 35
  • 9
  • 5
  • 13
  • 10
  • 5
  • 5
  • 11
  • 5
  • 6
  • 9
  • 5
  • 7
  • 8
  • 5
  • 5
  • 7
  • 5
  • 6
  • 9
  • 5
  • 5
  • 11
  • 7
  • 5
  • 5
  • 44
  • 9
  • 17
  • 7
  • 5
  • 5
  • 20
  • 10
  • 10
  • 7
  • 5
  • 13
  • 5
  • 14
  • 16
  • 15
  • 12
  • 5
  • 24
  • 6
  • 13
  • 5
  • 8
  • 10
  • 6
  • 19
  • 5
  • 10
  • 8
  • 13
  • 12
  • 5
  • 12
  • 5
  • 15
  • 5
  • 15
  • 5
  • 9
  • 8
  • 24
  • 10
  • 7
  • 5
  • 8
  • 10
  • 14
  • 15
  • 10
  • 6
  • 14
  • 5
  • 6
  • 10
  • 26
  • 14
  • 6
  • 8
  • 7
  • 17
  • 5
  • 7
  • 11
  • 5
  • 90
  • 7
  • 6
  • 7
  • 5
  • 6
  • 26
  • 10
  • 7
  • 6
  • 7
  • 18
  • 10
  • 8
  • 7
  • 9
  • 8
  • 19
  • 7
  • 93
  • 6
  • 53
  • 5
  • 9
  • 9
  • 89
  • 16
  • 14
  • 10
  • 10
  • 5
  • 9
  • 16
  • 13
  • 5
  • 5
  • 8
  • 5
  • 5
  • 9
  • 89
  • 5
  • 6
  • 9
  • 16
  • 6
  • 11
  • 5
  • 11
  • 18
  • 12
  • 11
  • 8
  • 5
  • 12
  • 5
  • 9
  • 7
  • 22
  • 10
  • 8
  • 6
  • 7
  • 8
  • 11
  • 23
  • 7
  • 7
  • 6
  • 5
  • 6
  • 14
  • 7
  • 8
  • 5
  • 14
  • 12
  • 45
  • 5
  • 6
  • 19
  • 12
  • 5
  • 12
  • 12
  • 13
  • 12
  • 6
  • 5
  • 12
  • 11
  • 7
  • 32
  • 9
  • 41
  • 14
  • 7
  • 15
  • 6
  • 10
  • 5
  • 21
  • 5
  • 9
  • 7
  • 15
  • 16
  • 19
  • 5
  • 6
  • 11
  • 22
  • 9
  • 15
  • 23
  • 55
  • 10
  • 13
  • 20
  • 8
  • 9
  • 5
  • 6
  • 10
  • 21
  • 19
  • 9
  • 5
  • 5
  • 9
  • 39
  • 24
  • 12
  • 8
  • 7
  • 7
  • 18
  • 8
  • 6
  • 12
  • 5
  • 11
  • 14
  • 10
  • 9
  • 14
  • 8
  • 8
  • 6
  • 13
  • 11
  • 89
  • 10
  • 13
  • 6
  • 16
  • 7
  • 5
  • 6
  • 15
  • 5
  • 6
  • 5
  • 5
  • 31
  • 5
  • 11
  • 6
  • 9
  • 5
  • 10
  • 5
  • 13
  • 14
  • 6
  • 7
  • 6
  • 21
  • 6
  • 5
  • 12
  • 5
  • 5
  • 20
  • 9
  • 6
  • 12
  • 7
  • 5
  • 5
  • 24
  • 5
  • 15
  • 10
  • 6
  • 9
  • 6
  • 5
  • 6
  • 11
  • 6
  • 9
  • 5
  • 16
  • 7
  • 7
  • 13
  • 6
  • 8
  • 6
  • 5
  • 5
  • 26
  • 10
  • 14
  • 20
  • 13
  • 5
  • 8
  • 6
  • 7
  • 16
  • 5
  • 6
  • 35
  • 8
  • 6
  • 5
  • 25
  • 7
  • 46
  • 14
  • 61
  • 5
  • 18
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 6
  • 6
  • 31
  • 7
  • 21
  • 19
  • 20
  • 7
  • 6
  • 6
  • 13
  • 7
  • 5
  • 12
  • 7
  • 5
  • 5
  • 17
Verlag
  • 8
  • 10400
  • 3
  • 10
  • 2
  • 2
  • 1
  • 38
Preis
  • 47
  • 377
  • 8004
  • 2036
Sprachen
  • 10458
  • 18
  • 13
  • 1
Verfügbarkeit
  • 10456
  • 8
Eigenschaften
  • 1
Katalog
  • 10464
  • 572
10.464  Treffer  für „Lecture Notes in Computer Science“
    Fang | HCI in Games | Buch | Sack Fachmedien

    Fang HCI in Games

    7th International Conference, HCI-Games 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92577-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bass / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Bass / Gornostaev / Unger Human-Computer Interaction

    Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57433-0
    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
    Benzmüller / Miller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Benzmüller / Miller Intelligent Computer Mathematics

    13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53517-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Potapova | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Potapova Speech and Computer

    22nd International Conference, SPECOM 2020, St. Petersburg, Russia, October 7-9, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60275-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lew / Sebe / Huang | Human-Computer Interaction | Buch | Sack Fachmedien

    Lew / Sebe / Huang Human-Computer Interaction

    International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75772-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    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 II
    2024
    Verlag: Springer
    ISBN: 978-3-031-65629-3
    Medium: Buch
    42,79 € (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 IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93860-3
    Medium: Buch
    79,17 € (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 V
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93863-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98681-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98667-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg | Computer Aided Verification | Buch | Sack Fachmedien

    Grumberg Computer Aided Verification

    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63166-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98678-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois / Kerber | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Dubois / Kerber Intelligent Computer Mathematics

    16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42752-7
    Medium: Buch
    80,24 € (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 III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35601-8
    Medium: Buch
    160,49 € (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 I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35595-0
    Medium: Buch
    106,99 € (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 II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37702-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Courcoubetis | Computer Aided Verification | Buch | Sack Fachmedien

    Courcoubetis Computer Aided Verification

    5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomek | Computer Assisted Learning | Buch | Sack Fachmedien

    Tomek Computer Assisted Learning

    4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55578-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balsamo / Knottenbelt / Marin | Computer Performance Engineering | Buch | Sack Fachmedien

    Balsamo / Knottenbelt / Marin Computer Performance Engineering

    10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40724-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Leibe / Neumann | Computer Vision Systems | Buch | Sack Fachmedien

    Chen / Leibe / Neumann Computer Vision Systems

    9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39401-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Leino | Computer Aided Verification | Buch | Sack Fachmedien

    Silva / Leino Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-81687-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiems / Paolieri / Platis | Computer Performance Engineering | Buch | Sack Fachmedien

    Fiems / Paolieri / Platis Computer Performance Engineering

    13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46432-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 II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25542-8
    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