Ergebnisse filtern
Fachgebiet
Medium
  • 4513
Erscheinungsjahr
  • 93
  • 559
  • 572
  • 315
  • 136
  • 93
  • 111
  • 140
  • 134
  • 110
  • 114
  • 114
  • 110
  • 107
  • 109
  • 129
  • 123
  • 107
  • 76
  • 121
  • 114
  • 77
  • 126
  • 105
  • 94
  • 101
  • 69
  • 61
  • 56
  • 52
  • 47
  • 43
  • 37
  • 39
  • 26
  • 28
  • 22
  • 17
  • 10
  • 10
  • 4
  • 2
Autoren
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 8
  • 9
  • 7
  • 7
  • 7
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 16
  • 16
  • 3
  • 5
  • 5
  • 3
  • 5
  • 6
  • 8
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 14
  • 11
  • 33
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 3
  • 5
  • 5
  • 5
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 4
  • 3
  • 4
  • 38
  • 4
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 6
  • 4
  • 9
  • 7
  • 3
  • 3
  • 3
  • 6
  • 7
  • 4
  • 6
  • 6
  • 7
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 12
  • 3
  • 4
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 6
  • 6
  • 3
  • 8
  • 12
  • 4
  • 6
  • 39
  • 3
  • 3
  • 10
  • 3
  • 4
  • 21
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 7
  • 3
  • 4
  • 3
  • 3
  • 10
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 14
  • 14
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 3
  • 38
  • 19
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 16
  • 5
  • 8
  • 9
  • 4
  • 9
  • 4
  • 3
  • 3
  • 10
  • 3
  • 5
  • 5
  • 8
  • 24
  • 3
  • 4
  • 4
  • 3
  • 11
  • 3
  • 3
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 6
  • 3
  • 4
  • 7
  • 3
  • 3
  • 9
  • 3
  • 4
  • 33
  • 11
  • 40
  • 12
  • 6
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 5
  • 19
  • 6
  • 35
  • 4
  • 4
  • 5
  • 3
  • 9
  • 15
  • 9
  • 4
  • 5
  • 7
  • 12
  • 3
  • 3
  • 3
  • 5
  • 5
  • 6
  • 4
  • 4
  • 38
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 9
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 8
  • 7
  • 5
  • 6
  • 5
  • 7
  • 3
  • 6
  • 4
  • 5
  • 5
  • 5
  • 3
  • 4
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 6
  • 10
  • 9
  • 3
  • 8
  • 5
  • 6
  • 3
  • 4
  • 6
  • 4
  • 24
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 6
  • 3
  • 6
  • 3
  • 5
  • 4
  • 9
  • 16
  • 11
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 16
  • 4
  • 8
  • 14
  • 8
  • 8
  • 4
  • 5
  • 5
  • 3
  • 3
  • 10
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 27
  • 3
  • 4
  • 3
  • 43
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 15
  • 3
  • 6
  • 6
  • 3
  • 9
  • 4
  • 6
  • 3
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 19
  • 3
  • 7
  • 3
  • 6
  • 5
  • 3
  • 4
  • 8
  • 3
  • 5
  • 3
  • 5
  • 8
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 14
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 32
  • 4
  • 3
  • 4
  • 3
  • 4
  • 7
  • 16
  • 18
  • 3
  • 34
  • 7
  • 12
  • 3
  • 3
  • 4
  • 5
  • 17
  • 4
  • 3
  • 4
  • 6
  • 16
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 13
  • 3
  • 8
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 23
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 6
  • 5
  • 3
  • 5
  • 7
  • 6
  • 8
  • 6
  • 6
  • 16
  • 38
  • 5
  • 3
  • 3
  • 8
  • 17
  • 8
  • 12
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 15
  • 16
  • 5
  • 7
  • 3
  • 3
  • 7
  • 3
  • 6
  • 7
  • 3
  • 3
  • 4
  • 3
  • 5
  • 75
  • 5
  • 4
  • 3
  • 4
  • 8
  • 4
  • 3
  • 14
  • 5
  • 5
  • 7
  • 3
  • 5
  • 4
  • 16
  • 13
  • 6
  • 3
  • 3
  • 6
  • 10
  • 4
  • 4
  • 8
  • 4
  • 5
  • 6
  • 5
  • 5
  • 4
  • 4
  • 9
  • 8
  • 3
  • 6
  • 14
  • 4
  • 3
  • 3
  • 13
  • 4
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 15
  • 3
  • 3
  • 6
  • 7
  • 6
  • 8
  • 3
  • 11
  • 3
  • 4
  • 4
  • 3
  • 3
  • 10
  • 3
  • 3
  • 4
  • 4
  • 19
  • 7
  • 6
  • 4
  • 8
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 20
  • 3
  • 3
  • 6
  • 16
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 34
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 4
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 14
  • 15
  • 3
  • 16
  • 6
  • 4
  • 5
  • 17
  • 3
  • 5
  • 5
  • 4
  • 3
  • 7
  • 7
  • 7
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 12
  • 3
  • 3
  • 3
  • 5
  • 5
  • 21
  • 4
  • 17
  • 4
  • 4
  • 4
  • 6
  • 4
  • 5
  • 12
  • 6
  • 4
  • 5
  • 7
  • 7
  • 4
  • 5
  • 13
  • 4
  • 86
  • 4
  • 14
  • 4
  • 12
  • 5
  • 5
  • 4
  • 8
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 5
  • 9
  • 4
  • 18
  • 19
  • 5
  • 18
  • 5
  • 5
  • 6
  • 5
  • 56
  • 9
  • 18
  • 13
  • 20
  • 5
  • 6
  • 4
  • 4
  • 8
  • 7
  • 24
  • 6
  • 5
  • 12
  • 13
  • 4
  • 13
  • 10
  • 12
  • 17
  • 7
  • 11
  • 5
  • 18
  • 5
  • 4
  • 5
  • 4
  • 6
  • 8
  • 5
  • 6
  • 4
  • 5
  • 7
  • 4
  • 7
  • 4
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 9
  • 5
  • 4
  • 5
  • 34
  • 6
  • 9
  • 6
  • 43
  • 9
  • 9
  • 6
  • 10
  • 4
  • 7
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 39
  • 7
  • 4
  • 18
  • 11
  • 4
  • 13
  • 4
  • 4
  • 8
  • 15
  • 4
  • 13
  • 4
  • 5
  • 17
  • 10
  • 4
  • 4
  • 4
  • 13
  • 14
  • 6
  • 4
  • 6
  • 8
  • 6
  • 4
  • 6
  • 24
  • 6
  • 4
  • 13
  • 9
  • 4
  • 6
  • 6
  • 6
  • 6
  • 4
  • 16
  • 14
  • 4
  • 6
  • 87
  • 4
  • 4
  • 11
  • 10
  • 6
  • 6
  • 6
  • 89
  • 11
  • 86
  • 17
  • 4
  • 5
  • 5
  • 4
  • 9
  • 4
  • 4
  • 4
  • 10
  • 87
  • 12
  • 16
  • 7
  • 7
  • 11
  • 14
  • 9
  • 4
  • 6
  • 15
  • 6
  • 4
  • 4
  • 4
  • 16
  • 4
  • 4
  • 4
  • 14
  • 14
  • 10
  • 17
  • 5
  • 8
  • 6
  • 5
  • 10
  • 12
  • 12
  • 10
  • 6
  • 22
  • 7
  • 12
  • 17
  • 4
  • 4
  • 8
  • 15
  • 17
  • 10
  • 12
  • 4
  • 9
  • 4
  • 19
  • 8
  • 4
  • 24
  • 24
  • 12
  • 6
  • 5
  • 12
  • 4
  • 14
  • 14
  • 5
  • 7
  • 14
  • 6
  • 4
  • 86
  • 5
  • 20
  • 15
  • 5
  • 5
  • 9
  • 4
  • 23
  • 5
  • 11
  • 4
  • 13
  • 4
  • 21
  • 4
  • 5
  • 6
  • 5
  • 4
  • 4
  • 8
  • 7
  • 5
  • 5
  • 6
  • 10
  • 6
  • 6
  • 5
  • 4
  • 4
  • 7
  • 5
  • 18
  • 4
  • 4
  • 22
  • 12
  • 5
  • 6
  • 4
  • 14
  • 4
  • 10
  • 18
  • 7
  • 7
  • 5
  • 45
  • 4
  • 13
  • 15
  • 15
  • 4
  • 5
  • 4
  • 6
  • 4
  • 32
  • 7
  • 17
  • 7
  • 13
  • 4
  • 8
  • 6
  • 6
  • 17
Verlag
  • 2
  • 4494
  • 1
  • 2
  • 14
Preis
  • 1
  • 101
  • 3347
  • 1064
Sprachen
  • 4513
Verfügbarkeit
  • 4510
  • 3
Katalog
  • 4513
  • 217
4.513  Treffer  für „Lecture Notes in Computer Science“
    Abolmaesumi / Joskowicz / Navab | Information Processing in Computer Assisted Interventions | Buch | Sack Fachmedien

    Abolmaesumi / Joskowicz / Navab Information Processing in Computer Assisted Interventions

    Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30617-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutulakos | Trends and Topics in Computer Vision | Buch | Sack Fachmedien

    Kutulakos Trends and Topics in Computer Vision

    ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35739-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mundy / Zisserman / Forsyth | Applications of Invariance in Computer Vision | Buch | Sack Fachmedien

    Mundy / Zisserman / Forsyth Applications of Invariance in Computer Vision

    Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58240-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haar Romeny / Florack / Koenderink | Scale-Space Theory in Computer Vision | Buch | Sack Fachmedien

    Haar Romeny / Florack / Koenderink Scale-Space Theory in Computer Vision

    First International Conference, Scale-Space '97, Utrecht, The Netherlands, July 2 - 4, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63167-5
    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

    19th International Conference, UAHCI 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-93847-4
    Medium: Buch
    139,09 € (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

    18th International Conference, UAHCI 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-60880-3
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt / Johnson | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Hunt / Johnson Formal Methods in Computer-Aided Design

    Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41219-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Navab / Jannin | Information Processing in Computer-Assisted Interventions | Buch | Sack Fachmedien

    Navab / Jannin Information Processing in Computer-Assisted Interventions

    First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13710-5
    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
    Stoyanov / Collins / Sakuma | Information Processing in Computer-Assisted Interventions | Buch | Sack Fachmedien

    Stoyanov / Collins / Sakuma Information Processing in Computer-Assisted Interventions

    5th International Conference, IPCAI 2014, Fukuoka, Japan, June 28, 2014 Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07520-4
    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
    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
    Hu / Martin | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Hu / Martin Formal Methods in Computer-Aided Design

    5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23738-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Srivas / Camilleri | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Srivas / Camilleri Formal Methods in Computer-Aided Design

    First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61937-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Jokisch / Potapova | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Jokisch / Potapova Speech and Computer

    20th International Conference, SPECOM 2018, Leipzig, Germany, September 18-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99578-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bass / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Bass / Gornostaev / Unger Human-Computer Interaction

    Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57433-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Comon / Finkel | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Comon / Finkel Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davenport / Farmer / Rabe | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Davenport / Farmer / Rabe Intelligent Computer Mathematics

    18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22672-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yagi / Kang / Kweon | Computer Vision - ACCV 2007 | Buch | Sack Fachmedien

    Yagi / Kang / Kweon Computer Vision - ACCV 2007

    8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76389-5
    Medium: Buch
    106,99 € (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 I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07955-8
    Medium: Buch
    113,41 € (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
    Hunt / Hunt, Jr. / Somenzi | Computer Aided Verification | Buch | Sack Fachmedien

    Hunt / 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
    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

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