Fachgebiet
Medium
  • 2040
Erscheinungsjahr
  • 11
  • 151
  • 140
  • 107
  • 39
  • 18
  • 33
  • 34
  • 30
  • 27
  • 37
  • 47
  • 37
  • 50
  • 39
  • 33
  • 67
  • 60
  • 66
  • 74
  • 65
  • 59
  • 117
  • 104
  • 94
  • 73
  • 59
  • 52
  • 37
  • 29
  • 36
  • 33
  • 27
  • 32
  • 17
  • 31
  • 16
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 7
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 16
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 9
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 7
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 5
  • 3
  • 3
  • 12
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 4
  • 3
  • 7
  • 4
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 25
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 6
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 7
  • 12
  • 3
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 3
  • 2
  • 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
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 6
  • 2
  • 10
  • 22
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 5
  • 2
  • 4
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 20
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 18
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 9
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 11
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 23
  • 4
  • 2
  • 3
  • 4
  • 9
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 33
  • 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
  • 21
  • 2
  • 5
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 4
  • 2
  • 18
  • 2
  • 4
  • 6
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
Verlag
  • 2033
  • 1
  • 6
Preis
  • 4
  • 86
  • 1651
  • 299
Sprachen
  • 2040
Verfügbarkeit
  • 2039
  • 1
Eigenschaften
  • 1
Katalog
  • 2040
  • 133
2.040  Treffer  für „Lecture Notes in Computer Science“


    Cimiano / Frank / Kohlhase Robust Argumentation Machines

    First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-63535-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Neele / Wijs Model Checking Software

    30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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 II
    2024
    Verlag: Springer
    ISBN: 978-3-031-57248-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thórisson / Isaev / Sheikhlar Artificial General Intelligence

    17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-65571-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chin / Xu Theoretical Aspects of Software Engineering

    18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-64625-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Steffen Bridging the Gap Between AI and Reality

    Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-75433-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rau Cross-Cultural Design

    15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35935-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yangui / Bouassida Rodriguez / Drira Service-Oriented Computing

    17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-33701-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Laender / Pernici / Lim Conceptual Modeling

    38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer
    ISBN: 978-3-030-33222-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems

    25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58297-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Colombo / Leucker Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03768-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03417-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Salaün / Wijs Formal Aspects of Component Software

    17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-90635-1
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Calinescu / Pasareanu / Pasareanu Software Engineering and Formal Methods

    19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92123-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bowles / Broccia / Nanni From Data to Models and Back

    9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-70649-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Taibi / Smite Software Engineering and Advanced Applications

    51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04206-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Voevodin / Antonov / Nikitenko Supercomputing

    11th Russian Supercomputing Days, RuSCDays 2025, Moscow, Russia, September 29-30, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-13126-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wrembel / Kotsis / Tjoa Database and Expert Systems Applications

    36th International Conference, DEXA 2025, Bangkok, Thailand, August 25-27, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-02087-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Klusácek / Klusácek / Corbalán 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

    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

    Dima / Ferrando / Malvone PRIMA 2025: Principles and Practice of Multi-Agent Systems

    26th International Conference, Modena, Italy, December 16-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-13561-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Krogstie / Rinderle-Ma / Kappel Advanced Information Systems Engineering

    37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94573-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Iocchi / Matsubara / Weitzenfeld RoboCup 2008: Robot Soccer World Cup XII

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02920-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kordon / Kermarrec Reliable Software Technologies - Ada-Europe 2009

    14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01923-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