Ergebnisse filtern
Fachgebiet
Medium
  • 8348
Erscheinungsjahr
  • 58
  • 674
  • 680
  • 723
  • 436
  • 286
  • 165
  • 188
  • 220
  • 190
  • 184
  • 212
  • 221
  • 195
  • 199
  • 181
  • 193
  • 172
  • 184
  • 168
  • 226
  • 215
  • 188
  • 273
  • 232
  • 207
  • 201
  • 134
  • 129
  • 107
  • 117
  • 104
  • 97
  • 92
  • 72
  • 59
  • 71
  • 44
  • 48
  • 30
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 5
  • 4
  • 5
  • 4
  • 9
  • 4
  • 4
  • 11
  • 24
  • 7
  • 7
  • 4
  • 5
  • 4
  • 5
  • 4
  • 8
  • 17
  • 5
  • 5
  • 18
  • 8
  • 5
  • 4
  • 4
  • 6
  • 8
  • 4
  • 4
  • 5
  • 4
  • 8
  • 14
  • 31
  • 36
  • 35
  • 6
  • 4
  • 4
  • 4
  • 5
  • 6
  • 6
  • 11
  • 6
  • 7
  • 21
  • 13
  • 4
  • 39
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 6
  • 6
  • 4
  • 6
  • 4
  • 11
  • 9
  • 46
  • 6
  • 4
  • 4
  • 6
  • 5
  • 4
  • 22
  • 5
  • 4
  • 7
  • 10
  • 10
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 19
  • 5
  • 7
  • 11
  • 8
  • 5
  • 4
  • 8
  • 4
  • 4
  • 5
  • 10
  • 13
  • 4
  • 6
  • 40
  • 4
  • 4
  • 7
  • 4
  • 22
  • 11
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 10
  • 6
  • 7
  • 10
  • 4
  • 4
  • 5
  • 13
  • 4
  • 10
  • 4
  • 4
  • 13
  • 9
  • 14
  • 5
  • 4
  • 6
  • 4
  • 4
  • 6
  • 10
  • 4
  • 5
  • 39
  • 18
  • 7
  • 4
  • 7
  • 5
  • 5
  • 4
  • 6
  • 6
  • 5
  • 16
  • 4
  • 7
  • 5
  • 10
  • 4
  • 5
  • 13
  • 8
  • 6
  • 4
  • 11
  • 9
  • 4
  • 7
  • 4
  • 24
  • 5
  • 4
  • 11
  • 8
  • 4
  • 10
  • 4
  • 13
  • 4
  • 5
  • 5
  • 7
  • 4
  • 8
  • 6
  • 5
  • 8
  • 4
  • 6
  • 5
  • 4
  • 34
  • 5
  • 5
  • 12
  • 41
  • 4
  • 12
  • 10
  • 7
  • 20
  • 4
  • 41
  • 4
  • 4
  • 36
  • 6
  • 4
  • 5
  • 10
  • 15
  • 9
  • 4
  • 7
  • 7
  • 12
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 39
  • 7
  • 6
  • 12
  • 4
  • 4
  • 11
  • 4
  • 9
  • 4
  • 5
  • 4
  • 4
  • 5
  • 6
  • 7
  • 9
  • 6
  • 13
  • 6
  • 5
  • 6
  • 6
  • 6
  • 11
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 8
  • 4
  • 4
  • 26
  • 4
  • 25
  • 15
  • 27
  • 8
  • 8
  • 8
  • 5
  • 6
  • 6
  • 4
  • 15
  • 8
  • 24
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 5
  • 5
  • 10
  • 5
  • 6
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 6
  • 15
  • 11
  • 6
  • 8
  • 6
  • 37
  • 40
  • 9
  • 41
  • 5
  • 6
  • 10
  • 6
  • 32
  • 13
  • 4
  • 4
  • 5
  • 14
  • 5
  • 4
  • 6
  • 4
  • 7
  • 4
  • 10
  • 26
  • 14
  • 43
  • 78
  • 7
  • 4
  • 14
  • 8
  • 6
  • 5
  • 7
  • 4
  • 5
  • 5
  • 10
  • 9
  • 6
  • 4
  • 4
  • 4
  • 4
  • 6
  • 8
  • 4
  • 4
  • 4
  • 4
  • 5
  • 20
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 4
  • 6
  • 4
  • 9
  • 9
  • 4
  • 11
  • 20
  • 47
  • 4
  • 8
  • 6
  • 21
  • 15
  • 22
  • 88
  • 11
  • 4
  • 5
  • 15
  • 4
  • 8
  • 4
  • 6
  • 4
  • 18
  • 4
  • 8
  • 6
  • 15
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 23
  • 4
  • 6
  • 9
  • 5
  • 5
  • 7
  • 17
  • 6
  • 5
  • 9
  • 23
  • 39
  • 5
  • 18
  • 8
  • 4
  • 5
  • 16
  • 4
  • 12
  • 15
  • 6
  • 4
  • 5
  • 6
  • 95
  • 4
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 5
  • 6
  • 4
  • 15
  • 4
  • 14
  • 5
  • 19
  • 8
  • 9
  • 7
  • 6
  • 6
  • 4
  • 17
  • 9
  • 4
  • 6
  • 13
  • 4
  • 4
  • 13
  • 7
  • 4
  • 8
  • 5
  • 4
  • 12
  • 5
  • 5
  • 6
  • 10
  • 9
  • 5
  • 4
  • 15
  • 8
  • 34
  • 4
  • 7
  • 7
  • 8
  • 8
  • 4
  • 14
  • 25
  • 4
  • 4
  • 11
  • 15
  • 12
  • 32
  • 4
  • 11
  • 4
  • 4
  • 9
  • 4
  • 4
  • 13
  • 6
  • 5
  • 12
  • 4
  • 4
  • 16
  • 21
  • 5
  • 7
  • 14
  • 4
  • 17
  • 6
  • 6
  • 22
  • 5
  • 78
  • 14
  • 16
  • 4
  • 45
  • 4
  • 5
  • 7
  • 9
  • 6
  • 4
  • 12
  • 4
  • 6
  • 7
  • 5
  • 4
  • 9
  • 7
  • 4
  • 4
  • 17
  • 4
  • 92
  • 13
  • 4
  • 42
  • 6
  • 4
  • 4
  • 4
  • 7
  • 7
  • 6
  • 5
  • 4
  • 14
  • 9
  • 11
  • 5
  • 34
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 18
  • 19
  • 5
  • 26
  • 5
  • 5
  • 76
  • 5
  • 16
  • 6
  • 6
  • 12
  • 21
  • 5
  • 5
  • 6
  • 5
  • 4
  • 4
  • 30
  • 9
  • 4
  • 25
  • 6
  • 4
  • 4
  • 4
  • 10
  • 14
  • 13
  • 5
  • 14
  • 13
  • 15
  • 12
  • 16
  • 6
  • 78
  • 11
  • 4
  • 7
  • 8
  • 20
  • 4
  • 4
  • 4
  • 31
  • 23
  • 4
  • 5
  • 4
  • 5
  • 6
  • 6
  • 12
  • 5
  • 16
  • 4
  • 6
  • 5
  • 7
  • 5
  • 7
  • 6
  • 4
  • 13
  • 5
  • 5
  • 4
  • 5
  • 9
  • 10
  • 4
  • 11
  • 4
  • 8
  • 4
  • 13
  • 4
  • 4
  • 4
  • 6
  • 6
  • 28
  • 5
  • 4
  • 13
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 21
  • 9
  • 4
  • 8
  • 9
  • 4
  • 78
  • 6
  • 4
  • 7
  • 9
  • 10
  • 11
  • 41
  • 5
  • 4
  • 5
  • 14
  • 9
  • 5
  • 5
  • 10
  • 4
  • 4
  • 13
  • 4
  • 21
  • 25
  • 4
  • 6
  • 4
  • 4
  • 6
  • 9
  • 11
  • 4
  • 5
  • 6
  • 5
  • 4
  • 4
  • 4
  • 6
  • 5
  • 5
  • 4
  • 4
  • 9
  • 4
  • 48
  • 5
  • 4
  • 4
  • 17
  • 4
  • 4
  • 39
  • 7
  • 5
  • 4
  • 15
  • 20
  • 4
  • 12
  • 10
  • 15
  • 4
  • 12
  • 4
  • 5
  • 27
  • 6
  • 13
  • 6
  • 5
  • 4
  • 12
  • 5
  • 16
  • 14
  • 5
  • 10
  • 9
  • 4
  • 4
  • 4
  • 7
  • 7
  • 6
  • 24
  • 5
  • 9
  • 7
  • 4
  • 8
  • 4
  • 38
  • 7
  • 7
  • 7
  • 4
  • 7
  • 5
  • 7
  • 5
  • 4
  • 10
  • 30
  • 6
  • 14
  • 5
  • 34
  • 5
  • 6
  • 4
  • 9
  • 4
  • 90
  • 4
  • 6
  • 5
  • 6
  • 13
  • 16
  • 6
  • 4
  • 78
  • 10
  • 10
  • 8
  • 4
  • 12
  • 20
  • 18
  • 8
  • 92
  • 4
  • 4
  • 37
  • 11
  • 11
  • 10
  • 89
  • 22
  • 6
  • 20
  • 4
  • 4
  • 4
  • 9
  • 11
  • 13
  • 5
  • 7
  • 4
  • 4
  • 4
  • 5
  • 90
  • 4
  • 5
  • 20
  • 4
  • 10
  • 10
  • 6
  • 80
  • 11
  • 4
  • 11
  • 15
  • 12
  • 4
  • 10
  • 4
  • 13
  • 4
  • 8
  • 4
  • 7
  • 15
  • 14
  • 4
  • 4
  • 4
  • 8
  • 4
  • 9
  • 4
  • 4
  • 5
  • 14
  • 4
  • 21
  • 6
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 14
  • 8
  • 4
  • 13
  • 5
  • 7
  • 21
  • 27
  • 4
  • 7
  • 6
  • 6
  • 20
  • 11
  • 7
  • 4
  • 13
  • 4
  • 5
  • 34
  • 13
  • 4
  • 5
  • 13
  • 32
  • 4
  • 48
  • 4
  • 4
  • 8
  • 7
  • 9
  • 4
  • 5
  • 4
  • 23
  • 4
  • 4
  • 6
  • 11
  • 16
  • 22
  • 6
  • 8
  • 29
  • 12
  • 21
  • 57
  • 10
  • 10
  • 19
  • 9
  • 22
  • 13
  • 14
  • 6
  • 21
  • 9
  • 35
  • 81
  • 24
  • 12
  • 6
  • 13
  • 8
  • 7
  • 12
  • 13
  • 7
  • 15
  • 8
  • 6
  • 5
  • 5
  • 89
  • 11
  • 18
  • 15
  • 6
  • 5
  • 13
  • 6
  • 5
  • 18
  • 5
  • 11
  • 5
  • 6
  • 13
  • 36
  • 6
  • 5
  • 6
  • 5
  • 17
  • 12
  • 5
  • 7
  • 7
  • 6
  • 6
  • 22
  • 8
  • 8
  • 10
  • 7
  • 6
  • 6
  • 7
  • 6
  • 8
  • 9
  • 9
  • 5
  • 18
  • 5
  • 13
  • 14
  • 6
  • 19
  • 26
  • 8
  • 14
  • 23
  • 14
  • 5
  • 9
  • 8
  • 6
  • 18
  • 7
  • 6
  • 17
  • 6
  • 10
  • 35
  • 5
  • 23
  • 5
  • 42
  • 38
  • 21
  • 39
  • 10
  • 5
  • 21
  • 32
  • 7
  • 7
  • 26
  • 20
  • 5
  • 5
  • 11
  • 21
Verlag
  • 6
  • 8244
  • 3
  • 10
  • 2
  • 40
  • 4
  • 1
  • 13
  • 25
Preis
  • 27
  • 262
  • 6218
  • 1841
Sprachen
  • 8343
  • 16
  • 12
  • 1
Verfügbarkeit
  • 8097
  • 251
Eigenschaften
  • 2
Katalog
  • 8348
  • 370
8.348  Treffer  für „Lecture Notes in Computer Science“
    Dill | Computer Aided Verification | Buch | Sack Fachmedien

    Dill Computer Aided Verification

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

    Clarke / Kurshan Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54477-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

    5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60614-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs / Peled | Computer Aided Verification | Buch | Sack Fachmedien

    Halbwachs / Peled Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66202-0
    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
    Nah / Siau | HCI in Business, Government and Organizations | Buch | Sack Fachmedien

    Nah / Siau HCI in Business, Government and Organizations

    11th International Conference, HCIBGO 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-61317-3
    Medium: Buch
    160,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 II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92825-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Famili / Kok / Pena | Advances in Intelligent Data Analysis VI | Buch | Sack Fachmedien

    Famili / Kok / Pena Advances in Intelligent Data Analysis VI

    6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28795-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tang / Du / Woodruff | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Tang / Du / Woodruff Algorithmic Aspects in Information and Management

    12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04617-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / Schneider / Seeger | Advances in Spatial and Temporal Databases | Buch | Sack Fachmedien

    Jensen / Schneider / Seeger Advances in Spatial and Temporal Databases

    7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42301-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chin / Ip / Naiman | Image Analysis Applications and Computer Graphics | Buch | Sack Fachmedien

    Chin / Ip / Naiman Image Analysis Applications and Computer Graphics

    Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60697-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Miller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Benzmüller / Miller Intelligent Computer Mathematics

    13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53517-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darulova / Lin / Rümmer | Computer Aided Verification | Buch | Sack Fachmedien

    Darulova / Lin / Rümmer Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32536-5
    Medium: Buch
    42,79 € (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 III
    2024
    Verlag: Springer
    ISBN: 978-3-031-65632-3
    Medium: Buch
    42,79 € (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 III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37708-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Paiva / Koepke | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    de Paiva / Koepke Intelligent Computer Mathematics

    18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07020-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiems / Iacono | Computer Performance Engineering | Buch | Sack Fachmedien

    Fiems / Iacono Computer Performance Engineering

    22nd European Workshop on Performance Engineering, EPEW 2026, Grimstad, Norway, June 24-26, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29104-2
    Medium: Buch
    53,49 € (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
    Parthasarathy / Seshia | Computer Aided Verification | Buch | Sack Fachmedien

    Parthasarathy / Seshia Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (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
    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
    Watt / Sexton / Davenport | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Watt / Sexton / Davenport Intelligent Computer Mathematics

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

    Damm / Hermanns Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    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
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (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

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