Ergebnisse filtern
Fachgebiet
Medium
  • 4521
Erscheinungsjahr
  • 96
  • 553
  • 584
  • 310
  • 137
  • 82
  • 126
  • 133
  • 139
  • 120
  • 125
  • 111
  • 105
  • 104
  • 108
  • 124
  • 128
  • 90
  • 88
  • 108
  • 112
  • 82
  • 125
  • 102
  • 102
  • 105
  • 75
  • 57
  • 56
  • 51
  • 49
  • 41
  • 42
  • 35
  • 24
  • 29
  • 21
  • 16
  • 10
  • 10
  • 4
  • 2
Autoren
  • 4
  • 5
  • 4
  • 4
  • 3
  • 9
  • 6
  • 7
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 16
  • 16
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 7
  • 14
  • 4
  • 10
  • 33
  • 9
  • 3
  • 3
  • 9
  • 3
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 38
  • 4
  • 4
  • 3
  • 4
  • 4
  • 6
  • 6
  • 3
  • 4
  • 9
  • 4
  • 3
  • 13
  • 4
  • 6
  • 6
  • 4
  • 6
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 14
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 5
  • 7
  • 10
  • 5
  • 6
  • 39
  • 5
  • 4
  • 8
  • 3
  • 4
  • 25
  • 3
  • 8
  • 3
  • 4
  • 5
  • 8
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 14
  • 3
  • 14
  • 6
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 38
  • 22
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 16
  • 4
  • 9
  • 6
  • 4
  • 10
  • 5
  • 5
  • 12
  • 3
  • 4
  • 6
  • 24
  • 3
  • 3
  • 14
  • 5
  • 3
  • 7
  • 4
  • 4
  • 11
  • 3
  • 4
  • 3
  • 6
  • 3
  • 6
  • 3
  • 8
  • 6
  • 4
  • 33
  • 4
  • 9
  • 40
  • 3
  • 11
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 20
  • 3
  • 4
  • 36
  • 4
  • 4
  • 5
  • 3
  • 9
  • 15
  • 5
  • 4
  • 5
  • 7
  • 4
  • 12
  • 3
  • 4
  • 6
  • 5
  • 4
  • 3
  • 4
  • 4
  • 38
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 10
  • 6
  • 5
  • 5
  • 10
  • 6
  • 4
  • 8
  • 4
  • 4
  • 4
  • 5
  • 5
  • 3
  • 8
  • 8
  • 3
  • 3
  • 5
  • 3
  • 8
  • 10
  • 8
  • 8
  • 5
  • 4
  • 4
  • 6
  • 5
  • 24
  • 6
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 6
  • 3
  • 5
  • 4
  • 8
  • 16
  • 11
  • 5
  • 5
  • 3
  • 3
  • 3
  • 8
  • 5
  • 16
  • 4
  • 8
  • 14
  • 8
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 11
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 6
  • 27
  • 4
  • 3
  • 3
  • 45
  • 3
  • 6
  • 4
  • 4
  • 17
  • 3
  • 7
  • 3
  • 6
  • 3
  • 11
  • 4
  • 9
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 7
  • 21
  • 5
  • 7
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 4
  • 12
  • 4
  • 8
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 7
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 32
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 5
  • 10
  • 16
  • 22
  • 38
  • 3
  • 3
  • 4
  • 12
  • 3
  • 3
  • 3
  • 4
  • 4
  • 17
  • 4
  • 3
  • 7
  • 3
  • 6
  • 16
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 5
  • 13
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 23
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 7
  • 9
  • 6
  • 8
  • 16
  • 38
  • 5
  • 3
  • 11
  • 18
  • 6
  • 14
  • 3
  • 9
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 8
  • 4
  • 16
  • 4
  • 9
  • 3
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 69
  • 5
  • 6
  • 5
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 12
  • 5
  • 3
  • 6
  • 8
  • 3
  • 5
  • 3
  • 5
  • 16
  • 4
  • 3
  • 14
  • 3
  • 3
  • 8
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 3
  • 8
  • 4
  • 5
  • 6
  • 5
  • 5
  • 4
  • 8
  • 3
  • 3
  • 6
  • 14
  • 3
  • 13
  • 4
  • 5
  • 8
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 15
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 19
  • 7
  • 5
  • 4
  • 8
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 9
  • 21
  • 3
  • 4
  • 6
  • 16
  • 3
  • 6
  • 5
  • 8
  • 29
  • 3
  • 4
  • 6
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 6
  • 5
  • 6
  • 14
  • 19
  • 17
  • 4
  • 4
  • 14
  • 4
  • 5
  • 7
  • 7
  • 7
  • 5
  • 4
  • 5
  • 12
  • 4
  • 5
  • 5
  • 22
  • 5
  • 17
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 12
  • 4
  • 4
  • 4
  • 5
  • 7
  • 8
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 4
  • 4
  • 85
  • 4
  • 13
  • 4
  • 11
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 7
  • 5
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 7
  • 18
  • 20
  • 4
  • 17
  • 4
  • 4
  • 5
  • 4
  • 58
  • 9
  • 14
  • 7
  • 5
  • 13
  • 22
  • 7
  • 5
  • 5
  • 5
  • 5
  • 5
  • 7
  • 23
  • 7
  • 4
  • 6
  • 5
  • 12
  • 13
  • 4
  • 12
  • 9
  • 13
  • 15
  • 5
  • 11
  • 6
  • 19
  • 4
  • 4
  • 6
  • 10
  • 4
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 5
  • 7
  • 7
  • 8
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 9
  • 5
  • 6
  • 6
  • 38
  • 4
  • 6
  • 8
  • 6
  • 4
  • 40
  • 9
  • 8
  • 6
  • 12
  • 4
  • 5
  • 8
  • 4
  • 8
  • 7
  • 6
  • 4
  • 4
  • 5
  • 10
  • 39
  • 5
  • 7
  • 6
  • 18
  • 4
  • 13
  • 4
  • 11
  • 15
  • 4
  • 13
  • 4
  • 4
  • 17
  • 4
  • 11
  • 7
  • 6
  • 4
  • 13
  • 15
  • 11
  • 11
  • 4
  • 7
  • 24
  • 10
  • 7
  • 6
  • 4
  • 6
  • 6
  • 4
  • 4
  • 9
  • 15
  • 4
  • 88
  • 4
  • 4
  • 8
  • 8
  • 5
  • 5
  • 4
  • 89
  • 11
  • 7
  • 4
  • 86
  • 20
  • 4
  • 5
  • 9
  • 7
  • 5
  • 4
  • 4
  • 8
  • 86
  • 16
  • 20
  • 4
  • 11
  • 6
  • 4
  • 12
  • 4
  • 14
  • 9
  • 4
  • 8
  • 5
  • 15
  • 7
  • 4
  • 9
  • 4
  • 4
  • 16
  • 4
  • 14
  • 6
  • 12
  • 9
  • 15
  • 6
  • 8
  • 5
  • 7
  • 4
  • 12
  • 6
  • 7
  • 12
  • 11
  • 6
  • 22
  • 4
  • 4
  • 4
  • 10
  • 13
  • 21
  • 5
  • 7
  • 16
  • 22
  • 10
  • 12
  • 9
  • 18
  • 7
  • 4
  • 23
  • 24
  • 12
  • 6
  • 7
  • 4
  • 7
  • 12
  • 16
  • 18
  • 4
  • 4
  • 8
  • 4
  • 4
  • 15
  • 4
  • 86
  • 5
  • 20
  • 15
  • 5
  • 4
  • 10
  • 24
  • 4
  • 5
  • 11
  • 5
  • 5
  • 6
  • 13
  • 4
  • 23
  • 4
  • 5
  • 5
  • 4
  • 8
  • 8
  • 4
  • 10
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 9
  • 4
  • 4
  • 4
  • 18
  • 4
  • 4
  • 4
  • 4
  • 23
  • 4
  • 4
  • 12
  • 6
  • 5
  • 4
  • 15
  • 4
  • 9
  • 5
  • 18
  • 8
  • 9
  • 5
  • 5
  • 43
  • 4
  • 6
  • 13
  • 17
  • 17
  • 4
  • 6
  • 4
  • 5
  • 33
  • 4
  • 5
  • 20
  • 4
  • 4
  • 7
  • 7
  • 22
Verlag
  • 2
  • 4497
  • 1
  • 3
  • 1
  • 1
  • 16
Preis
  • 1
  • 103
  • 3369
  • 1048
Sprachen
  • 4521
  • 1
Verfügbarkeit
  • 4514
  • 7
Eigenschaften
  • 1
Katalog
  • 4521
  • 222
4.521  Treffer  für „Lecture Notes in Computer Science“
    Adelsberger / Lazansky / Marik | Information Management in Computer Integrated Manufacturing | Buch | Sack Fachmedien

    Adelsberger / Lazansky / Marik Information Management in Computer Integrated Manufacturing

    A Comprehensive Guide to State-of-the-Art CIM Solutions
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60286-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barratt / Cotin / Fichtinger | Information Processing in Computer-Assisted Interventions | Buch | Sack Fachmedien

    Barratt / Cotin / Fichtinger Information Processing in Computer-Assisted Interventions

    4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38567-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taylor / Yang | Information Processing in Computer-Assisted Interventions | Buch | Sack Fachmedien

    Taylor / Yang Information Processing in Computer-Assisted Interventions

    Second International Conference, IPCAI 2011, Berlin, Germany, June 22, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21503-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Choo / Ha | Computer-Human Interaction | Buch | Sack Fachmedien

    Lee / Choo / Ha Computer-Human Interaction

    8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70584-0
    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
    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
    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
    Nicosia / Ojha / La Malfa | Machine Learning, Optimization, and Data Science | Buch | Sack Fachmedien

    Nicosia / Ojha / La Malfa Machine Learning, Optimization, and Data Science

    9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-53965-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Chen / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Liu / Chen / Vincze Computer Vision Systems

    11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68344-7
    Medium: Buch
    53,49 € (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
    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
    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
    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
    Autexier / Campbell / Rubio | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Autexier / Campbell / Rubio Intelligent Computer Mathematics

    9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85109-7
    Medium: Buch
    53,49 € (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
    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
    Ball / Jones | Computer Aided Verification | Buch | Sack Fachmedien

    Ball / Jones Computer Aided Verification

    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37406-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiele / Sagerer | Computer Vision Systems | Buch | Sack Fachmedien

    Schiele / Sagerer Computer Vision Systems

    Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42285-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Železný / Habernal / Ronzhin | Speech and Computer | Buch | Sack Fachmedien

    Železný / Habernal / Ronzhin Speech and Computer

    15th International Conference, SPECOM 2013, September 1-5, 2013, Pilsen, Czech Republic, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-01930-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase / Johansson / Miller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kohlhase / Johansson / Miller Intelligent Computer Mathematics

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

    Kamareddine / Sacerdoti Coen Intelligent Computer Mathematics

    14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-81096-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Potapova / Vlado | Speech and Computer | Buch | Sack Fachmedien

    Ronzhin / Potapova / Vlado Speech and Computer

    16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 5-9, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11580-1
    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
    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

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