Ergebnisse filtern
Fachgebiet
Medium
  • 4333
Erscheinungsjahr
  • 40
  • 194
  • 234
  • 193
  • 129
  • 47
  • 27
  • 37
  • 49
  • 70
  • 44
  • 58
  • 70
  • 69
  • 76
  • 67
  • 67
  • 157
  • 138
  • 154
  • 195
  • 185
  • 153
  • 201
  • 218
  • 182
  • 181
  • 113
  • 119
  • 92
  • 103
  • 96
  • 80
  • 67
  • 66
  • 50
  • 70
  • 39
  • 40
  • 30
  • 31
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 8
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 4
  • 3
  • 4
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 10
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 9
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 6
  • 4
  • 4
  • 2
  • 6
  • 4
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 11
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 12
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 10
  • 9
  • 5
  • 3
  • 4
  • 10
  • 3
  • 6
  • 6
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 7
  • 38
  • 29
  • 3
  • 3
  • 4
  • 5
  • 11
  • 3
  • 7
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 16
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 8
  • 6
  • 25
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 6
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 12
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 7
  • 8
  • 3
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 8
  • 6
  • 4
  • 8
  • 5
  • 7
  • 4
  • 7
  • 3
  • 4
  • 7
  • 5
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 8
  • 4
  • 10
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 3
  • 12
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 10
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 12
  • 4
  • 4
  • 3
  • 9
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 14
  • 8
  • 3
  • 9
  • 3
  • 4
  • 4
  • 10
  • 23
  • 7
  • 3
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 10
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 9
  • 6
  • 3
  • 5
  • 5
  • 4
  • 5
  • 8
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 20
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 6
  • 5
  • 5
  • 4
  • 22
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 6
  • 7
  • 3
  • 6
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 8
  • 4
  • 5
  • 3
  • 5
  • 6
  • 9
  • 3
  • 9
  • 4
  • 3
  • 6
  • 4
  • 29
  • 5
  • 11
  • 4
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 10
  • 8
  • 5
  • 4
  • 4
  • 5
  • 4
  • 7
  • 12
  • 20
  • 7
  • 5
  • 9
  • 6
  • 4
  • 3
  • 5
  • 3
  • 35
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 11
  • 22
  • 3
  • 8
  • 6
  • 4
  • 3
  • 15
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 12
  • 3
  • 4
  • 4
  • 4
  • 21
  • 7
  • 3
  • 3
  • 4
  • 10
  • 6
  • 6
  • 10
  • 3
  • 6
  • 13
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 4
  • 20
  • 5
  • 10
  • 5
  • 4
  • 3
  • 3
Verlag
  • 2
  • 4288
  • 1
  • 1
  • 1
  • 6
  • 8
  • 4
  • 7
  • 15
Preis
  • 13
  • 162
  • 3363
  • 795
Sprachen
  • 4333
  • 5
Verfügbarkeit
  • 4256
  • 77
Katalog
  • 4333
  • 243
4.333  Treffer  für „Lecture Notes in Computer Science“
    Fahringer / Scholz | Advanced Symbolic Analysis for Compilers | Buch | Sack Fachmedien

    Fahringer / Scholz Advanced Symbolic Analysis for Compilers

    New Techniques and Algorithms for Symbolic Program Analysis and Optimization
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-01185-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lucena / Garcia / Romanovsky | Software Engineering for Multi-Agent Systems II | Buch | Sack Fachmedien

    Lucena / Garcia / Romanovsky Software Engineering for Multi-Agent Systems II

    Research Issues and Practical Applications
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21182-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malawski / Rzadca | Euro-Par 2020: Parallel Processing | Buch | Sack Fachmedien

    Malawski / Rzadca Euro-Par 2020: Parallel Processing

    26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57674-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parker / Wolf | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Parker / Wolf Quantitative Evaluation of Systems

    16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30280-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Kan / Lam | Information Retrieval Technology | Buch | Sack Fachmedien

    Cheng / Kan / Lam Information Retrieval Technology

    6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17186-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bianchini / Pavone / Proença | Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops | Buch | Sack Fachmedien

    Bianchini / Pavone / Proença Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops

    ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers
    Erscheinungsjahr 2027
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-3-032-29712-9
    Medium: Buch
    104,85 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Papazoglou | OOER '95 Object-Oriented and Entity-Relationship Modeling | Buch | Sack Fachmedien

    Papazoglou OOER '95 Object-Oriented and Entity-Relationship Modeling

    14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60672-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aroyo / Traverso / Ciravegna | The Semantic Web: Research and Applications | Buch | Sack Fachmedien

    Aroyo / Traverso / Ciravegna The Semantic Web: Research and Applications

    6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31– June 4, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02120-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jee / Kate | Applied Cryptography and Network Security | Buch | Sack Fachmedien

    Jee / Kate Applied Cryptography and Network Security

    24th International Conference, ACNS 2026, Stony Brook, NY, USA, June 22-25, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32559-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leone / Otero / Busia | Applied Reconfigurable Computing. Architectures, Tools, and Applications | Buch | Sack Fachmedien

    Leone / Otero / Busia Applied Reconfigurable Computing. Architectures, Tools, and Applications

    22nd International Symposium, ARC 2026, Cagliari, Sardinia, Italy, April 8-10, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29364-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palanisamy / Samarati | Data and Applications Security and Privacy XL | Buch | Sack Fachmedien

    Palanisamy / Samarati Data and Applications Security and Privacy XL

    40th IFIP WG 11.3 Annual Conference, DBSec 2026, Arlington, VA, USA, July 28-30, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-33259-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legrand / Liefooghe / Lepagnot | Artificial Evolution | Buch | Sack Fachmedien

    Legrand / Liefooghe / Lepagnot Artificial Evolution

    16th International Conference, Évolution Artificielle, EA 2024, Bordeaux, France, October 29-31, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07997-8
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Batini / Giunchiglia / Giorgini | Cooperative Information Systems | Buch | Sack Fachmedien

    Batini / Giunchiglia / Giorgini Cooperative Information Systems

    9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42524-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bode / Dongarra / Ludwig | Parallel Virtual Machine - EuroPVM'96 | Buch | Sack Fachmedien

    Bode / Dongarra / Ludwig Parallel Virtual Machine - EuroPVM'96

    Third European PVM Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61779-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jähnichen | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | Buch | Sack Fachmedien

    Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software

    Final Report
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60589-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Araki | Theoretical Aspects of Computing - ICTAC 2004 | Buch | Sack Fachmedien

    Liu / Araki Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ernst / Rozier | Model Checking Software | Buch | Sack Fachmedien

    Ernst / Rozier Model Checking Software

    31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06846-0
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusácek / Corbalán / Rodrigo | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Klusácek / Corbalán / Rodrigo Job Scheduling Strategies for Parallel Processing

    28th International Workshop, JSSPP 2025, Milan, Italy, June 3-4, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-10506-6
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Park / Lee | Information Security and Cryptology - ICISC 2024 | Buch | Sack Fachmedien

    Kim / Park / Lee Information Security and Cryptology - ICISC 2024

    27th International Conference, Seoul, South Korea, November 20-22, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-965565-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Berg / Meyer | Algorithms -- ESA 2010, Part II | Buch | Sack Fachmedien

    de Berg / Meyer Algorithms -- ESA 2010, Part II

    18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15780-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Wang / Zhan | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    André / Wang / Zhan Formal Methods and Software Engineering

    26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954212-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Hartmanns / Kordon | TOOLympics Challenge 2023 | Buch | Sack Fachmedien

    Beyer / Hartmanns / Kordon TOOLympics Challenge 2023

    Updates, Results, Successes of the Formal-Methods Competitions
    2024
    Verlag: Springer
    ISBN: 978-3-031-67694-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Gorla | Static Analysis | Buch | Sack Fachmedien

    Giacobazzi / Gorla Static Analysis

    31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-74775-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics

    13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43221-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Petre | Integrated Formal Methods | Buch | Sack Fachmedien

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    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