Ergebnisse filtern
Fachgebiet
Medium
  • 8358
  • 274
Erscheinungsjahr
  • 300
  • 638
  • 506
  • 312
  • 314
  • 319
  • 303
  • 291
  • 311
  • 344
  • 311
  • 305
  • 228
  • 145
  • 111
  • 248
  • 244
  • 238
  • 147
  • 215
  • 325
  • 286
  • 246
  • 246
  • 177
  • 170
  • 150
  • 145
  • 133
  • 116
  • 115
  • 94
  • 74
  • 83
  • 56
  • 58
  • 45
  • 48
  • 33
  • 27
  • 19
  • 16
  • 16
  • 29
  • 19
  • 11
  • 8
  • 13
  • 10
  • 16
  • 13
  • 5
Autoren
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 6
  • 11
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 8
  • 14
  • 3
  • 20
  • 4
  • 3
  • 39
  • 3
  • 7
  • 4
  • 3
  • 6
  • 4
  • 5
  • 6
  • 6
  • 3
  • 5
  • 5
  • 4
  • 6
  • 4
  • 6
  • 4
  • 3
  • 4
  • 5
  • 3
  • 39
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 9
  • 6
  • 3
  • 4
  • 6
  • 5
  • 4
  • 4
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 5
  • 6
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 4
  • 4
  • 5
  • 4
  • 13
  • 5
  • 4
  • 4
  • 3
  • 7
  • 3
  • 5
  • 9
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 24
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 12
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 14
  • 11
  • 7
  • 5
  • 8
  • 4
  • 5
  • 7
  • 11
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 11
  • 4
  • 4
  • 7
  • 9
  • 4
  • 4
  • 10
  • 5
  • 7
  • 7
  • 4
  • 4
  • 6
  • 4
  • 5
  • 7
  • 4
  • 39
  • 13
  • 9
  • 5
  • 4
  • 10
  • 4
  • 9
  • 5
  • 4
  • 8
  • 5
  • 8
  • 4
  • 5
  • 5
  • 6
  • 4
  • 4
  • 10
  • 6
  • 4
  • 6
  • 4
  • 5
  • 4
  • 8
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 4
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 5
  • 7
  • 4
  • 5
  • 14
  • 11
  • 5
  • 9
  • 8
  • 4
  • 6
  • 20
  • 4
  • 11
  • 11
  • 4
  • 4
  • 8
  • 7
  • 4
  • 4
  • 16
  • 4
  • 8
  • 4
  • 39
  • 4
  • 7
  • 6
  • 4
  • 5
  • 8
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 11
  • 8
  • 9
  • 6
  • 4
  • 4
  • 8
  • 4
  • 6
  • 10
  • 6
  • 5
  • 4
  • 6
  • 6
  • 4
  • 9
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 8
  • 14
  • 4
  • 11
  • 4
  • 4
  • 4
  • 9
  • 7
  • 8
  • 5
  • 7
  • 13
  • 5
  • 4
  • 5
  • 4
  • 5
  • 5
  • 4
  • 5
  • 8
  • 5
  • 5
  • 6
  • 6
  • 4
  • 9
  • 7
  • 4
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 8
  • 7
  • 5
  • 38
  • 32
  • 7
  • 8
  • 4
  • 7
  • 11
  • 23
  • 11
  • 5
  • 5
  • 5
  • 5
  • 4
  • 20
  • 6
  • 5
  • 6
  • 4
  • 8
  • 43
  • 7
  • 4
  • 4
  • 4
  • 5
  • 9
  • 11
  • 9
  • 6
  • 5
  • 6
  • 8
  • 4
  • 10
  • 10
  • 6
  • 5
  • 7
  • 6
  • 4
  • 5
  • 8
  • 4
  • 5
  • 6
  • 4
  • 11
  • 33
  • 17
  • 5
  • 5
  • 20
  • 25
  • 71
  • 5
  • 9
  • 5
  • 5
  • 5
  • 11
  • 4
  • 8
  • 9
  • 5
  • 5
  • 14
  • 5
  • 4
  • 4
  • 6
  • 10
  • 4
  • 28
  • 5
  • 6
  • 4
  • 5
  • 7
  • 11
  • 9
  • 39
  • 4
  • 11
  • 5
  • 4
  • 4
  • 4
  • 17
  • 4
  • 6
  • 5
  • 4
  • 23
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 6
  • 12
  • 5
  • 7
  • 4
  • 12
  • 4
  • 5
  • 4
  • 4
  • 15
  • 5
  • 7
  • 6
  • 5
  • 5
  • 4
  • 6
  • 14
  • 13
  • 9
  • 13
  • 4
  • 7
  • 13
  • 8
  • 12
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 4
  • 5
  • 5
  • 10
  • 7
  • 4
  • 5
  • 8
  • 4
  • 9
  • 12
  • 23
  • 4
  • 5
  • 4
  • 7
  • 4
  • 7
  • 5
  • 9
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 4
  • 10
  • 5
  • 7
  • 8
  • 20
  • 5
  • 18
  • 6
  • 4
  • 15
  • 6
  • 4
  • 8
  • 9
  • 6
  • 4
  • 24
  • 4
  • 19
  • 36
  • 10
  • 6
  • 4
  • 7
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 5
  • 6
  • 8
  • 13
  • 4
  • 7
  • 4
  • 8
  • 4
  • 10
  • 9
  • 10
  • 4
  • 4
  • 4
  • 9
  • 9
  • 6
  • 4
  • 6
  • 12
  • 4
  • 10
  • 21
  • 4
  • 4
  • 9
  • 6
  • 6
  • 5
  • 4
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 7
  • 4
  • 5
  • 5
  • 10
  • 4
  • 4
  • 17
  • 5
  • 4
  • 34
  • 15
  • 4
  • 5
  • 4
  • 6
  • 13
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 14
  • 4
  • 4
  • 4
  • 11
  • 18
  • 5
  • 12
  • 4
  • 8
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 6
  • 38
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 5
  • 9
  • 5
  • 5
  • 5
  • 4
  • 5
  • 5
  • 8
  • 63
  • 6
  • 5
  • 7
  • 8
  • 9
  • 6
  • 5
  • 9
  • 35
  • 5
  • 8
  • 5
  • 6
  • 4
  • 5
  • 11
  • 4
  • 4
  • 4
  • 5
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 5
  • 10
  • 4
  • 5
  • 6
  • 4
  • 10
  • 4
  • 5
  • 14
  • 9
  • 8
  • 5
  • 13
  • 4
  • 7
  • 13
  • 7
  • 4
  • 6
  • 4
  • 4
  • 18
  • 4
  • 12
  • 5
  • 7
  • 7
  • 4
  • 16
  • 5
  • 8
  • 16
  • 8
  • 6
  • 4
  • 9
  • 13
  • 8
  • 4
  • 4
  • 13
  • 4
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 10
  • 9
  • 4
  • 5
  • 5
  • 12
  • 6
  • 4
  • 4
  • 4
  • 10
  • 20
  • 9
  • 5
  • 4
  • 4
  • 8
  • 12
  • 6
  • 6
  • 6
  • 5
  • 8
  • 26
  • 5
  • 7
  • 6
  • 7
  • 4
  • 15
  • 10
  • 9
  • 4
  • 8
  • 5
  • 18
  • 5
  • 4
  • 6
  • 49
  • 4
  • 10
  • 6
  • 4
  • 11
  • 5
  • 4
  • 4
  • 12
  • 6
  • 8
  • 7
  • 5
  • 9
  • 13
  • 16
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 4
  • 6
  • 8
  • 5
  • 11
  • 4
  • 4
  • 13
  • 7
  • 7
  • 4
  • 6
  • 8
  • 4
  • 7
  • 7
  • 11
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 9
  • 6
  • 4
  • 4
  • 16
  • 7
  • 38
  • 4
  • 4
  • 9
  • 16
  • 6
  • 5
  • 8
  • 8
  • 11
  • 7
  • 10
  • 20
  • 6
  • 33
  • 9
  • 4
  • 4
  • 7
  • 5
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 7
  • 10
  • 15
  • 12
  • 9
  • 16
  • 8
  • 11
  • 16
  • 52
  • 14
  • 18
  • 9
  • 6
  • 21
  • 4
  • 5
  • 5
  • 45
  • 9
  • 16
  • 9
  • 4
  • 4
  • 10
  • 13
  • 4
  • 5
  • 11
  • 7
  • 4
  • 4
  • 7
  • 6
  • 7
  • 5
  • 4
  • 5
  • 4
  • 10
  • 8
  • 5
  • 4
  • 5
  • 9
  • 5
  • 11
  • 7
  • 25
  • 4
  • 4
  • 14
  • 13
  • 11
  • 6
  • 6
  • 9
  • 18
  • 6
  • 4
  • 9
  • 16
  • 9
  • 8
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 9
  • 20
  • 6
  • 14
  • 4
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 4
  • 4
  • 16
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 11
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 6
  • 33
  • 8
  • 5
  • 4
  • 19
  • 4
  • 16
  • 4
  • 45
  • 7
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 9
  • 20
  • 17
  • 8
  • 9
  • 5
  • 4
  • 12
Verlag
  • 1289
  • 3482
  • 2768
  • 1
  • 1
  • 97
  • 891
  • 103
Preis
  • 45
  • 356
  • 6751
  • 1480
Sprachen
  • 8624
  • 19
  • 16
Verfügbarkeit
  • 8597
  • 35
Katalog
  • 8632
  • 496
8.632  Treffer  für „Lecture Notes in Computer Science“
    Larsen / Brinksma | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Brinksma Computer Aided Verification

    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43997-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tscheligi / Grechenig | Human Computer Interaction | Buch | Sack Fachmedien

    Tscheligi / Grechenig Human Computer Interaction

    Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57312-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutsia / Buzzard | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kutsia / Buzzard Intelligent Computer Mathematics

    15th International Conference, CICM 2022, Tbilisi, Georgia, September 19¿23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16680-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Six / Norrie | Computer Assisted Learning | Buch | Sack Fachmedien

    Six / Norrie Computer Assisted Learning

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

    Lal / Enea Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-37708-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salah / Potapova / Karpov | Speech and Computer | Buch | Sack Fachmedien

    Salah / Potapova / Karpov Speech and Computer

    21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20¿25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-26060-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt / Sexton / Urban | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Watt / Sexton / Urban Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Pasareanu / Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christensen / Corke / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Christensen / Corke / Vincze Computer Vision Systems

    14th International Conference, ICVS 2023, Vienna, Austria, September 27¿29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-44136-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vizel / Shoham | Computer Aided Verification | Buch | Sack Fachmedien

    Vizel / Shoham Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7¿10, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-13184-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Malik | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Gupta / Malik Computer Aided Verification

    20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-70545-1
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    103,52 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kroening / Pasareanu | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21690-4
    Medium: eBook
    Format: PDF
     Kopierschutz: Wasserzeichen (»Systemvoraussetzungen)
    83,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leino / Silva | Computer Aided Verification | Buch | Sack Fachmedien

    Leino / Silva Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-81684-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Pasareanu / Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21689-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hashizume / Kurosu | Human-Computer Interaction | Buch | Sack Fachmedien

    Hashizume / Kurosu 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 III
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60427-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase / Johansson / Tompa | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kohlhase / Johansson / Tompa Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42546-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dill | Computer Aided Verification | Buch | Sack Fachmedien

    Dill Computer Aided Verification

    6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58179-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurshan / Clarke | Computer-Aided Verification | Buch | Sack Fachmedien

    Kurshan / Clarke Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54477-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagerer / Schiele | Computer Vision Systems | Buch | Sack Fachmedien

    Sagerer / Schiele Computer Vision Systems

    Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42285-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Halbwachs | Computer Aided Verification | Buch | Sack Fachmedien

    Peled / Halbwachs Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66202-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorodetsky / Skormin / Popyack | Computer Network Security | Buch | Sack Fachmedien

    Gorodetsky / Skormin / Popyack Computer Network Security

    Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40797-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blumenthal / Unger / Gornostaev | Human-Computer Interaction | Buch | Sack Fachmedien

    Blumenthal / Unger / Gornostaev Human-Computer Interaction

    5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60614-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masoodian / Rogers / Jones | Computer Human Interaction | Buch | Sack Fachmedien

    Masoodian / Rogers / Jones Computer Human Interaction

    6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22312-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chin / Pong / Ip | Image Analysis Applications and Computer Graphics | Buch | Sack Fachmedien

    Chin / Pong / Ip Image Analysis Applications and Computer Graphics

    Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60697-0
    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
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63166-8
    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