Ergebnisse filtern
Fachgebiet
Medium
  • 11244
Erscheinungsjahr
  • 119
  • 817
  • 788
  • 851
  • 616
  • 474
  • 278
  • 294
  • 300
  • 318
  • 294
  • 292
  • 290
  • 290
  • 328
  • 282
  • 270
  • 287
  • 261
  • 237
  • 248
  • 270
  • 240
  • 351
  • 298
  • 250
  • 256
  • 172
  • 177
  • 128
  • 139
  • 137
  • 115
  • 105
  • 95
  • 71
  • 88
  • 58
  • 55
  • 45
  • 45
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 8
  • 13
  • 24
  • 9
  • 8
  • 4
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 9
  • 9
  • 6
  • 7
  • 16
  • 8
  • 4
  • 21
  • 5
  • 9
  • 5
  • 5
  • 5
  • 5
  • 5
  • 8
  • 9
  • 5
  • 4
  • 4
  • 9
  • 5
  • 8
  • 13
  • 29
  • 36
  • 7
  • 40
  • 7
  • 5
  • 4
  • 5
  • 6
  • 6
  • 7
  • 16
  • 8
  • 21
  • 6
  • 13
  • 4
  • 7
  • 4
  • 4
  • 6
  • 5
  • 6
  • 6
  • 39
  • 13
  • 5
  • 4
  • 5
  • 7
  • 6
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 4
  • 9
  • 46
  • 6
  • 6
  • 4
  • 4
  • 6
  • 5
  • 8
  • 23
  • 4
  • 5
  • 7
  • 4
  • 10
  • 10
  • 11
  • 9
  • 8
  • 12
  • 5
  • 4
  • 4
  • 6
  • 16
  • 9
  • 5
  • 5
  • 16
  • 5
  • 7
  • 5
  • 7
  • 11
  • 6
  • 6
  • 6
  • 17
  • 9
  • 6
  • 7
  • 5
  • 6
  • 40
  • 7
  • 6
  • 19
  • 19
  • 5
  • 6
  • 7
  • 6
  • 6
  • 11
  • 7
  • 6
  • 8
  • 5
  • 5
  • 6
  • 13
  • 9
  • 8
  • 9
  • 9
  • 6
  • 15
  • 6
  • 5
  • 5
  • 10
  • 39
  • 17
  • 8
  • 5
  • 8
  • 5
  • 6
  • 5
  • 15
  • 7
  • 12
  • 14
  • 5
  • 11
  • 9
  • 7
  • 23
  • 6
  • 14
  • 7
  • 5
  • 10
  • 8
  • 5
  • 8
  • 8
  • 5
  • 5
  • 34
  • 21
  • 41
  • 13
  • 8
  • 14
  • 18
  • 6
  • 9
  • 45
  • 12
  • 37
  • 9
  • 14
  • 5
  • 5
  • 12
  • 6
  • 5
  • 15
  • 10
  • 39
  • 5
  • 5
  • 11
  • 12
  • 7
  • 6
  • 8
  • 12
  • 13
  • 5
  • 7
  • 15
  • 5
  • 6
  • 15
  • 6
  • 5
  • 8
  • 5
  • 5
  • 6
  • 5
  • 26
  • 21
  • 15
  • 28
  • 9
  • 11
  • 5
  • 7
  • 9
  • 5
  • 6
  • 12
  • 9
  • 23
  • 6
  • 7
  • 7
  • 5
  • 6
  • 8
  • 10
  • 5
  • 7
  • 7
  • 22
  • 10
  • 6
  • 13
  • 11
  • 6
  • 5
  • 48
  • 42
  • 7
  • 41
  • 12
  • 9
  • 15
  • 7
  • 10
  • 29
  • 14
  • 6
  • 5
  • 5
  • 18
  • 5
  • 9
  • 6
  • 10
  • 26
  • 17
  • 42
  • 77
  • 6
  • 7
  • 14
  • 7
  • 7
  • 5
  • 7
  • 12
  • 16
  • 7
  • 9
  • 7
  • 6
  • 6
  • 6
  • 8
  • 6
  • 6
  • 7
  • 5
  • 5
  • 7
  • 21
  • 17
  • 6
  • 7
  • 7
  • 15
  • 7
  • 5
  • 10
  • 21
  • 67
  • 33
  • 8
  • 18
  • 8
  • 16
  • 22
  • 105
  • 11
  • 16
  • 5
  • 5
  • 6
  • 18
  • 12
  • 5
  • 7
  • 7
  • 5
  • 6
  • 9
  • 17
  • 6
  • 5
  • 6
  • 11
  • 5
  • 5
  • 40
  • 9
  • 8
  • 5
  • 7
  • 9
  • 17
  • 7
  • 5
  • 8
  • 25
  • 39
  • 7
  • 18
  • 5
  • 8
  • 10
  • 5
  • 7
  • 5
  • 6
  • 15
  • 5
  • 6
  • 10
  • 15
  • 7
  • 5
  • 5
  • 7
  • 8
  • 5
  • 95
  • 6
  • 8
  • 5
  • 5
  • 8
  • 6
  • 6
  • 6
  • 15
  • 8
  • 14
  • 5
  • 7
  • 15
  • 17
  • 6
  • 14
  • 5
  • 5
  • 5
  • 6
  • 10
  • 6
  • 16
  • 11
  • 10
  • 10
  • 5
  • 12
  • 6
  • 13
  • 8
  • 7
  • 8
  • 5
  • 13
  • 6
  • 7
  • 7
  • 7
  • 14
  • 7
  • 10
  • 5
  • 15
  • 8
  • 7
  • 9
  • 6
  • 41
  • 10
  • 6
  • 8
  • 5
  • 21
  • 6
  • 17
  • 41
  • 10
  • 15
  • 13
  • 30
  • 6
  • 9
  • 7
  • 12
  • 5
  • 17
  • 6
  • 9
  • 9
  • 18
  • 37
  • 5
  • 7
  • 17
  • 5
  • 17
  • 7
  • 17
  • 5
  • 6
  • 26
  • 5
  • 77
  • 14
  • 27
  • 48
  • 10
  • 6
  • 7
  • 11
  • 6
  • 8
  • 12
  • 5
  • 6
  • 6
  • 7
  • 6
  • 9
  • 7
  • 17
  • 91
  • 13
  • 6
  • 43
  • 9
  • 6
  • 5
  • 15
  • 7
  • 8
  • 5
  • 5
  • 14
  • 15
  • 10
  • 14
  • 5
  • 33
  • 6
  • 6
  • 8
  • 5
  • 7
  • 15
  • 17
  • 19
  • 6
  • 5
  • 28
  • 6
  • 6
  • 79
  • 11
  • 6
  • 12
  • 6
  • 5
  • 11
  • 20
  • 5
  • 10
  • 7
  • 9
  • 6
  • 6
  • 30
  • 6
  • 5
  • 9
  • 22
  • 6
  • 5
  • 5
  • 11
  • 16
  • 13
  • 7
  • 15
  • 18
  • 15
  • 12
  • 22
  • 7
  • 77
  • 11
  • 13
  • 11
  • 6
  • 6
  • 27
  • 6
  • 31
  • 27
  • 6
  • 5
  • 6
  • 10
  • 5
  • 21
  • 9
  • 7
  • 5
  • 5
  • 5
  • 5
  • 9
  • 6
  • 21
  • 6
  • 5
  • 8
  • 11
  • 8
  • 10
  • 8
  • 15
  • 8
  • 5
  • 34
  • 14
  • 10
  • 5
  • 5
  • 6
  • 7
  • 7
  • 5
  • 9
  • 23
  • 7
  • 9
  • 8
  • 7
  • 11
  • 5
  • 97
  • 5
  • 6
  • 5
  • 5
  • 12
  • 10
  • 8
  • 7
  • 5
  • 8
  • 7
  • 5
  • 14
  • 38
  • 5
  • 15
  • 8
  • 5
  • 5
  • 5
  • 11
  • 8
  • 6
  • 10
  • 5
  • 21
  • 5
  • 24
  • 7
  • 5
  • 5
  • 6
  • 13
  • 6
  • 7
  • 5
  • 6
  • 6
  • 8
  • 10
  • 6
  • 5
  • 49
  • 10
  • 18
  • 5
  • 41
  • 10
  • 5
  • 14
  • 20
  • 13
  • 15
  • 15
  • 5
  • 9
  • 5
  • 9
  • 30
  • 12
  • 7
  • 13
  • 7
  • 5
  • 16
  • 6
  • 7
  • 6
  • 5
  • 12
  • 13
  • 6
  • 6
  • 11
  • 6
  • 18
  • 7
  • 15
  • 7
  • 5
  • 10
  • 7
  • 6
  • 5
  • 23
  • 5
  • 7
  • 6
  • 8
  • 10
  • 9
  • 8
  • 5
  • 35
  • 11
  • 8
  • 8
  • 7
  • 7
  • 5
  • 14
  • 8
  • 5
  • 5
  • 10
  • 15
  • 29
  • 6
  • 16
  • 7
  • 36
  • 6
  • 6
  • 8
  • 11
  • 89
  • 5
  • 7
  • 6
  • 8
  • 6
  • 32
  • 14
  • 5
  • 7
  • 77
  • 15
  • 8
  • 8
  • 7
  • 12
  • 13
  • 20
  • 18
  • 6
  • 9
  • 94
  • 5
  • 6
  • 45
  • 5
  • 11
  • 11
  • 11
  • 89
  • 22
  • 7
  • 20
  • 8
  • 10
  • 6
  • 6
  • 5
  • 9
  • 11
  • 17
  • 6
  • 5
  • 6
  • 5
  • 8
  • 5
  • 90
  • 5
  • 7
  • 21
  • 8
  • 11
  • 80
  • 12
  • 17
  • 13
  • 8
  • 15
  • 8
  • 10
  • 13
  • 5
  • 6
  • 5
  • 22
  • 8
  • 6
  • 7
  • 10
  • 5
  • 7
  • 5
  • 14
  • 10
  • 20
  • 8
  • 6
  • 7
  • 7
  • 6
  • 5
  • 14
  • 9
  • 8
  • 8
  • 6
  • 15
  • 8
  • 10
  • 22
  • 31
  • 7
  • 6
  • 5
  • 17
  • 11
  • 7
  • 6
  • 5
  • 13
  • 8
  • 34
  • 15
  • 5
  • 10
  • 11
  • 5
  • 11
  • 37
  • 8
  • 48
  • 6
  • 6
  • 10
  • 6
  • 8
  • 12
  • 7
  • 12
  • 24
  • 7
  • 6
  • 11
  • 8
  • 16
  • 5
  • 18
  • 25
  • 5
  • 8
  • 7
  • 5
  • 25
  • 14
  • 20
  • 64
  • 10
  • 13
  • 19
  • 8
  • 9
  • 5
  • 5
  • 22
  • 6
  • 20
  • 17
  • 5
  • 7
  • 6
  • 5
  • 21
  • 9
  • 61
  • 80
  • 23
  • 12
  • 6
  • 7
  • 18
  • 6
  • 7
  • 12
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 10
  • 6
  • 14
  • 11
  • 7
  • 5
  • 89
  • 11
  • 7
  • 17
  • 6
  • 15
  • 8
  • 6
  • 8
  • 10
  • 16
  • 5
  • 7
  • 10
  • 5
  • 28
  • 5
  • 11
  • 9
  • 6
  • 8
  • 5
  • 7
  • 13
  • 18
  • 36
  • 6
  • 5
  • 8
  • 15
  • 22
  • 15
  • 6
  • 11
  • 7
  • 10
  • 7
  • 9
  • 9
  • 23
  • 10
  • 13
  • 10
  • 6
  • 6
  • 9
  • 5
  • 6
  • 8
  • 7
  • 8
  • 14
  • 9
  • 7
  • 17
  • 7
  • 15
  • 17
  • 5
  • 8
  • 19
  • 26
  • 12
  • 14
  • 6
  • 23
  • 7
  • 17
  • 5
  • 7
  • 5
  • 12
  • 10
  • 5
  • 17
  • 8
  • 6
  • 6
  • 6
  • 57
  • 6
  • 10
  • 5
  • 35
  • 5
  • 5
  • 22
  • 6
  • 6
  • 5
  • 5
  • 5
  • 47
  • 38
  • 64
  • 40
  • 5
  • 8
  • 10
  • 7
  • 10
  • 6
  • 22
  • 30
  • 7
  • 6
  • 26
  • 17
  • 20
  • 5
  • 9
  • 5
  • 10
  • 5
  • 9
  • 5
  • 20
Verlag
  • 8
  • 11119
  • 3
  • 9
  • 2
  • 18
  • 35
  • 5
  • 1
  • 13
  • 31
Preis
  • 42
  • 401
  • 8510
  • 2291
Sprachen
  • 11239
  • 17
  • 13
Verfügbarkeit
  • 10990
  • 254
Eigenschaften
  • 2
Katalog
  • 11244
  • 601
11.244  Treffer  für „Lecture Notes in Computer Science“
    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
    Majumdar / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Majumdar / Kuncak Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63386-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / 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
    Piskac / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / 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
    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 II
    2024
    Verlag: Springer
    ISBN: 978-3-031-60411-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / 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
    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
    85,59 € (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 V
    2024
    Verlag: Springer
    ISBN: 978-3-031-60448-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakhshi / Ballarini / Barbot | Computer Performance Engineering | Buch | Sack Fachmedien

    Bakhshi / Ballarini / Barbot Computer Performance Engineering

    15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02226-6
    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
    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
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29595-8
    Medium: Buch
    104,85 € (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
    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
    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
    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
    Hunt, Jr. / Somenzi | Computer Aided Verification | Buch | Sack Fachmedien

    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
    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 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29582-8
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darulova / Lin / Rümmer | Computer Aided Verification | Buch | Sack Fachmedien

    Darulova / Lin / Rümmer Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32518-1
    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 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

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