Ergebnisse filtern
Fachgebiet
Medium
  • 9683
  • 1630
  • 29
  • 12
Erscheinungsjahr
  • 9
  • 297
  • 1193
  • 1217
  • 561
  • 415
  • 352
  • 381
  • 364
  • 419
  • 321
  • 433
  • 297
  • 442
  • 408
  • 513
  • 249
  • 517
  • 239
  • 253
  • 261
  • 223
  • 256
  • 222
  • 222
  • 181
  • 161
  • 120
  • 107
  • 97
  • 84
  • 81
  • 71
  • 63
  • 68
  • 38
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 9
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 17
  • 5
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 16
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 9
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 4
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 4
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 16
  • 4
  • 3
  • 17
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 29
  • 23
  • 4
  • 3
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 6
  • 10
  • 5
  • 9
  • 13
  • 4
  • 6
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 11
  • 7
  • 6
  • 4
  • 4
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 8
  • 4
  • 38
  • 4
  • 7
  • 10
  • 7
  • 12
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 5
  • 11
  • 5
  • 4
  • 7
  • 5
  • 6
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 6
  • 11
  • 5
  • 8
  • 12
  • 9
  • 7
  • 63
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 9
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 5
  • 8
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 18
  • 14
  • 5
  • 4
  • 10
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 5
  • 5
  • 5
  • 4
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 4
  • 4
  • 4
  • 40
  • 49
  • 12
  • 4
  • 9
  • 12
  • 22
  • 10
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 5
  • 8
  • 32
  • 4
  • 6
  • 5
  • 8
  • 8
  • 4
  • 9
  • 10
  • 10
  • 6
  • 10
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 13
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 7
  • 12
  • 4
  • 7
  • 4
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 3
  • 1
  • 3
  • 1
  • 51
  • 7
  • 464
  • 3
  • 1
  • 18
  • 3
  • 8
  • 3
  • 285
  • 2
  • 23
  • 1
  • 1
  • 3
  • 3
  • 3
  • 73
  • 1
  • 91
  • 1
  • 219
  • 4
  • 505
  • 1322
  • 15
  • 1
  • 1
  • 1
  • 56
  • 102
  • 1
  • 3
  • 1
  • 3
  • 38
  • 1
  • 2
  • 57
  • 28
  • 1
  • 1
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 37
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 18
  • 49
  • 4
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 19
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 24
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 3
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6183
  • 45
  • 25
  • 1
  • 1
  • 1
  • 13
  • 8
  • 3
  • 1
  • 33
  • 1
  • 124
  • 97
  • 5
  • 22
  • 1
  • 287
  • 37
  • 147
  • 1
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 166
  • 3
  • 10
  • 1
  • 24
  • 22
  • 1
  • 1
  • 2
  • 2
Preis
  • 429
  • 1977
  • 5372
  • 3576
Sprachen
  • 10415
  • 950
  • 2
Verfügbarkeit
  • 11207
  • 147
Eigenschaften
  • 12
  • 4
Katalog
  • 11354
  • 1772
11.354  Titel
    Bensalem / Lakhnech / Legay | From Programs to Systems - The Systems Perspective in Computing | Buch | Sack Fachmedien

    Bensalem / Lakhnech / Legay From Programs to Systems - The Systems Perspective in Computing

    ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54847-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitek / Tschudin | Mobile Object Systems Towards the Programmable Internet | Buch | Sack Fachmedien

    Vitek / Tschudin Mobile Object Systems Towards the Programmable Internet

    Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62852-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheng / Stroulia / Tata | Service-Oriented Computing | Buch | Sack Fachmedien

    Sheng / Stroulia / Tata Service-Oriented Computing

    14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46294-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Nambiar / Poess Performance Evaluation and Benchmarking

    16th TPC Technology Conference, TPCTC 2024, Guangzhou, China, August 30, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93857-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilhelm | Compiler Construction | Buch | Sack Fachmedien

    Wilhelm Compiler Construction

    10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41861-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eigenmann / Voss | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Eigenmann / Voss OpenMP Shared Memory Parallel Programming

    International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calder / Gilmore | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Calder / Gilmore Computational Methods in Systems Biology

    International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75139-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumeister / Lichter / Riebisch | Agile Processes in Software Engineering and Extreme Programming | Buch | Sack Fachmedien

    Baumeister / Lichter / Riebisch Agile Processes in Software Engineering and Extreme Programming

    18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57632-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi | Computational Science and Its Applications - ICCSA 2007 | Buch | Sack Fachmedien

    Gervasi Computational Science and Its Applications - ICCSA 2007

    International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74475-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bifet / Krilavicius / Krilavicius | Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track | Buch | Sack Fachmedien

    Bifet / Krilavicius / Krilavicius Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track

    European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part X
    2024
    Verlag: Springer
    ISBN: 978-3-031-70380-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Subramanian / White | Computational Methods in Chemical Engineering with Maple | Buch | Sack Fachmedien

    Subramanian / White Computational Methods in Chemical Engineering with Maple

    2010
    Verlag: Springer
    ISBN: 978-3-642-04310-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papadopoulos / Rademacher / Soldani | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Papadopoulos / Rademacher / Soldani Service-Oriented and Cloud Computing

    10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-46234-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vouros / Artikis / Stathis | Organized Adaption in Multi-Agent Systems | Buch | Sack Fachmedien

    Vouros / Artikis / Stathis Organized Adaption in Multi-Agent Systems

    First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02376-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antonacopoulos / Hinze / Piwowarski | Linking Theory and Practice of Digital Libraries | Buch | Sack Fachmedien

    Antonacopoulos / Hinze / Piwowarski Linking Theory and Practice of Digital Libraries

    28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-72436-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Didier | B'98: Recent Advances in the Development and Use of the B Method | Buch | Sack Fachmedien

    Didier B'98: Recent Advances in the Development and Use of the B Method

    Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64405-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | Buch | Sack Fachmedien

    Lee Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-19603-4
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Gabriel / Dongarra | Recent Advances in the Message Passing Interface | Buch | Sack Fachmedien

    Keller / Gabriel / Dongarra Recent Advances in the Message Passing Interface

    17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15645-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duque-Méndez / Aristizábal-Quintero / Orozco-Alzate | Advances in Computing | Buch | Sack Fachmedien

    Duque-Méndez / Aristizábal-Quintero / Orozco-Alzate Advances in Computing

    18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I
    2025
    Verlag: Springer
    ISBN: 978-3-031-75232-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shoham / Vizel | Computer Aided Verification | Buch | Sack Fachmedien

    Shoham / Vizel Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13187-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring / Peyton Jones | Advanced Functional Programming | Buch | Sack Fachmedien

    Jeuring / Peyton Jones Advanced Functional Programming

    4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40132-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2003: System Design | Buch | Sack Fachmedien

    Reed SDL 2003: System Design

    11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40539-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amadio | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Amadio Foundations of Software Science and Computational Structures

    11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78497-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Duan | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu / Duan Structured Object-Oriented Formal Language and Method

    5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31219-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cunha / Fernandes / Lämmel | Grand Timely Topics in Software Engineering | Buch | Sack Fachmedien

    Cunha / Fernandes / Lämmel Grand Timely Topics in Software Engineering

    International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60073-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Marché | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

    Beckert / Marché Formal Verification of Object-Oriented Software

    International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18069-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