Ergebnisse filtern
Fachgebiet
Medium
  • 10537
Erscheinungsjahr
  • 196
  • 808
  • 830
  • 621
  • 487
  • 277
  • 287
  • 297
  • 290
  • 311
  • 306
  • 314
  • 279
  • 311
  • 314
  • 267
  • 263
  • 270
  • 229
  • 270
  • 273
  • 223
  • 362
  • 305
  • 261
  • 250
  • 177
  • 176
  • 117
  • 132
  • 135
  • 118
  • 108
  • 96
  • 73
  • 84
  • 57
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 5
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 6
  • 9
  • 6
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 5
  • 4
  • 11
  • 4
  • 11
  • 8
  • 5
  • 6
  • 16
  • 6
  • 4
  • 20
  • 5
  • 8
  • 5
  • 6
  • 4
  • 6
  • 5
  • 9
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 5
  • 14
  • 5
  • 25
  • 36
  • 6
  • 39
  • 7
  • 7
  • 4
  • 6
  • 7
  • 15
  • 16
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 16
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 8
  • 7
  • 8
  • 4
  • 12
  • 5
  • 5
  • 4
  • 5
  • 4
  • 17
  • 7
  • 6
  • 7
  • 4
  • 14
  • 4
  • 4
  • 10
  • 5
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 16
  • 4
  • 4
  • 10
  • 5
  • 5
  • 9
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 4
  • 7
  • 8
  • 11
  • 9
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 5
  • 4
  • 6
  • 5
  • 9
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 16
  • 11
  • 16
  • 6
  • 5
  • 5
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 9
  • 9
  • 4
  • 4
  • 4
  • 8
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 16
  • 6
  • 8
  • 10
  • 5
  • 9
  • 7
  • 6
  • 4
  • 14
  • 4
  • 7
  • 4
  • 24
  • 4
  • 13
  • 10
  • 9
  • 7
  • 4
  • 5
  • 11
  • 5
  • 4
  • 8
  • 34
  • 10
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 4
  • 7
  • 4
  • 4
  • 21
  • 8
  • 38
  • 4
  • 8
  • 14
  • 10
  • 4
  • 4
  • 7
  • 12
  • 4
  • 6
  • 9
  • 13
  • 8
  • 7
  • 39
  • 4
  • 5
  • 5
  • 10
  • 9
  • 10
  • 4
  • 5
  • 4
  • 6
  • 4
  • 6
  • 11
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 15
  • 10
  • 5
  • 13
  • 5
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 9
  • 4
  • 6
  • 4
  • 6
  • 13
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 43
  • 38
  • 6
  • 23
  • 5
  • 4
  • 16
  • 8
  • 23
  • 11
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 8
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 5
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 8
  • 6
  • 5
  • 4
  • 5
  • 11
  • 4
  • 15
  • 55
  • 32
  • 6
  • 4
  • 22
  • 7
  • 18
  • 20
  • 90
  • 11
  • 6
  • 4
  • 6
  • 15
  • 4
  • 4
  • 7
  • 19
  • 13
  • 5
  • 5
  • 5
  • 5
  • 9
  • 13
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 9
  • 5
  • 39
  • 4
  • 7
  • 7
  • 4
  • 7
  • 16
  • 7
  • 4
  • 7
  • 19
  • 39
  • 6
  • 4
  • 7
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 4
  • 4
  • 8
  • 5
  • 8
  • 15
  • 6
  • 6
  • 4
  • 5
  • 8
  • 5
  • 67
  • 5
  • 8
  • 10
  • 6
  • 7
  • 15
  • 6
  • 11
  • 5
  • 8
  • 18
  • 7
  • 10
  • 5
  • 6
  • 5
  • 11
  • 17
  • 11
  • 7
  • 5
  • 13
  • 5
  • 6
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 10
  • 9
  • 11
  • 7
  • 8
  • 7
  • 5
  • 6
  • 29
  • 8
  • 6
  • 5
  • 8
  • 27
  • 6
  • 15
  • 35
  • 6
  • 6
  • 8
  • 9
  • 15
  • 5
  • 29
  • 6
  • 9
  • 5
  • 9
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 16
  • 20
  • 32
  • 5
  • 17
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 5
  • 14
  • 30
  • 35
  • 6
  • 9
  • 9
  • 6
  • 17
  • 6
  • 5
  • 12
  • 5
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 7
  • 5
  • 14
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 13
  • 12
  • 5
  • 5
  • 9
  • 13
  • 18
  • 20
  • 24
  • 8
  • 5
  • 62
  • 19
  • 6
  • 9
  • 5
  • 12
  • 20
  • 5
  • 9
  • 5
  • 6
  • 7
  • 5
  • 5
  • 8
  • 5
  • 14
  • 5
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 8
  • 18
  • 11
  • 9
  • 9
  • 9
  • 24
  • 7
  • 5
  • 32
  • 29
  • 6
  • 6
  • 8
  • 7
  • 16
  • 8
  • 6
  • 5
  • 6
  • 7
  • 6
  • 11
  • 22
  • 6
  • 7
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 16
  • 5
  • 9
  • 9
  • 5
  • 5
  • 9
  • 82
  • 10
  • 5
  • 7
  • 6
  • 14
  • 5
  • 6
  • 5
  • 9
  • 11
  • 37
  • 13
  • 5
  • 17
  • 6
  • 5
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 10
  • 5
  • 8
  • 6
  • 6
  • 8
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 5
  • 19
  • 7
  • 6
  • 18
  • 14
  • 5
  • 13
  • 11
  • 14
  • 15
  • 8
  • 16
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 6
  • 22
  • 12
  • 12
  • 11
  • 6
  • 11
  • 7
  • 7
  • 16
  • 5
  • 15
  • 14
  • 8
  • 24
  • 9
  • 9
  • 6
  • 11
  • 6
  • 5
  • 10
  • 13
  • 10
  • 5
  • 8
  • 6
  • 14
  • 6
  • 6
  • 5
  • 12
  • 24
  • 6
  • 12
  • 6
  • 7
  • 19
  • 5
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 5
  • 18
  • 9
  • 8
  • 8
  • 11
  • 5
  • 19
  • 8
  • 91
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 22
  • 14
  • 12
  • 5
  • 11
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 7
  • 89
  • 5
  • 7
  • 15
  • 20
  • 10
  • 12
  • 11
  • 17
  • 11
  • 12
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 7
  • 6
  • 5
  • 5
  • 9
  • 13
  • 5
  • 24
  • 6
  • 5
  • 6
  • 6
  • 5
  • 5
  • 14
  • 6
  • 7
  • 8
  • 8
  • 11
  • 12
  • 35
  • 10
  • 6
  • 6
  • 7
  • 18
  • 9
  • 11
  • 8
  • 10
  • 11
  • 5
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 35
  • 12
  • 7
  • 8
  • 5
  • 6
  • 10
  • 8
  • 22
  • 6
  • 8
  • 8
  • 15
  • 14
  • 24
  • 8
  • 22
  • 10
  • 13
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 18
  • 14
  • 6
  • 9
  • 54
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 14
  • 7
  • 9
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 15
  • 6
  • 8
  • 37
  • 5
  • 11
  • 7
  • 7
  • 12
  • 5
  • 13
  • 19
  • 10
  • 21
  • 6
  • 5
  • 17
  • 20
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 6
  • 27
  • 6
  • 14
  • 10
  • 5
  • 6
  • 8
  • 6
  • 6
  • 5
  • 8
  • 11
  • 8
  • 9
  • 18
  • 5
  • 11
  • 5
  • 11
  • 5
  • 6
  • 24
  • 7
  • 14
  • 5
  • 5
  • 23
  • 11
  • 5
  • 5
  • 5
  • 5
  • 9
  • 18
  • 6
  • 6
  • 6
  • 48
  • 11
  • 5
  • 5
  • 5
  • 20
  • 6
  • 43
  • 14
  • 61
  • 18
  • 5
  • 9
  • 6
  • 6
  • 32
  • 7
  • 9
  • 5
  • 18
  • 21
  • 19
  • 11
  • 9
  • 12
  • 10
  • 6
  • 6
  • 21
Verlag
  • 3
  • 10473
  • 3
  • 5
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 42
Preis
  • 42
  • 389
  • 8073
  • 2033
Sprachen
  • 10532
  • 16
  • 13
Verfügbarkeit
  • 10528
  • 9
Eigenschaften
  • 5
Katalog
  • 10537
  • 543
10.537  Treffer  für „Lecture Notes in Computer Science“
    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
    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
    Carette / Dixon / Sacerdoti Coen | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Carette / Dixon / Sacerdoti Coen Intelligent Computer Mathematics

    16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02613-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53287-1
    Medium: Buch
    42,79 € (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
    Chaudhuri / Farzan | Computer Aided Verification | Buch | Sack Fachmedien

    Chaudhuri / Farzan Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41527-7
    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 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
    Tribastone / Gilmore | Computer Performance Engineering | Buch | Sack Fachmedien

    Tribastone / Gilmore Computer Performance Engineering

    9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36780-9
    Medium: Buch
    49,22 € (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 VI
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93964-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53290-1
    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
    Dillig / Tasiran | Computer Aided Verification | Buch | Sack Fachmedien

    Dillig / Tasiran Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25539-8
    Medium: Buch
    53,49 € (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
    Karpov / Potapova / Mporas | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Potapova / Mporas Speech and Computer

    19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66428-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilly / Thomas | Computer Performance Engineering | Buch | Sack Fachmedien

    Gilly / Thomas Computer Performance Engineering

    18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-25048-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gribaudo / Iacono / Phung-Duc | Computer Performance Engineering | Buch | Sack Fachmedien

    Gribaudo / Iacono / Phung-Duc Computer Performance Engineering

    16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-44410-5
    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 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
    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
    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
    Kroening / Pasareanu / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Kroening / Pasareanu / 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
    ISBN: 978-3-319-21689-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 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
    ISBN: 978-3-031-60427-0
    Medium: Buch
    69,54 € (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
    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
    Piskac / Rakamaric / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98684-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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