Ergebnisse filtern
Fachgebiet
Medium
  • 2048
Erscheinungsjahr
  • 10
  • 153
  • 139
  • 106
  • 39
  • 18
  • 33
  • 33
  • 29
  • 24
  • 37
  • 48
  • 39
  • 50
  • 41
  • 34
  • 67
  • 62
  • 64
  • 78
  • 66
  • 61
  • 117
  • 104
  • 94
  • 73
  • 59
  • 52
  • 37
  • 29
  • 36
  • 33
  • 27
  • 32
  • 17
  • 32
  • 16
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 5
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 7
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 15
  • 3
  • 3
  • 4
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 9
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 7
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 5
  • 2
  • 3
  • 4
  • 12
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 15
  • 23
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 6
  • 4
  • 2
  • 4
  • 3
  • 7
  • 4
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 24
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 6
  • 4
  • 5
  • 2
  • 5
  • 2
  • 4
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 7
  • 12
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 8
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 6
  • 2
  • 10
  • 22
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 5
  • 2
  • 4
  • 5
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 19
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 18
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 9
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 11
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 23
  • 4
  • 2
  • 3
  • 4
  • 9
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 32
  • 2
  • 3
  • 3
  • 4
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 6
  • 20
  • 2
  • 5
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 5
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 18
  • 2
  • 4
  • 6
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
Verlag
  • 2041
  • 1
  • 6
Preis
  • 4
  • 86
  • 1650
  • 308
Sprachen
  • 2048
Verfügbarkeit
  • 2047
  • 1
Katalog
  • 2048
  • 134
2.048  Treffer  für „Lecture Notes in Computer Science“
    Strauss / Amagasa / Manco | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Strauss / Amagasa / Manco Database and Expert Systems Applications

    35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-68311-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Formenti / Durand-Lose | Machines, Computations, and Universality | Buch | Sack Fachmedien

    Formenti / Durand-Lose Machines, Computations, and Universality

    10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81201-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruynooghe / Lau | Program Development in Computational Logic | Buch | Sack Fachmedien

    Bruynooghe / Lau Program Development in Computational Logic

    A Decade of Research Advances in Logic-Based Program Development
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22152-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melnik / Holz | Advances in Learning Software Organizations | Buch | Sack Fachmedien

    Melnik / Holz Advances in Learning Software Organizations

    6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22192-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiper / Shvartsman / Weatherspoon | Future Directions in Distributed Computing | Buch | Sack Fachmedien

    Schiper / Shvartsman / Weatherspoon Future Directions in Distributed Computing

    Research and Position Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00912-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romanovsky / Dony / Lindskov Knudsen | Advances in Exception Handling Techniques | Buch | Sack Fachmedien

    Romanovsky / Dony / Lindskov Knudsen Advances in Exception Handling Techniques

    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41952-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960797-6
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960782-2
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer / Rozier / Pradella | Formal Methods | Buch | Sack Fachmedien

    Platzer / Rozier / Pradella Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-71161-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Besold / d’Avila Garcez / Jimenez-Ruiz | Neural-Symbolic Learning and Reasoning | Buch | Sack Fachmedien

    Besold / d’Avila Garcez / Jimenez-Ruiz Neural-Symbolic Learning and Reasoning

    18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-71166-4
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekerinski / Ribeiro | Formal Methods Teaching | Buch | Sack Fachmedien

    Sekerinski / Ribeiro Formal Methods Teaching

    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71378-1
    Medium: Buch
    40,65 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfahl / Gonzalez Huerta / Klünder | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Pfahl / Gonzalez Huerta / Klünder Product-Focused Software Process Improvement

    25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78385-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akshay / Niemetz / Sankaranarayanan | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Akshay / Niemetz / Sankaranarayanan Automated Technology for Verification and Analysis

    22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78749-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Julian / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2024 | Buch | Sack Fachmedien

    Julian / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2024

    25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part II
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-77737-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Affenzeller / Winkler / Kononova | Parallel Problem Solving from Nature - PPSN XVIII | Buch | Sack Fachmedien

    Affenzeller / Winkler / Kononova Parallel Problem Solving from Nature - PPSN XVIII

    18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-70070-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Steffen | The Combined Power of Research, Education, and Dissemination | Buch | Sack Fachmedien

    Hinchey / Steffen The Combined Power of Research, Education, and Dissemination

    Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
    2025
    Verlag: Springer
    ISBN: 978-3-031-73886-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comuzzi / Grigori / Sellami | Cooperative Information Systems | Buch | Sack Fachmedien

    Comuzzi / Grigori / Sellami Cooperative Information Systems

    30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81374-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Junges / Kaminski | Principles of Verification: Cycling the Probabilistic Landscape | Buch | Sack Fachmedien

    Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape

    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-75774-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Junges / Kaminski | Principles of Verification: Cycling the Probabilistic Landscape | Buch | Sack Fachmedien

    Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape

    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-75777-8
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martinelli / Rios | Security and Trust Management | Buch | Sack Fachmedien

    Martinelli / Rios Security and Trust Management

    20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-76370-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jahangirova / Khomh | Search-Based Software Engineering | Buch | Sack Fachmedien

    Jahangirova / Khomh Search-Based Software Engineering

    16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-64572-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Heule / Schmidt | Automated Reasoning | Buch | Sack Fachmedien

    Benzmüller / Heule / Schmidt Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-63500-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stefanidis / Systä / Matera | Web Engineering | Buch | Sack Fachmedien

    Stefanidis / Systä / Matera Web Engineering

    24th International Conference, ICWE 2024, Tampere, Finland, June 17-20, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-62361-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Kovács | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-57255-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Kovács | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-57245-6
    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