Ergebnisse filtern
Fachgebiet
Medium
  • 3609
Erscheinungsjahr
  • 61
  • 475
  • 481
  • 80
  • 42
  • 25
  • 40
  • 41
  • 58
  • 54
  • 60
  • 45
  • 49
  • 46
  • 55
  • 54
  • 127
  • 87
  • 130
  • 151
  • 158
  • 123
  • 192
  • 176
  • 154
  • 133
  • 93
  • 73
  • 56
  • 48
  • 56
  • 35
  • 34
  • 20
  • 13
  • 23
  • 15
  • 19
  • 4
  • 8
  • 4
  • 7
  • 1
  • 2
  • 1
Autoren
  • 3
  • 2
  • 3
  • 5
  • 4
  • 8
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 10
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 8
  • 4
  • 4
  • 14
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 16
  • 2
  • 5
  • 3
  • 5
  • 2
  • 3
  • 5
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 11
  • 3
  • 13
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 3
  • 3
  • 3
  • 17
  • 10
  • 18
  • 2
  • 2
  • 2
  • 3
  • 15
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 10
  • 3
  • 4
  • 6
  • 6
  • 2
  • 3
  • 15
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 8
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 11
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 6
  • 5
  • 3
  • 4
  • 7
  • 5
  • 3
  • 3
  • 8
  • 5
  • 5
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 8
  • 11
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 24
  • 20
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 27
  • 4
  • 3
  • 3
  • 3
  • 10
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 8
  • 6
  • 7
  • 3
  • 9
  • 5
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 30
  • 4
  • 5
  • 30
  • 5
  • 3
  • 6
  • 6
  • 3
  • 3
  • 37
  • 4
  • 4
  • 16
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 8
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 9
  • 3
  • 4
  • 4
  • 12
  • 4
  • 6
  • 15
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 38
  • 6
  • 5
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 5
  • 10
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 5
  • 3
  • 9
  • 4
  • 3
  • 3
  • 11
  • 3
  • 4
  • 8
  • 8
  • 7
  • 3
  • 17
  • 3
  • 5
  • 3
  • 3
  • 21
  • 3
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 21
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 9
  • 3
  • 4
  • 5
  • 3
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 12
  • 3
  • 3
  • 3
  • 18
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 3
  • 5
  • 10
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 85
  • 4
  • 14
  • 13
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 4
  • 9
  • 6
  • 4
  • 6
  • 4
  • 18
  • 18
  • 3
  • 3
  • 3
  • 3
  • 3
  • 15
  • 3
  • 4
  • 5
  • 3
  • 4
  • 6
  • 8
  • 5
  • 6
  • 6
  • 4
  • 3
  • 18
  • 7
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 6
  • 5
  • 10
  • 3
  • 10
  • 7
  • 7
  • 5
  • 10
  • 3
  • 4
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 16
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 10
  • 6
  • 5
  • 3
  • 33
  • 3
  • 9
  • 5
  • 3
  • 8
  • 8
  • 4
  • 4
  • 3
  • 8
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 7
  • 6
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 16
  • 4
  • 3
  • 3
  • 3
  • 3
  • 13
  • 3
  • 7
  • 6
  • 4
  • 3
  • 3
  • 3
  • 11
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 3
  • 7
  • 7
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 5
  • 8
  • 13
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 86
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 3
  • 86
  • 4
  • 3
  • 3
  • 4
  • 3
  • 21
  • 3
  • 10
  • 86
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 8
  • 5
  • 3
  • 9
  • 3
  • 3
  • 86
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 5
  • 5
  • 3
  • 6
  • 5
  • 14
  • 4
  • 3
  • 8
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 7
  • 4
  • 3
  • 14
  • 3
  • 18
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 5
  • 12
  • 3
  • 7
  • 3
  • 10
  • 10
  • 10
  • 4
  • 7
  • 3
  • 7
  • 5
  • 4
  • 3
  • 3
  • 3
  • 17
  • 4
  • 5
  • 21
  • 10
  • 8
  • 6
  • 15
  • 6
  • 4
  • 9
  • 6
  • 10
  • 4
  • 7
  • 14
  • 4
  • 5
  • 9
  • 86
  • 5
  • 8
  • 4
  • 6
  • 3
  • 9
  • 3
  • 3
  • 5
  • 6
  • 5
  • 4
  • 5
  • 3
  • 3
  • 5
  • 6
  • 4
  • 18
  • 5
  • 8
  • 4
  • 21
  • 5
  • 10
  • 3
  • 4
  • 3
  • 3
  • 18
  • 4
  • 42
  • 4
  • 25
  • 4
  • 4
  • 13
  • 36
  • 15
  • 4
  • 4
  • 3
  • 18
  • 7
  • 18
  • 14
  • 6
  • 4
  • 4
  • 11
  • 3
  • 3
  • 4
Verlag
  • 1
  • 3584
  • 1
  • 2
  • 1
  • 20
Preis
  • 1
  • 65
  • 2855
  • 688
Sprachen
  • 3609
  • 1
Verfügbarkeit
  • 3603
  • 6
Katalog
  • 3609
  • 335
3.609  Treffer  für „Lecture Notes in Computer Science“
    Zhou / Yu / Guo | Green, Pervasive, and Cloud Computing | Buch | Sack Fachmedien

    Zhou / Yu / Guo Green, Pervasive, and Cloud Computing

    19th International Conference, GPC 2024, Macao, China, September 27-30, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-951345-1
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kertesz / Li / Supnithi | Computational Data and Social Networks | Buch | Sack Fachmedien

    Kertesz / Li / Supnithi Computational Data and Social Networks

    13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-966388-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Matsuo / Gaol | Intelligent Information and Database Systems | Buch | Sack Fachmedien

    Nguyen / Matsuo / Gaol Intelligent Information and Database Systems

    17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-966007-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Matsuo / Gaol | Intelligent Information and Database Systems | Buch | Sack Fachmedien

    Nguyen / Matsuo / Gaol Intelligent Information and Database Systems

    17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-966004-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Zhu / Wang | Wireless Artificial Intelligent Computing Systems and Applications | Buch | Sack Fachmedien

    Cai / Zhu / Wang Wireless Artificial Intelligent Computing Systems and Applications

    19th International Conference, WASA 2025, Tokyo, Japan, June 24-26, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-968724-4
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Pan / Chen | Advanced Intelligent Computing Technology and Applications | Buch | Sack Fachmedien

    Huang / Pan / Chen Advanced Intelligent Computing Technology and Applications

    21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XIX
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-969814-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Zhang / Pan | Advanced Intelligent Computing Technology and Applications | Buch | Sack Fachmedien

    Huang / Zhang / Pan Advanced Intelligent Computing Technology and Applications

    21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-969913-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Zhang / Chen | Advanced Intelligent Computing Technology and Applications | Buch | Sack Fachmedien

    Huang / Zhang / Chen Advanced Intelligent Computing Technology and Applications

    21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VI
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-969855-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / He / Xie | Network and System Security | Buch | Sack Fachmedien

    Chen / He / Xie Network and System Security

    19th International Conference, NSS 2025, Wuhan, China, December 5-7, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-956418-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Han / Xiang / Cheng | Information and Communications Security | Buch | Sack Fachmedien

    Han / Xiang / Cheng Information and Communications Security

    27th International Conference, ICICS 2025, Nanjing, China, October 29-31, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953542-2
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Chen / Wang | Spatial Data and Intelligence | Buch | Sack Fachmedien

    Liu / Chen / Wang Spatial Data and Intelligence

    6th International Conference, SpatialDI 2025, Xiamen, China, April 17, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953101-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xiang / Shen | Cyberspace Safety and Security | Buch | Sack Fachmedien

    Xiang / Shen Cyberspace Safety and Security

    15th International Symposium, CSS 2025, Hangzhou, China, July 4-7, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-953550-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Hu / Wang | Data Security and Privacy Protection | Buch | Sack Fachmedien

    Chen / Hu / Wang Data Security and Privacy Protection

    Third International Conference, DSPP 2025, Xi'an, China, October 16-18, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953184-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Han / Xiang / Cheng | Information and Communications Security | Buch | Sack Fachmedien

    Han / Xiang / Cheng Information and Communications Security

    27th International Conference, ICICS 2025, Nanjing, China, October 29-31, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953536-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Min / Guo | Network and Parallel Computing | Buch | Sack Fachmedien

    Chen / Min / Guo Network and Parallel Computing

    20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-962829-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staffa / Matarese / Cabibihan | Social Robotics + AI | Buch | Sack Fachmedien

    Staffa / Matarese / Cabibihan Social Robotics + AI

    17th International Conference, ICSR+AI 2025, Naples, Italy, September 10-12, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952378-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Duan / Liu | Chinese Computational Linguistics | Buch | Sack Fachmedien

    Sun / Duan / Liu Chinese Computational Linguistics

    24th China National Conference, CCL 2025, Jinan, China, August 11-14, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952724-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xiang / Shen | Machine Learning for Cyber Security | Buch | Sack Fachmedien

    Xiang / Shen Machine Learning for Cyber Security

    6th International Conference, ML4CS 2024, Hangzhou, China, December 27-29, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-964565-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kallel / Ben Halima / Raibulet | Service-Oriented Computing - ICSOC 2024 Workshops | Buch | Sack Fachmedien

    Kallel / Ben Halima / Raibulet Service-Oriented Computing - ICSOC 2024 Workshops

    ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3-6, 2024, Revised Selected Papers, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-967422-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Zhang / Chen | Advanced Intelligent Computing Technology and Applications | Buch | Sack Fachmedien

    Huang / Zhang / Chen Advanced Intelligent Computing Technology and Applications

    21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXIV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-950019-2
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thompson / Stankov | Multi-Agent-Based Simulation XXV | Buch | Sack Fachmedien

    Thompson / Stankov Multi-Agent-Based Simulation XXV

    25th International Workshop, MABS 2024, Auckland, New Zealand, May 6, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-88016-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xue / Manzoni / Bakurov | Genetic Programming | Buch | Sack Fachmedien

    Xue / Manzoni / Bakurov Genetic Programming

    28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-89990-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90642-8
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collart-Dutilleul / Ouchani / Cuppens | Risks and Security of Internet and Systems | Buch | Sack Fachmedien

    Collart-Dutilleul / Ouchani / Cuppens Risks and Security of Internet and Systems

    19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-89349-0
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orchard / Petricek / Singer | Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice | Buch | Sack Fachmedien

    Orchard / Petricek / Singer Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice

    Essays Dedicated to Alan Mycroft on the Occasion of His Retirement
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08186-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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