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“
    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
    Bouajjani / Maler | Computer Aided Verification | Buch | Sack Fachmedien

    Bouajjani / Maler Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring / Campbell / Carette | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Jeuring / Campbell / Carette Intelligent Computer Mathematics

    11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Pro
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31373-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 II
    2024
    Verlag: Springer
    ISBN: 978-3-031-60411-9
    Medium: Buch
    128,39 € (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 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93837-5
    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 VII
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93981-5
    Medium: Buch
    87,73 € (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 I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93834-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crowley / Piater / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Crowley / Piater / Vincze Computer Vision Systems

    Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00921-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tzovaras / Giakoumis / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Tzovaras / Giakoumis / Vincze Computer Vision Systems

    12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34994-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shoham / Vizel | Computer Aided Verification | Buch | Sack Fachmedien

    Shoham / Vizel Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13187-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Skou | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Skou Computer Aided Verification

    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55179-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / Vardi | Computer Aided Verification | Buch | Sack Fachmedien

    Hu / Vardi Computer Aided Verification

    10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64608-2
    Medium: Buch
    106,99 € (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
    Bochmann / Probst | Computer Aided Verification | Buch | Sack Fachmedien

    Bochmann / Probst Computer Aided Verification

    Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56496-6
    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 IV
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35571-4
    Medium: Buch
    139,09 € (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
    Christensen | Computer Vision Systems | Buch | Sack Fachmedien

    Christensen Computer Vision Systems

    First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65459-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carette / Aspinall / Lange | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Carette / Aspinall / Lange Intelligent Computer Mathematics

    MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39319-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reinecke / Di Marco | Computer Performance Engineering | Buch | Sack Fachmedien

    Reinecke / Di Marco Computer Performance Engineering

    14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66582-5
    Medium: Buch
    53,49 € (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
    Alur / Peled | Computer Aided Verification | Buch | Sack Fachmedien

    Alur / Peled Computer Aided Verification

    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22342-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Etessami / Rajamani | Computer Aided Verification | Buch | Sack Fachmedien

    Etessami / Rajamani Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27231-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blumenthal / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Blumenthal / Gornostaev / Unger Human-Computer Interaction

    4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58648-7
    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