Ergebnisse filtern
Fachgebiet
Medium
  • 11273
  • 2636
Erscheinungsjahr
  • 6
  • 859
  • 1016
  • 1059
  • 800
  • 640
  • 422
  • 429
  • 428
  • 447
  • 405
  • 429
  • 436
  • 444
  • 432
  • 410
  • 398
  • 384
  • 257
  • 217
  • 274
  • 286
  • 234
  • 439
  • 522
  • 256
  • 256
  • 178
  • 177
  • 155
  • 140
  • 135
  • 120
  • 110
  • 95
  • 75
  • 88
  • 59
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 7
  • 9
  • 16
  • 30
  • 14
  • 9
  • 13
  • 6
  • 21
  • 6
  • 22
  • 6
  • 7
  • 7
  • 11
  • 8
  • 6
  • 15
  • 6
  • 42
  • 44
  • 61
  • 7
  • 6
  • 9
  • 17
  • 23
  • 16
  • 6
  • 50
  • 16
  • 7
  • 9
  • 7
  • 14
  • 6
  • 19
  • 10
  • 9
  • 30
  • 11
  • 12
  • 10
  • 11
  • 6
  • 6
  • 13
  • 9
  • 7
  • 24
  • 7
  • 19
  • 10
  • 14
  • 9
  • 7
  • 7
  • 32
  • 11
  • 13
  • 7
  • 6
  • 48
  • 9
  • 7
  • 26
  • 21
  • 7
  • 14
  • 12
  • 9
  • 9
  • 13
  • 6
  • 9
  • 6
  • 6
  • 21
  • 14
  • 8
  • 14
  • 10
  • 8
  • 21
  • 6
  • 6
  • 6
  • 7
  • 10
  • 50
  • 24
  • 6
  • 7
  • 9
  • 6
  • 7
  • 7
  • 20
  • 8
  • 8
  • 18
  • 7
  • 9
  • 16
  • 10
  • 6
  • 12
  • 31
  • 7
  • 18
  • 13
  • 16
  • 6
  • 12
  • 7
  • 6
  • 8
  • 14
  • 8
  • 7
  • 8
  • 41
  • 6
  • 18
  • 52
  • 7
  • 13
  • 11
  • 23
  • 24
  • 19
  • 57
  • 10
  • 54
  • 13
  • 17
  • 15
  • 6
  • 8
  • 7
  • 10
  • 13
  • 6
  • 12
  • 14
  • 7
  • 16
  • 6
  • 6
  • 50
  • 6
  • 15
  • 9
  • 19
  • 8
  • 7
  • 12
  • 14
  • 15
  • 7
  • 10
  • 8
  • 6
  • 7
  • 22
  • 8
  • 8
  • 19
  • 11
  • 9
  • 6
  • 7
  • 8
  • 7
  • 29
  • 31
  • 17
  • 32
  • 10
  • 7
  • 8
  • 9
  • 10
  • 7
  • 8
  • 6
  • 8
  • 24
  • 14
  • 31
  • 6
  • 9
  • 9
  • 6
  • 8
  • 10
  • 12
  • 8
  • 6
  • 6
  • 7
  • 8
  • 10
  • 10
  • 17
  • 10
  • 6
  • 12
  • 13
  • 6
  • 51
  • 45
  • 10
  • 45
  • 15
  • 18
  • 7
  • 8
  • 44
  • 17
  • 6
  • 7
  • 8
  • 11
  • 6
  • 6
  • 20
  • 6
  • 6
  • 6
  • 15
  • 7
  • 11
  • 6
  • 12
  • 35
  • 21
  • 54
  • 78
  • 13
  • 7
  • 19
  • 8
  • 13
  • 6
  • 14
  • 17
  • 22
  • 6
  • 11
  • 12
  • 7
  • 9
  • 7
  • 7
  • 8
  • 7
  • 8
  • 7
  • 8
  • 8
  • 27
  • 23
  • 13
  • 6
  • 12
  • 6
  • 17
  • 13
  • 6
  • 11
  • 14
  • 7
  • 23
  • 88
  • 48
  • 11
  • 30
  • 8
  • 24
  • 35
  • 138
  • 15
  • 10
  • 6
  • 10
  • 20
  • 6
  • 16
  • 11
  • 7
  • 6
  • 25
  • 18
  • 6
  • 9
  • 8
  • 15
  • 9
  • 7
  • 7
  • 21
  • 6
  • 9
  • 7
  • 7
  • 6
  • 7
  • 6
  • 20
  • 6
  • 6
  • 60
  • 6
  • 15
  • 10
  • 7
  • 6
  • 11
  • 22
  • 9
  • 13
  • 8
  • 29
  • 50
  • 8
  • 6
  • 7
  • 7
  • 21
  • 7
  • 16
  • 7
  • 11
  • 7
  • 10
  • 20
  • 7
  • 6
  • 21
  • 20
  • 11
  • 7
  • 6
  • 6
  • 11
  • 118
  • 10
  • 6
  • 10
  • 7
  • 17
  • 9
  • 7
  • 7
  • 11
  • 6
  • 6
  • 10
  • 20
  • 6
  • 17
  • 7
  • 12
  • 25
  • 9
  • 6
  • 17
  • 13
  • 6
  • 10
  • 7
  • 13
  • 25
  • 18
  • 11
  • 12
  • 15
  • 8
  • 9
  • 18
  • 6
  • 9
  • 11
  • 7
  • 15
  • 6
  • 7
  • 6
  • 10
  • 8
  • 12
  • 7
  • 10
  • 18
  • 6
  • 6
  • 20
  • 6
  • 11
  • 7
  • 16
  • 9
  • 51
  • 6
  • 13
  • 10
  • 6
  • 29
  • 8
  • 7
  • 22
  • 50
  • 7
  • 9
  • 8
  • 17
  • 20
  • 7
  • 14
  • 46
  • 6
  • 7
  • 6
  • 9
  • 8
  • 6
  • 9
  • 22
  • 7
  • 10
  • 14
  • 6
  • 22
  • 48
  • 26
  • 10
  • 8
  • 15
  • 9
  • 9
  • 6
  • 22
  • 8
  • 29
  • 7
  • 78
  • 6
  • 14
  • 37
  • 65
  • 6
  • 7
  • 15
  • 6
  • 8
  • 6
  • 8
  • 6
  • 10
  • 11
  • 6
  • 13
  • 6
  • 11
  • 8
  • 8
  • 8
  • 9
  • 7
  • 8
  • 6
  • 19
  • 7
  • 114
  • 16
  • 6
  • 8
  • 52
  • 9
  • 7
  • 7
  • 6
  • 15
  • 7
  • 11
  • 7
  • 7
  • 12
  • 16
  • 15
  • 16
  • 8
  • 6
  • 15
  • 11
  • 10
  • 25
  • 23
  • 9
  • 35
  • 9
  • 6
  • 12
  • 8
  • 99
  • 8
  • 31
  • 9
  • 7
  • 6
  • 17
  • 33
  • 6
  • 10
  • 8
  • 6
  • 7
  • 10
  • 38
  • 11
  • 12
  • 7
  • 33
  • 7
  • 6
  • 6
  • 7
  • 7
  • 20
  • 14
  • 6
  • 7
  • 18
  • 20
  • 19
  • 19
  • 20
  • 18
  • 6
  • 78
  • 13
  • 6
  • 13
  • 9
  • 9
  • 37
  • 12
  • 12
  • 10
  • 6
  • 44
  • 41
  • 7
  • 10
  • 10
  • 13
  • 10
  • 25
  • 6
  • 10
  • 6
  • 7
  • 9
  • 8
  • 6
  • 19
  • 8
  • 6
  • 6
  • 12
  • 7
  • 28
  • 11
  • 7
  • 10
  • 11
  • 14
  • 10
  • 10
  • 18
  • 7
  • 7
  • 55
  • 8
  • 6
  • 17
  • 10
  • 6
  • 6
  • 6
  • 9
  • 10
  • 7
  • 9
  • 7
  • 9
  • 26
  • 10
  • 7
  • 6
  • 13
  • 14
  • 6
  • 9
  • 6
  • 10
  • 10
  • 6
  • 129
  • 6
  • 11
  • 10
  • 16
  • 18
  • 14
  • 13
  • 7
  • 12
  • 7
  • 14
  • 7
  • 58
  • 13
  • 23
  • 12
  • 6
  • 12
  • 8
  • 6
  • 8
  • 20
  • 6
  • 25
  • 31
  • 15
  • 6
  • 6
  • 6
  • 9
  • 10
  • 12
  • 7
  • 7
  • 7
  • 11
  • 6
  • 6
  • 7
  • 6
  • 6
  • 14
  • 8
  • 6
  • 7
  • 13
  • 56
  • 11
  • 6
  • 26
  • 9
  • 9
  • 49
  • 18
  • 13
  • 7
  • 11
  • 7
  • 18
  • 20
  • 6
  • 17
  • 22
  • 20
  • 9
  • 14
  • 6
  • 12
  • 31
  • 13
  • 7
  • 9
  • 15
  • 13
  • 8
  • 7
  • 6
  • 23
  • 7
  • 12
  • 9
  • 19
  • 13
  • 8
  • 11
  • 14
  • 8
  • 14
  • 6
  • 9
  • 19
  • 9
  • 31
  • 9
  • 9
  • 8
  • 10
  • 6
  • 6
  • 48
  • 12
  • 15
  • 10
  • 6
  • 8
  • 7
  • 25
  • 11
  • 11
  • 6
  • 6
  • 9
  • 11
  • 7
  • 38
  • 6
  • 9
  • 16
  • 8
  • 8
  • 43
  • 7
  • 8
  • 8
  • 12
  • 11
  • 7
  • 114
  • 7
  • 6
  • 10
  • 7
  • 45
  • 20
  • 7
  • 6
  • 8
  • 78
  • 23
  • 14
  • 9
  • 6
  • 10
  • 15
  • 16
  • 26
  • 22
  • 10
  • 10
  • 117
  • 6
  • 53
  • 13
  • 12
  • 16
  • 8
  • 113
  • 22
  • 7
  • 8
  • 21
  • 13
  • 6
  • 13
  • 8
  • 13
  • 19
  • 20
  • 7
  • 7
  • 13
  • 8
  • 14
  • 10
  • 7
  • 114
  • 6
  • 8
  • 22
  • 6
  • 7
  • 8
  • 8
  • 82
  • 15
  • 23
  • 22
  • 7
  • 13
  • 11
  • 10
  • 12
  • 6
  • 16
  • 11
  • 10
  • 28
  • 22
  • 11
  • 12
  • 8
  • 8
  • 12
  • 7
  • 11
  • 8
  • 19
  • 9
  • 6
  • 37
  • 6
  • 9
  • 8
  • 10
  • 12
  • 6
  • 7
  • 17
  • 11
  • 7
  • 10
  • 11
  • 6
  • 21
  • 10
  • 16
  • 26
  • 32
  • 14
  • 8
  • 25
  • 14
  • 7
  • 16
  • 12
  • 37
  • 15
  • 9
  • 7
  • 19
  • 11
  • 56
  • 9
  • 68
  • 13
  • 7
  • 13
  • 8
  • 15
  • 14
  • 8
  • 8
  • 28
  • 9
  • 22
  • 8
  • 18
  • 23
  • 24
  • 8
  • 11
  • 28
  • 19
  • 37
  • 85
  • 10
  • 26
  • 26
  • 11
  • 13
  • 10
  • 12
  • 27
  • 7
  • 21
  • 20
  • 12
  • 7
  • 8
  • 21
  • 11
  • 87
  • 82
  • 31
  • 16
  • 8
  • 10
  • 19
  • 19
  • 16
  • 8
  • 8
  • 13
  • 25
  • 15
  • 7
  • 18
  • 19
  • 7
  • 8
  • 12
  • 14
  • 113
  • 15
  • 24
  • 10
  • 21
  • 7
  • 9
  • 7
  • 17
  • 11
  • 11
  • 12
  • 45
  • 7
  • 13
  • 11
  • 9
  • 14
  • 18
  • 28
  • 13
  • 18
  • 46
  • 15
  • 7
  • 21
  • 18
  • 12
  • 12
  • 12
  • 13
  • 7
  • 7
  • 29
  • 18
  • 10
  • 7
  • 9
  • 12
  • 7
  • 12
  • 15
  • 16
  • 8
  • 25
  • 13
  • 16
  • 8
  • 8
  • 19
  • 34
  • 13
  • 15
  • 20
  • 27
  • 7
  • 13
  • 15
  • 12
  • 11
  • 25
  • 11
  • 8
  • 58
  • 7
  • 7
  • 7
  • 31
  • 62
  • 51
  • 87
  • 52
  • 7
  • 16
  • 9
  • 7
  • 22
  • 44
  • 32
  • 25
  • 27
  • 10
  • 7
  • 8
  • 12
  • 12
  • 7
  • 20
Verlag
  • 6
  • 12019
  • 23
  • 1656
  • 1
  • 6
  • 9
  • 4
  • 140
  • 1
  • 1
  • 5
  • 38
Preis
  • 47
  • 508
  • 10830
  • 2524
Sprachen
  • 13901
  • 19
  • 15
Verfügbarkeit
  • 13587
  • 322
Eigenschaften
  • 46
Katalog
  • 13909
  • 600
13.909  Treffer  für „Lecture Notes in Computer Science“
    Joyce / Seger | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Joyce / Seger Higher Order Logic Theorem Proving and Its Applications

    6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanguiane | Artificial Perception and Music Recognition | Buch | Sack Fachmedien

    Tanguiane Artificial Perception and Music Recognition

    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57394-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rucklidge | Efficient Visual Recognition Using the Hausdorff Distance | Buch | Sack Fachmedien

    Rucklidge Efficient Visual Recognition Using the Hausdorff Distance

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61993-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns | Measurement, Modelling and Evaluation of Computing Systems | Buch | Sack Fachmedien

    Hermanns Measurement, Modelling and Evaluation of Computing Systems

    20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murino / Puppo | Image Analysis and Processing - ICIAP 2015 | Buch | Sack Fachmedien

    Murino / Puppo Image Analysis and Processing - ICIAP 2015

    18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23233-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fink / Frintrop / Jiang | Pattern Recognition | eBook | Sack Fachmedien
    E-Book

    Fink / Frintrop / Jiang Pattern Recognition

    41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10–13, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-33676-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bernard / Clarysse / Duchateau | Functional Imaging and Modeling of the Heart | Buch | Sack Fachmedien

    Bernard / Clarysse / Duchateau Functional Imaging and Modeling of the Heart

    12th International Conference, FIMH 2023, Lyon, France, June 19-22, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35301-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sclaroff / Distante / Leo | Image Analysis and Processing – ICIAP 2022 | eBook | Sack Fachmedien
    E-Book

    Sclaroff / Distante / Leo Image Analysis and Processing – ICIAP 2022

    21st International Conference, Lecce, Italy, May 23–27, 2022, Proceedings, Part I
    Erscheinungsjahr 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-06427-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    106,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lin / Wang / Jiang | Image and Graphics | Buch | Sack Fachmedien

    Lin / Wang / Jiang Image and Graphics

    13th International Conference, ICIG 2025, Xuzhou, China, October 31 - November 2, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953392-3
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer International Publishing
    ISBN: 978-3-032-40107-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Lu / Zhang / Kwok | Neural Information Processing | eBook | Sack Fachmedien
    E-Book

    Lu / Zhang / Kwok Neural Information Processing

    18th International Conference, ICONIP 2011, Shanghai,China, November 13-17, 2011, Proceedings, Part III
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-24965-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Practice | eBook | Sack Fachmedien
    E-Book

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Practice

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
    Erscheinungsjahr 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-19762-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chang / Zhang | Transactions on Edutainment VIII | Buch | Sack Fachmedien

    Chang / Zhang Transactions on Edutainment VIII

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31438-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filliatre / Paulin-Mohring / Werner | Types for Proofs and Programs | Buch | Sack Fachmedien

    Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs

    International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31428-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vulkov / Wasniewski / Yalamov | Numerical Analysis and Its Applications | Buch | Sack Fachmedien

    Vulkov / Wasniewski / Yalamov Numerical Analysis and Its Applications

    First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62598-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Luo / McKinna | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badioze Zaman / Robinson / Petrou | Visual Informatics: Bridging Research and Practice | Buch | Sack Fachmedien

    Badioze Zaman / Robinson / Petrou Visual Informatics: Bridging Research and Practice

    First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-05035-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharp | Higher-Level Hardware Synthesis | Buch | Sack Fachmedien

    Sharp Higher-Level Hardware Synthesis

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21306-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vigna | Mobile Agents and Security | eBook | Sack Fachmedien
    E-Book

    Vigna Mobile Agents and Security

    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-68671-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barahona / Bry / Franconi | Reasoning Web | Buch | Sack Fachmedien

    Barahona / Bry / Franconi Reasoning Web

    Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38409-0
    Medium: Buch
    48,15 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Dybjer / Pinto | Applied Semantics | Buch | Sack Fachmedien

    Barthe / Dybjer / Pinto Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44044-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36749-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Nordio | Tools for Practical Software Verification | Buch | Sack Fachmedien

    Meyer / Nordio Tools for Practical Software Verification

    International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35745-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Backhouse / Gibbons | Generic Programming | eBook | Sack Fachmedien
    E-Book

    Backhouse / Gibbons Generic Programming

    Advanced Lectures
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45191-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    46,00 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sloman / Lobo / Lupu | Policies for Distributed Systems and Networks | Buch | Sack Fachmedien

    Sloman / Lobo / Lupu Policies for Distributed Systems and Networks

    International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41610-4
    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