Ergebnisse filtern
Fachgebiet
Medium
  • 10520
Erscheinungsjahr
  • 136
  • 806
  • 833
  • 624
  • 490
  • 277
  • 293
  • 296
  • 293
  • 309
  • 304
  • 317
  • 282
  • 308
  • 312
  • 271
  • 287
  • 270
  • 231
  • 259
  • 272
  • 221
  • 366
  • 306
  • 259
  • 251
  • 177
  • 177
  • 116
  • 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
  • 4
  • 5
  • 5
  • 4
  • 9
  • 5
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 4
  • 11
  • 8
  • 4
  • 5
  • 5
  • 16
  • 4
  • 4
  • 21
  • 5
  • 8
  • 4
  • 6
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 6
  • 4
  • 4
  • 10
  • 5
  • 14
  • 5
  • 25
  • 36
  • 7
  • 40
  • 7
  • 6
  • 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
  • 5
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 5
  • 14
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 9
  • 4
  • 6
  • 7
  • 6
  • 8
  • 7
  • 5
  • 4
  • 12
  • 5
  • 4
  • 5
  • 5
  • 4
  • 19
  • 7
  • 6
  • 4
  • 7
  • 5
  • 15
  • 4
  • 9
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 7
  • 6
  • 16
  • 4
  • 9
  • 5
  • 5
  • 9
  • 4
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 6
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 17
  • 4
  • 11
  • 16
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 8
  • 8
  • 4
  • 4
  • 16
  • 7
  • 9
  • 11
  • 5
  • 10
  • 6
  • 5
  • 4
  • 14
  • 4
  • 4
  • 4
  • 7
  • 24
  • 4
  • 12
  • 4
  • 10
  • 4
  • 4
  • 11
  • 7
  • 4
  • 4
  • 10
  • 4
  • 8
  • 34
  • 12
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 5
  • 7
  • 4
  • 5
  • 20
  • 6
  • 38
  • 4
  • 9
  • 14
  • 7
  • 4
  • 7
  • 12
  • 4
  • 4
  • 12
  • 14
  • 8
  • 7
  • 39
  • 4
  • 5
  • 4
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 10
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 14
  • 10
  • 5
  • 13
  • 5
  • 7
  • 4
  • 6
  • 7
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 10
  • 4
  • 6
  • 4
  • 6
  • 13
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 4
  • 44
  • 38
  • 8
  • 23
  • 5
  • 4
  • 17
  • 8
  • 23
  • 11
  • 4
  • 5
  • 5
  • 7
  • 19
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 10
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 4
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 4
  • 5
  • 10
  • 4
  • 4
  • 15
  • 55
  • 30
  • 25
  • 9
  • 18
  • 22
  • 91
  • 5
  • 11
  • 6
  • 6
  • 14
  • 7
  • 19
  • 12
  • 7
  • 7
  • 5
  • 9
  • 14
  • 7
  • 5
  • 8
  • 7
  • 5
  • 6
  • 11
  • 43
  • 7
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 6
  • 9
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 8
  • 5
  • 9
  • 15
  • 6
  • 6
  • 5
  • 8
  • 5
  • 67
  • 5
  • 6
  • 10
  • 5
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 19
  • 7
  • 10
  • 5
  • 6
  • 6
  • 5
  • 10
  • 19
  • 11
  • 7
  • 13
  • 5
  • 8
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 9
  • 10
  • 11
  • 7
  • 8
  • 7
  • 6
  • 29
  • 9
  • 6
  • 5
  • 8
  • 6
  • 26
  • 6
  • 16
  • 35
  • 6
  • 6
  • 7
  • 9
  • 15
  • 30
  • 6
  • 9
  • 5
  • 5
  • 10
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 17
  • 20
  • 33
  • 5
  • 16
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 5
  • 14
  • 32
  • 36
  • 6
  • 9
  • 6
  • 9
  • 6
  • 17
  • 6
  • 5
  • 12
  • 6
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 6
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 5
  • 6
  • 10
  • 14
  • 18
  • 20
  • 5
  • 21
  • 8
  • 5
  • 62
  • 6
  • 19
  • 8
  • 12
  • 21
  • 5
  • 9
  • 5
  • 8
  • 6
  • 5
  • 5
  • 6
  • 5
  • 14
  • 5
  • 5
  • 5
  • 23
  • 6
  • 13
  • 11
  • 13
  • 15
  • 15
  • 14
  • 8
  • 18
  • 11
  • 10
  • 8
  • 9
  • 25
  • 6
  • 31
  • 28
  • 6
  • 6
  • 8
  • 7
  • 17
  • 7
  • 6
  • 9
  • 5
  • 5
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 5
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 7
  • 7
  • 5
  • 5
  • 16
  • 5
  • 9
  • 7
  • 5
  • 9
  • 83
  • 10
  • 5
  • 7
  • 6
  • 13
  • 6
  • 5
  • 9
  • 12
  • 36
  • 15
  • 5
  • 16
  • 6
  • 5
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 9
  • 6
  • 6
  • 8
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 17
  • 7
  • 7
  • 18
  • 13
  • 13
  • 14
  • 13
  • 15
  • 8
  • 17
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 5
  • 6
  • 19
  • 11
  • 6
  • 13
  • 11
  • 7
  • 8
  • 7
  • 7
  • 15
  • 5
  • 15
  • 13
  • 8
  • 24
  • 6
  • 7
  • 6
  • 11
  • 6
  • 5
  • 11
  • 15
  • 10
  • 5
  • 7
  • 5
  • 6
  • 16
  • 6
  • 5
  • 12
  • 24
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 7
  • 19
  • 9
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 90
  • 6
  • 49
  • 11
  • 11
  • 5
  • 89
  • 23
  • 14
  • 12
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 7
  • 15
  • 22
  • 7
  • 11
  • 11
  • 17
  • 11
  • 11
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 6
  • 5
  • 7
  • 13
  • 7
  • 24
  • 5
  • 5
  • 6
  • 6
  • 5
  • 5
  • 14
  • 7
  • 8
  • 8
  • 11
  • 12
  • 41
  • 5
  • 6
  • 6
  • 6
  • 18
  • 9
  • 11
  • 8
  • 10
  • 13
  • 6
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 33
  • 12
  • 6
  • 8
  • 5
  • 5
  • 10
  • 8
  • 22
  • 6
  • 6
  • 8
  • 8
  • 14
  • 15
  • 25
  • 9
  • 26
  • 8
  • 14
  • 24
  • 58
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 22
  • 14
  • 6
  • 6
  • 9
  • 56
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 11
  • 7
  • 12
  • 10
  • 5
  • 89
  • 10
  • 5
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 13
  • 9
  • 8
  • 37
  • 5
  • 11
  • 10
  • 7
  • 12
  • 5
  • 13
  • 15
  • 10
  • 21
  • 6
  • 5
  • 17
  • 21
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 5
  • 25
  • 6
  • 14
  • 10
  • 5
  • 6
  • 9
  • 6
  • 6
  • 5
  • 8
  • 12
  • 9
  • 9
  • 18
  • 5
  • 10
  • 11
  • 5
  • 6
  • 24
  • 11
  • 14
  • 5
  • 5
  • 22
  • 11
  • 5
  • 5
  • 6
  • 5
  • 9
  • 18
  • 7
  • 6
  • 6
  • 47
  • 13
  • 6
  • 5
  • 5
  • 21
  • 6
  • 43
  • 14
  • 62
  • 18
  • 5
  • 6
  • 5
  • 6
  • 32
  • 7
  • 10
  • 5
  • 18
  • 20
  • 19
  • 9
  • 5
  • 11
  • 12
  • 10
  • 6
  • 6
  • 23
Verlag
  • 1
  • 10464
  • 3
  • 5
  • 1
  • 3
  • 1
  • 42
Preis
  • 47
  • 383
  • 8052
  • 2038
Sprachen
  • 10514
  • 18
  • 13
Verfügbarkeit
  • 10506
  • 14
Eigenschaften
  • 1
Katalog
  • 10520
  • 550
10.520  Treffer  für „Lecture Notes in Computer Science“
    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
    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
    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 IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-60440-9
    Medium: Buch
    149,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 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
    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
    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
    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 II
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41539-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    Biere / Bloem Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (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
    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
    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 I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96144-6
    Medium: Buch
    53,49 € (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
    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
    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
    Beltrán / Knottenbelt / Bradley | Computer Performance Engineering | Buch | Sack Fachmedien

    Beltrán / Knottenbelt / Bradley Computer Performance Engineering

    12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23266-9
    Medium: Buch
    51,36 € (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 / 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
    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
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Kuncak / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Majumdar / Kuncak / Kuncak Computer Aided Verification

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

    Majumdar / Kuncak / 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

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