Ergebnisse filtern
Fachgebiet
Medium
  • 11279
Erscheinungsjahr
  • 119
  • 816
  • 789
  • 853
  • 620
  • 477
  • 282
  • 296
  • 300
  • 318
  • 293
  • 292
  • 290
  • 292
  • 329
  • 284
  • 271
  • 288
  • 262
  • 237
  • 248
  • 270
  • 240
  • 352
  • 298
  • 250
  • 256
  • 172
  • 177
  • 128
  • 139
  • 137
  • 115
  • 105
  • 95
  • 71
  • 88
  • 58
  • 57
  • 45
  • 45
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 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
  • 7
  • 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
  • 6
  • 7
  • 4
  • 10
  • 10
  • 11
  • 9
  • 8
  • 12
  • 5
  • 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
  • 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
  • 5
  • 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
  • 19
  • 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
  • 18
  • 42
  • 10
  • 15
  • 13
  • 30
  • 6
  • 9
  • 7
  • 12
  • 5
  • 17
  • 6
  • 9
  • 9
  • 18
  • 38
  • 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
  • 9
  • 7
  • 5
  • 9
  • 23
  • 7
  • 9
  • 8
  • 7
  • 11
  • 5
  • 97
  • 5
  • 6
  • 5
  • 5
  • 12
  • 10
  • 8
  • 7
  • 5
  • 8
  • 7
  • 5
  • 15
  • 38
  • 5
  • 15
  • 8
  • 5
  • 5
  • 5
  • 11
  • 8
  • 6
  • 10
  • 5
  • 21
  • 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
  • 8
  • 5
  • 12
  • 13
  • 6
  • 6
  • 11
  • 6
  • 18
  • 7
  • 15
  • 7
  • 5
  • 10
  • 7
  • 6
  • 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
  • 5
  • 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
  • 6
  • 25
  • 14
  • 20
  • 64
  • 10
  • 13
  • 19
  • 8
  • 9
  • 5
  • 5
  • 22
  • 6
  • 20
  • 17
  • 5
  • 7
  • 6
  • 5
  • 21
  • 9
  • 62
  • 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
  • 7
  • 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
  • 10
  • 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
  • 11153
  • 3
  • 9
  • 2
  • 18
  • 35
  • 5
  • 1
  • 13
  • 32
Preis
  • 47
  • 408
  • 8530
  • 2294
Sprachen
  • 11273
  • 18
  • 13
Verfügbarkeit
  • 11025
  • 254
Eigenschaften
  • 2
Katalog
  • 11279
  • 601
11.279  Treffer  für „Lecture Notes in Computer Science“
    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
    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
    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
    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
    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
    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
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prasanna / Karpov / Samudravijaya | Speech and Computer | Buch | Sack Fachmedien

    Prasanna / Karpov / Samudravijaya Speech and Computer

    24th International Conference, SPECOM 2022, Gurugram, India, November 14-16, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-20979-6
    Medium: Buch
    117,69 € (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
    Collazos / Liborio / Rusu | Human Computer Interaction | Buch | Sack Fachmedien

    Collazos / Liborio / Rusu Human Computer Interaction

    6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03067-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 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29585-9
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Li / Du | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Zhang / Li / Du Algorithmic Aspects in Information and Management

    14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57601-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siau / Nah | HCI in Business, Government and Organizations | Buch | Sack Fachmedien

    Siau / Nah HCI in Business, Government and Organizations

    12th International Conference, HCIBGO 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-92822-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruel / Bellahsene | Advances in Object-Oriented Information Systems | Buch | Sack Fachmedien

    Bruel / Bellahsene Advances in Object-Oriented Information Systems

    OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44088-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Litwin / Morzy / Vossen | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Litwin / Morzy / Vossen Advances in Databases and Information Systems

    Second East European Symposium, ADBIS '98, Poznan, Poland, September 7-10, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64924-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pazienza | Information Extraction in the Web Era | Buch | Sack Fachmedien

    Pazienza Information Extraction in the Web Era

    Natural Language Communication for Knowledge Acquisition and Intelligent Information Agents
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40579-5
    Medium: Buch
    42,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hadzilacos / Manolopoulos / Roddick | Advances in Spatial and Temporal Databases | Buch | Sack Fachmedien

    Hadzilacos / Manolopoulos / Roddick Advances in Spatial and Temporal Databases

    8th International Symposium, SSTD 2003, Santorini Island, Greece, July 24 - 27, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40535-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kalinichenko / Manthey / Thalheim | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Kalinichenko / Manthey / Thalheim Advances in Databases and Information Systems

    7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20047-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Wang / Feng | Advances in Web-Age Information Management | Buch | Sack Fachmedien

    Li / Wang / Feng Advances in Web-Age Information Management

    5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22418-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grechenig / Tscheligi | Human Computer Interaction | Buch | Sack Fachmedien

    Grechenig / Tscheligi Human Computer Interaction

    Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57312-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorodetsky / Kotenko / Skormin | Computer Network Security | Buch | Sack Fachmedien

    Gorodetsky / Kotenko / Skormin Computer Network Security

    Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29113-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Larsen | Computer Aided Verification | Buch | Sack Fachmedien

    Brinksma / Larsen Computer Aided Verification

    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43997-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Norrie / Six | Computer Assisted Learning | Buch | Sack Fachmedien

    Norrie / Six Computer Assisted Learning

    3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52699-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Henzinger | Computer Aided Verification | Buch | Sack Fachmedien

    Alur / Henzinger Computer Aided Verification

    8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61474-6
    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