Ergebnisse filtern
Fachgebiet
Medium
  • 4331
Erscheinungsjahr
  • 40
  • 194
  • 234
  • 193
  • 129
  • 47
  • 27
  • 37
  • 48
  • 69
  • 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
  • 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
  • 4
  • 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
  • 5
  • 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
  • 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
  • 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
  • 2
  • 4
  • 2
  • 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
  • 2
  • 11
  • 3
  • 7
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 16
  • 4
  • 3
  • 5
  • 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
  • 5
  • 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
  • 3
  • 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
  • 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
  • 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
  • 10
  • 25
  • 7
  • 3
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 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
  • 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
  • 5
  • 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
  • 3
  • 3
  • 5
  • 3
  • 3
  • 8
  • 4
  • 5
  • 3
  • 5
  • 6
  • 9
  • 3
  • 9
  • 4
  • 3
  • 6
  • 4
  • 29
  • 6
  • 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
  • 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
  • 20
  • 5
  • 10
  • 5
  • 4
  • 3
  • 3
Verlag
  • 2
  • 4286
  • 1
  • 1
  • 1
  • 6
  • 8
  • 4
  • 7
  • 15
Preis
  • 13
  • 162
  • 3361
  • 795
Sprachen
  • 4331
  • 5
Verfügbarkeit
  • 4254
  • 77
Katalog
  • 4331
  • 243
4.331  Treffer  für „Lecture Notes in Computer Science“
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Marzo Serugendo / Loreti | Coordination Models and Languages | Buch | Sack Fachmedien

    Di Marzo Serugendo / Loreti Coordination Models and Languages

    20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92407-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Conchon / Zaïdi | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Conchon / Zaïdi Formal Methods and Software Engineering

    17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iklé / Kolonin / Bennett | Artificial General Intelligence | Buch | Sack Fachmedien

    Iklé / Kolonin / Bennett Artificial General Intelligence

    18th International Conference, AGI 2025, Reykjavic, Iceland, August 10-13, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00799-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Yevtushenko / Cavalli / Yenigün | Testing Software and Systems | Buch | Sack Fachmedien

    Yevtushenko / Cavalli / Yenigün Testing Software and Systems

    29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67548-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deng | Algorithmic Game Theory | Buch | Sack Fachmedien

    Deng Algorithmic Game Theory

    11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99659-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parashar | Grid Computing - GRID 2002 | Buch | Sack Fachmedien

    Parashar Grid Computing - GRID 2002

    Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00133-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Kang | Mobile Communications | Buch | Sack Fachmedien

    Lee / Kang Mobile Communications

    7th CDMA International Conference, CIC 2002, Seoul, Korea, October 29 - November 1, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00732-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Vardi | Formal Techniques for Networked and Distributed Systems - FORTE 2002 | Buch | Sack Fachmedien

    Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002

    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00141-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fonseca / Fleming / Zitzler | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization

    Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-01869-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dietz | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Dietz Languages and Compilers for Parallel Computing

    14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-04029-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liskov / Atkinson / Bloom | CLU | Buch | Sack Fachmedien

    Liskov / Atkinson / Bloom CLU

    Reference Manual
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10836-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Even / Kariv | Automata, Languages and Programming | Buch | Sack Fachmedien

    Even / Kariv Automata, Languages and Programming

    Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer | A Survey of Verification Techniques for Parallel Programs | Buch | Sack Fachmedien

    Barringer A Survey of Verification Techniques for Parallel Programs

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup | Program Specification | Buch | Sack Fachmedien

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sherman | Paragon | Buch | Sack Fachmedien

    Sherman Paragon

    A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15212-5
    Medium: Buch
    53,49 € (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 III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952100-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haxthausen / Serwe | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Haxthausen / Serwe Formal Methods for Industrial Critical Systems

    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68149-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Chbeir / Zong | Web and Big Data | Buch | Sack Fachmedien

    Li / Chbeir / Zong Web and Big Data

    9th International Joint Conference, APWeb-WAIM 2025, Shenyang, China, August 28-30, 2025, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-955715-8
    Medium: Buch
    113,41 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desel / Kalenkova | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Desel / Kalenkova Application and Theory of Petri Nets and Concurrency

    47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22-26, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-27878-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Neele / Wijs | Model Checking Software | Buch | Sack Fachmedien

    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
    Fomin / Xiao | Computing and Combinatorics | Buch | Sack Fachmedien

    Fomin / Xiao Computing and Combinatorics

    31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15-17, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-950214-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nunes Alonso / Palmieri | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Nunes Alonso / Palmieri Distributed Applications and Interoperable Systems

    26th IFIP WG 6.1 International Conference, DAIS 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-27357-4
    Medium: Buch
    70,61 € (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 II
    2024
    Verlag: Springer
    ISBN: 978-3-031-57248-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Semenov / Singh / Yang | Computational Data and Social Networks | Buch | Sack Fachmedien

    Semenov / Singh / Yang Computational Data and Social Networks

    14th International Conference, CSoNet 2025, Danang, Vietnam, December 14-16, 2025, Proceedings Part II
    Erscheinungsjahr 2027
    Verlag: Springer Verlag, Singapore
    ISBN: 978-981-9246-45-8
    Medium: Buch
    70,61 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

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