Ergebnisse filtern
Fachgebiet
Medium
  • 9489
  • 1446
  • 29
  • 12
Erscheinungsjahr
  • 4
  • 171
  • 993
  • 1229
  • 569
  • 413
  • 351
  • 392
  • 368
  • 425
  • 310
  • 433
  • 290
  • 429
  • 393
  • 504
  • 245
  • 511
  • 231
  • 251
  • 260
  • 222
  • 255
  • 224
  • 220
  • 180
  • 162
  • 120
  • 109
  • 97
  • 79
  • 81
  • 71
  • 59
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 3
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 7
  • 8
  • 6
  • 10
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 9
  • 23
  • 3
  • 15
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 21
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 15
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 4
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 18
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 9
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 5
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 12
  • 3
  • 9
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 9
  • 3
  • 4
  • 10
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 6
  • 3
  • 3
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 5
  • 7
  • 14
  • 4
  • 3
  • 16
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 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
  • 28
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 3
  • 3
  • 5
  • 3
  • 9
  • 4
  • 13
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 18
  • 3
  • 3
  • 4
  • 6
  • 5
  • 4
  • 3
  • 17
  • 5
  • 4
  • 3
  • 3
  • 16
  • 6
  • 11
  • 3
  • 6
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 12
  • 3
  • 6
  • 6
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 7
  • 4
  • 3
  • 9
  • 6
  • 8
  • 8
  • 4
  • 38
  • 4
  • 6
  • 10
  • 7
  • 13
  • 4
  • 5
  • 4
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 14
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 4
  • 19
  • 5
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 4
  • 9
  • 4
  • 7
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 7
  • 11
  • 5
  • 4
  • 11
  • 9
  • 7
  • 62
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 12
  • 12
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 5
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 4
  • 28
  • 9
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 17
  • 4
  • 6
  • 8
  • 5
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 7
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 7
  • 5
  • 7
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 20
  • 13
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 5
  • 7
  • 4
  • 8
  • 5
  • 4
  • 9
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 5
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 8
  • 10
  • 5
  • 7
  • 5
  • 4
  • 4
  • 6
  • 16
  • 6
  • 6
  • 35
  • 44
  • 12
  • 14
  • 9
  • 12
  • 27
  • 6
  • 8
  • 4
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 6
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 7
  • 6
  • 33
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 12
  • 4
  • 8
  • 5
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 10
  • 13
  • 4
  • 7
  • 9
  • 8
  • 6
  • 12
  • 4
  • 7
  • 4
  • 5
  • 6
  • 11
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 15
  • 14
  • 5
  • 11
  • 4
  • 8
  • 19
  • 4
  • 6
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 5
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 7
Verlag
  • 2
  • 3
  • 8
  • 5
  • 1
  • 3
  • 1
  • 51
  • 6
  • 456
  • 1
  • 3
  • 18
  • 3
  • 8
  • 3
  • 284
  • 2
  • 1
  • 14
  • 4
  • 1
  • 3
  • 3
  • 3
  • 41
  • 1
  • 83
  • 219
  • 4
  • 473
  • 1143
  • 15
  • 1
  • 1
  • 51
  • 95
  • 1
  • 3
  • 1
  • 4
  • 58
  • 33
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 39
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 25
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 1
  • 8
  • 12
  • 2
  • 5
  • 3
  • 26
  • 2
  • 6
  • 1
  • 1
  • 17
  • 2
  • 1
  • 12
  • 1
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 20
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 15
  • 1
  • 5
  • 28
  • 22
  • 37
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 5746
  • 149
  • 2
  • 197
  • 1
  • 2
  • 1
  • 40
  • 9
  • 45
  • 1
  • 127
  • 143
  • 12
  • 23
  • 1
  • 1
  • 1
  • 307
  • 34
  • 116
  • 7
  • 1
  • 1
  • 24
  • 6
  • 1
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 1
  • 196
  • 2
  • 11
  • 1
  • 23
  • 37
  • 1
  • 1
  • 2
  • 2
Preis
  • 352
  • 1860
  • 5261
  • 3503
Sprachen
  • 10056
  • 931
  • 2
Verfügbarkeit
  • 10841
  • 135
Eigenschaften
  • 8
  • 4
Katalog
  • 10976
  • 1732
10.976  Titel
    Damiani / Dardha | Coordination Models and Languages | Buch | Sack Fachmedien

    Damiani / Dardha Coordination Models and Languages

    23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78141-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Attiogbé / Ben Yahia | Model and Data Engineering | Buch | Sack Fachmedien

    Attiogbé / Ben Yahia Model and Data Engineering

    10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78427-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guerra / Stoelinga | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Guerra / Stoelinga Fundamental Approaches to Software Engineering

    24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-71499-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Leino | Computer Aided Verification | Buch | Sack Fachmedien

    Silva / Leino Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-81687-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin / Woodcock / Zhang | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Qin / Woodcock / Zhang Dependable Software Engineering. Theories, Tools, and Applications

    7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91264-2
    Medium: Buch
    80,24 € (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
    Meseguer / Varela / Venkatasubramanian | Concurrent Programming, Open Systems and Formal Methods | Buch | Sack Fachmedien

    Meseguer / Varela / Venkatasubramanian Concurrent Programming, Open Systems and Formal Methods

    Essays Dedicated to Gul Agha to Celebrate His Scientific Career
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05290-2
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuno / Liu / Yin | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Matsuno / Liu / Yin Intelligent Robotics and Applications

    18th International Conference, ICIRA 2025, Okayama, Japan, August 6-9, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952097-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mathieu / De la Prieta | Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection | Buch | Sack Fachmedien

    Mathieu / De la Prieta Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection

    23rd International Conference, PAAMS 2025, Lille, France, June 25-27, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07637-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    M. Fonseca / Bernasconi / de Cesare | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    M. Fonseca / Bernasconi / de Cesare Advances in Conceptual Modeling

    ER 2025 Workshops, FCM, CMLS, LLM4Modeling, OntoCom, and QUAMES, Poitiers, France, October 20-23, 2025, Proceedings.
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08619-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jagtap / Shingan | Introduction to Automata Theory and Formal Languages | Buch | Sack Fachmedien

    Jagtap / Shingan Introduction to Automata Theory and Formal Languages

    A Logic Building and Problem-solving Approach
    1. Auflage 2026
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-041-11700-1
    Medium: Buch
    117,50 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Harmer / Kosiol | Graph Transformation | Buch | Sack Fachmedien

    Harmer / Kosiol Graph Transformation

    17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-64284-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi / Murgante / Garau | Computational Science and Its Applications - ICCSA 2024 | Buch | Sack Fachmedien

    Gervasi / Murgante / Garau Computational Science and Its Applications - ICCSA 2024

    24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-64604-1
    Medium: Buch
    235,39 € (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
    Mikyška / de Mulatier / Paszynski | Computational Science - ICCS 2023 | Buch | Sack Fachmedien

    Mikyška / de Mulatier / Paszynski Computational Science - ICCS 2023

    23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-36026-8
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patiño-Martínez / Paulo | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Patiño-Martínez / Paulo Distributed Applications and Interoperable Systems

    23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35259-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahlbrecht / Dix / Fiekas | The Multi-Agent Programming Contest 2022 | Buch | Sack Fachmedien

    Ahlbrecht / Dix / Fiekas The Multi-Agent Programming Contest 2022

    Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38711-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-75386-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Application Areas | Buch | Sack Fachmedien

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

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
    2024
    Verlag: Springer
    ISBN: 978-3-031-75389-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amigoni / Sinha | Autonomous Agents and Multiagent Systems. Best and Visionary Papers | Buch | Sack Fachmedien

    Amigoni / Sinha Autonomous Agents and Multiagent Systems. Best and Visionary Papers

    AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-56254-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Miller | Functional and Logic Programming | Buch | Sack Fachmedien

    Gibbons / Miller Functional and Logic Programming

    17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-981-97-2299-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reyes-Lecuona / Zachmann / Bordegoni | Virtual Reality and Mixed Reality | Buch | Sack Fachmedien

    Reyes-Lecuona / Zachmann / Bordegoni Virtual Reality and Mixed Reality

    21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78592-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martínez / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2025 | Buch | Sack Fachmedien

    Martínez / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2025

    26th International Conference, Jaén, Spain, November 13-15, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10485-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martínez / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2025 | Buch | Sack Fachmedien

    Martínez / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2025

    26th International Conference, Jaén, Spain, November 13-15, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10488-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular