Ergebnisse filtern
Fachgebiet
Medium
  • 7857
Erscheinungsjahr
  • 248
  • 691
  • 727
  • 433
  • 293
  • 147
  • 195
  • 205
  • 191
  • 172
  • 227
  • 201
  • 196
  • 199
  • 195
  • 176
  • 179
  • 198
  • 164
  • 233
  • 213
  • 202
  • 277
  • 240
  • 205
  • 194
  • 125
  • 122
  • 106
  • 112
  • 110
  • 97
  • 91
  • 72
  • 57
  • 71
  • 41
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 3
  • 3
  • 6
  • 6
  • 4
  • 4
  • 5
  • 9
  • 11
  • 7
  • 8
  • 7
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 17
  • 21
  • 7
  • 5
  • 5
  • 4
  • 6
  • 8
  • 4
  • 4
  • 6
  • 6
  • 14
  • 23
  • 36
  • 6
  • 33
  • 4
  • 5
  • 4
  • 7
  • 5
  • 6
  • 10
  • 5
  • 15
  • 5
  • 11
  • 4
  • 39
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 15
  • 6
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 8
  • 6
  • 11
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 18
  • 5
  • 9
  • 9
  • 5
  • 4
  • 5
  • 5
  • 5
  • 9
  • 10
  • 12
  • 6
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 19
  • 8
  • 5
  • 5
  • 5
  • 8
  • 8
  • 4
  • 4
  • 4
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 9
  • 5
  • 4
  • 12
  • 14
  • 4
  • 5
  • 4
  • 6
  • 11
  • 4
  • 5
  • 39
  • 15
  • 8
  • 5
  • 7
  • 5
  • 9
  • 7
  • 4
  • 16
  • 5
  • 5
  • 10
  • 4
  • 4
  • 12
  • 6
  • 6
  • 8
  • 8
  • 4
  • 10
  • 4
  • 24
  • 5
  • 12
  • 5
  • 11
  • 5
  • 10
  • 4
  • 5
  • 9
  • 6
  • 5
  • 6
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 34
  • 4
  • 5
  • 13
  • 41
  • 4
  • 12
  • 9
  • 6
  • 16
  • 4
  • 4
  • 5
  • 19
  • 4
  • 4
  • 36
  • 4
  • 4
  • 5
  • 9
  • 15
  • 7
  • 4
  • 4
  • 7
  • 12
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 5
  • 4
  • 4
  • 39
  • 4
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 15
  • 4
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 5
  • 11
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 11
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 9
  • 15
  • 19
  • 5
  • 6
  • 9
  • 5
  • 5
  • 7
  • 6
  • 11
  • 9
  • 24
  • 6
  • 4
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 5
  • 7
  • 6
  • 6
  • 6
  • 4
  • 4
  • 6
  • 6
  • 4
  • 8
  • 16
  • 11
  • 5
  • 5
  • 8
  • 39
  • 39
  • 5
  • 8
  • 23
  • 4
  • 9
  • 7
  • 14
  • 4
  • 4
  • 5
  • 25
  • 10
  • 6
  • 6
  • 5
  • 16
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 5
  • 7
  • 4
  • 5
  • 27
  • 4
  • 12
  • 41
  • 8
  • 5
  • 4
  • 4
  • 14
  • 6
  • 7
  • 7
  • 6
  • 4
  • 5
  • 12
  • 17
  • 4
  • 6
  • 4
  • 4
  • 6
  • 6
  • 8
  • 4
  • 5
  • 5
  • 5
  • 4
  • 15
  • 16
  • 4
  • 5
  • 4
  • 10
  • 5
  • 5
  • 4
  • 10
  • 6
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 17
  • 37
  • 4
  • 4
  • 20
  • 7
  • 16
  • 22
  • 75
  • 11
  • 4
  • 5
  • 16
  • 4
  • 4
  • 4
  • 16
  • 5
  • 8
  • 4
  • 6
  • 13
  • 4
  • 4
  • 4
  • 4
  • 17
  • 4
  • 6
  • 6
  • 4
  • 5
  • 5
  • 17
  • 6
  • 5
  • 7
  • 19
  • 39
  • 4
  • 4
  • 17
  • 7
  • 4
  • 4
  • 4
  • 9
  • 15
  • 7
  • 4
  • 68
  • 4
  • 5
  • 7
  • 6
  • 6
  • 6
  • 15
  • 4
  • 4
  • 14
  • 5
  • 10
  • 5
  • 19
  • 4
  • 8
  • 4
  • 6
  • 4
  • 13
  • 9
  • 4
  • 4
  • 13
  • 4
  • 13
  • 6
  • 10
  • 4
  • 8
  • 4
  • 5
  • 4
  • 15
  • 6
  • 4
  • 6
  • 7
  • 7
  • 5
  • 4
  • 8
  • 6
  • 24
  • 4
  • 5
  • 4
  • 8
  • 4
  • 8
  • 4
  • 13
  • 23
  • 4
  • 8
  • 15
  • 5
  • 5
  • 7
  • 29
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 5
  • 9
  • 6
  • 12
  • 17
  • 18
  • 4
  • 8
  • 4
  • 7
  • 19
  • 15
  • 7
  • 4
  • 6
  • 25
  • 4
  • 15
  • 12
  • 41
  • 4
  • 5
  • 11
  • 6
  • 6
  • 12
  • 4
  • 4
  • 4
  • 6
  • 5
  • 4
  • 9
  • 7
  • 6
  • 14
  • 4
  • 83
  • 7
  • 12
  • 4
  • 16
  • 4
  • 4
  • 7
  • 7
  • 5
  • 4
  • 6
  • 12
  • 10
  • 4
  • 7
  • 5
  • 4
  • 4
  • 6
  • 6
  • 18
  • 20
  • 23
  • 4
  • 4
  • 4
  • 57
  • 10
  • 14
  • 6
  • 8
  • 10
  • 22
  • 5
  • 5
  • 6
  • 8
  • 4
  • 4
  • 4
  • 11
  • 7
  • 25
  • 6
  • 4
  • 4
  • 11
  • 12
  • 13
  • 15
  • 14
  • 13
  • 11
  • 4
  • 19
  • 6
  • 11
  • 4
  • 6
  • 22
  • 5
  • 4
  • 35
  • 16
  • 6
  • 4
  • 8
  • 4
  • 5
  • 8
  • 18
  • 7
  • 4
  • 7
  • 6
  • 6
  • 6
  • 11
  • 6
  • 4
  • 6
  • 5
  • 4
  • 5
  • 4
  • 8
  • 15
  • 4
  • 7
  • 7
  • 5
  • 28
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 18
  • 4
  • 8
  • 7
  • 6
  • 4
  • 11
  • 4
  • 65
  • 4
  • 5
  • 7
  • 6
  • 6
  • 13
  • 45
  • 8
  • 5
  • 10
  • 7
  • 5
  • 5
  • 11
  • 4
  • 4
  • 4
  • 4
  • 11
  • 6
  • 6
  • 4
  • 5
  • 7
  • 7
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 6
  • 4
  • 20
  • 7
  • 6
  • 17
  • 6
  • 5
  • 4
  • 13
  • 4
  • 5
  • 11
  • 15
  • 4
  • 12
  • 6
  • 4
  • 4
  • 22
  • 10
  • 13
  • 4
  • 4
  • 5
  • 4
  • 4
  • 15
  • 7
  • 4
  • 12
  • 9
  • 6
  • 9
  • 4
  • 6
  • 7
  • 24
  • 5
  • 6
  • 6
  • 8
  • 12
  • 4
  • 8
  • 6
  • 4
  • 6
  • 4
  • 6
  • 4
  • 8
  • 11
  • 27
  • 6
  • 13
  • 4
  • 5
  • 21
  • 6
  • 4
  • 8
  • 89
  • 4
  • 6
  • 4
  • 5
  • 13
  • 5
  • 8
  • 10
  • 8
  • 8
  • 7
  • 9
  • 5
  • 22
  • 7
  • 90
  • 4
  • 4
  • 41
  • 11
  • 8
  • 4
  • 89
  • 22
  • 4
  • 14
  • 6
  • 5
  • 8
  • 12
  • 11
  • 8
  • 4
  • 4
  • 5
  • 7
  • 14
  • 89
  • 5
  • 20
  • 4
  • 6
  • 11
  • 4
  • 4
  • 11
  • 4
  • 18
  • 14
  • 10
  • 5
  • 4
  • 12
  • 4
  • 9
  • 4
  • 15
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 6
  • 12
  • 26
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 8
  • 12
  • 4
  • 12
  • 21
  • 26
  • 4
  • 5
  • 5
  • 4
  • 18
  • 9
  • 4
  • 12
  • 7
  • 4
  • 13
  • 10
  • 4
  • 4
  • 11
  • 9
  • 27
  • 41
  • 8
  • 8
  • 7
  • 5
  • 22
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 14
  • 23
  • 4
  • 6
  • 25
  • 10
  • 25
  • 53
  • 10
  • 8
  • 17
  • 4
  • 8
  • 6
  • 18
  • 15
  • 14
  • 4
  • 4
  • 6
  • 9
  • 31
  • 4
  • 24
  • 12
  • 6
  • 6
  • 12
  • 5
  • 4
  • 7
  • 12
  • 4
  • 17
  • 4
  • 7
  • 4
  • 15
  • 4
  • 4
  • 7
  • 4
  • 5
  • 10
  • 4
  • 89
  • 10
  • 14
  • 16
  • 4
  • 4
  • 10
  • 7
  • 4
  • 5
  • 5
  • 16
  • 5
  • 11
  • 5
  • 7
  • 13
  • 6
  • 21
  • 6
  • 4
  • 5
  • 4
  • 6
  • 5
  • 4
  • 17
  • 11
  • 5
  • 4
  • 8
  • 5
  • 5
  • 4
  • 4
  • 4
  • 21
  • 4
  • 9
  • 10
  • 6
  • 6
  • 6
  • 5
  • 7
  • 4
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 18
  • 7
  • 8
  • 4
  • 4
  • 4
  • 13
  • 6
  • 6
  • 4
  • 4
  • 27
  • 7
  • 4
  • 14
  • 4
  • 4
  • 15
  • 4
  • 8
  • 6
  • 7
  • 18
  • 7
  • 6
  • 16
  • 4
  • 10
  • 9
  • 6
  • 4
  • 5
  • 21
  • 4
  • 4
  • 43
  • 4
  • 14
  • 21
  • 15
  • 4
  • 5
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 32
  • 4
  • 7
  • 9
  • 23
  • 19
  • 4
  • 5
  • 5
  • 5
  • 10
  • 5
  • 4
  • 9
  • 7
  • 6
  • 4
  • 21
Verlag
  • 1
  • 7816
  • 3
  • 3
  • 1
  • 2
  • 2
  • 1
  • 28
Preis
  • 27
  • 241
  • 5879
  • 1710
Sprachen
  • 7852
  • 15
  • 12
  • 1
Verfügbarkeit
  • 7850
  • 7
Eigenschaften
  • 10
Katalog
  • 7857
  • 344
7.857  Treffer  für „Lecture Notes in Computer Science“
    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
    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 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
    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 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 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
    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
    Karpov / Gosztolya | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Gosztolya Speech and Computer

    27th International Conference, SPECOM 2025, Szeged, Hungary, October 13-15, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07958-9
    Medium: Buch
    87,73 € (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
    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 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
    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 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
    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 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
    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
    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
    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
    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
    Horváth / Wolter | Computer Performance Engineering | Buch | Sack Fachmedien

    Horváth / Wolter Computer Performance Engineering

    11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10884-1
    Medium: Buch
    51,36 € (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
    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
    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
    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
    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
    Autexier / Calmet / Delahaye | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Autexier / Calmet / Delahaye Intelligent Computer Mathematics

    10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-14127-0
    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