Ergebnisse filtern
Fachgebiet
Medium
  • 4341
Erscheinungsjahr
  • 40
  • 194
  • 234
  • 193
  • 129
  • 47
  • 27
  • 37
  • 57
  • 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
  • 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
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 10
  • 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
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 10
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 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
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 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
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 7
  • 38
  • 29
  • 3
  • 3
  • 4
  • 4
  • 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
  • 5
  • 6
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 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
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 7
  • 8
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 3
  • 6
  • 8
  • 6
  • 4
  • 8
  • 5
  • 7
  • 4
  • 7
  • 3
  • 3
  • 8
  • 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
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 10
  • 7
  • 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
  • 12
  • 25
  • 7
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 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
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 4
  • 5
  • 5
  • 4
  • 22
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 6
  • 6
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 8
  • 4
  • 5
  • 3
  • 5
  • 6
  • 7
  • 3
  • 9
  • 4
  • 3
  • 5
  • 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
  • 37
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 11
  • 22
  • 3
  • 8
  • 6
  • 4
  • 3
  • 15
  • 4
  • 3
  • 4
  • 5
  • 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
  • 21
  • 5
  • 10
  • 5
  • 4
  • 3
  • 3
Verlag
  • 2
  • 4296
  • 1
  • 1
  • 1
  • 6
  • 8
  • 4
  • 7
  • 15
Preis
  • 13
  • 162
  • 3371
  • 795
Sprachen
  • 4341
  • 5
Verfügbarkeit
  • 4264
  • 77
Katalog
  • 4341
  • 243
4.341  Treffer  für „Lecture Notes in Computer Science“
    Casola / De Benedictis / Rak | Testing Software and Systems | Buch | Sack Fachmedien

    Casola / De Benedictis / Rak Testing Software and Systems

    32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64880-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sendhoff / Körner / Sporns | Creating Brain-Like Intelligence | Buch | Sack Fachmedien

    Sendhoff / Körner / Sporns Creating Brain-Like Intelligence

    From Basic Principles to Complex Intelligent Systems
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00615-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laarman / Sokolova | Model Checking Software | Buch | Sack Fachmedien

    Laarman / Sokolova Model Checking Software

    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-84628-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campos / Minea | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Campos / Minea Formal Methods: Foundations and Applications

    24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92136-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manzoni / Cussat-Blanc / Chen | Genetic Programming | Buch | Sack Fachmedien

    Manzoni / Cussat-Blanc / Chen Genetic Programming

    29th European Conference, EuroGP 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-23004-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heering / Meinke / Möller | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Heering / Meinke / Möller Higher-Order Algebra, Logic, and Term Rewriting

    First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58233-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cano / Trinder | Euro-Par 2022: Parallel Processing | Buch | Sack Fachmedien

    Cano / Trinder Euro-Par 2022: Parallel Processing

    28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12596-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Durand-Lose / Vaszil | Machines, Computations, and Universality | Buch | Sack Fachmedien

    Durand-Lose / Vaszil Machines, Computations, and Universality

    9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13501-9
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quaresma / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2023 | Buch | Sack Fachmedien

    Quaresma / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2023

    24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48231-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng / Jiang / Luo | Edge Computing - EDGE 2023 | Buch | Sack Fachmedien

    Feng / Jiang / Luo Edge Computing - EDGE 2023

    7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51825-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rau | Cross-Cultural Design | Buch | Sack Fachmedien

    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 II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35938-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rau | Cross-Cultural Design | Buch | Sack Fachmedien

    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 III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35945-3
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blazy / Chechik | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Blazy / Chechik Verified Software. Theories, Tools, and Experiments

    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48868-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legunsen / Rosu | Model Checking Software | Buch | Sack Fachmedien

    Legunsen / Rosu Model Checking Software

    28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15076-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taibi / Kuhrmann / Mikkonen | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Taibi / Kuhrmann / Mikkonen Product-Focused Software Process Improvement

    23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21-23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21387-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning | Buch | Sack Fachmedien

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

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19758-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernhaupt / Ardito / Sauer | Human-Centered Software Engineering | Buch | Sack Fachmedien

    Bernhaupt / Ardito / Sauer Human-Centered Software Engineering

    9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-14784-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Katoen / Leucker | Formal Methods | Buch | Sack Fachmedien

    Chechik / Katoen / Leucker Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27480-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pientka / Tinelli | Automated Deduction - CADE 29 | Buch | Sack Fachmedien

    Pientka / Tinelli Automated Deduction - CADE 29

    29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38498-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McIntosh-Smith / Klemm / de Supinski | OpenMP: Advanced Task-Based, Device and Compiler Programming | Buch | Sack Fachmedien

    McIntosh-Smith / Klemm / de Supinski OpenMP: Advanced Task-Based, Device and Compiler Programming

    19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40743-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozier / Chaudhuri | NASA Formal Methods | Buch | Sack Fachmedien

    Rozier / Chaudhuri NASA Formal Methods

    15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-33169-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Willemse | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Ferreira / Willemse Software Engineering and Formal Methods

    21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47114-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monti / Rinderle-Ma / Ruiz Cortés | Service-Oriented Computing | Buch | Sack Fachmedien

    Monti / Rinderle-Ma / Ruiz Cortés Service-Oriented Computing

    21st International Conference, ICSOC 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48420-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Araki / Gnesi / Mandrioli | FME 2003: Formal Methods | Buch | Sack Fachmedien

    Araki / Gnesi / Mandrioli FME 2003: Formal Methods

    International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40828-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malenfant / Moisan / Moreira | Object-Oriented Technology: ECOOP 2000 Workshop Reader | Buch | Sack Fachmedien

    Malenfant / Moisan / Moreira Object-Oriented Technology: ECOOP 2000 Workshop Reader

    ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41513-8
    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