Ergebnisse filtern
Fachgebiet
Medium
  • 4503
Erscheinungsjahr
  • 95
  • 554
  • 576
  • 311
  • 137
  • 82
  • 125
  • 133
  • 139
  • 120
  • 125
  • 111
  • 105
  • 103
  • 109
  • 122
  • 121
  • 88
  • 88
  • 109
  • 112
  • 82
  • 125
  • 102
  • 102
  • 105
  • 75
  • 57
  • 56
  • 51
  • 49
  • 41
  • 42
  • 35
  • 24
  • 29
  • 21
  • 16
  • 10
  • 10
  • 4
  • 2
Autoren
  • 4
  • 5
  • 4
  • 4
  • 3
  • 9
  • 6
  • 8
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 16
  • 18
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 6
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 7
  • 14
  • 3
  • 10
  • 33
  • 9
  • 3
  • 3
  • 9
  • 3
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 38
  • 4
  • 4
  • 4
  • 4
  • 6
  • 6
  • 3
  • 3
  • 8
  • 4
  • 3
  • 13
  • 3
  • 4
  • 6
  • 6
  • 4
  • 6
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 14
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 5
  • 7
  • 9
  • 5
  • 6
  • 39
  • 4
  • 3
  • 5
  • 3
  • 4
  • 25
  • 3
  • 8
  • 3
  • 4
  • 5
  • 8
  • 4
  • 5
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 14
  • 3
  • 14
  • 7
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 38
  • 22
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 16
  • 5
  • 9
  • 6
  • 4
  • 9
  • 6
  • 4
  • 12
  • 3
  • 4
  • 6
  • 24
  • 3
  • 3
  • 12
  • 5
  • 3
  • 7
  • 4
  • 4
  • 11
  • 3
  • 4
  • 3
  • 6
  • 3
  • 6
  • 3
  • 8
  • 6
  • 4
  • 33
  • 4
  • 9
  • 40
  • 3
  • 11
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 20
  • 3
  • 4
  • 36
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 15
  • 5
  • 4
  • 5
  • 7
  • 4
  • 12
  • 3
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 38
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 9
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 10
  • 5
  • 5
  • 5
  • 10
  • 6
  • 4
  • 8
  • 4
  • 4
  • 4
  • 6
  • 5
  • 3
  • 8
  • 5
  • 3
  • 3
  • 5
  • 4
  • 8
  • 10
  • 8
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 24
  • 6
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 7
  • 16
  • 11
  • 5
  • 5
  • 3
  • 3
  • 3
  • 8
  • 5
  • 16
  • 4
  • 8
  • 14
  • 8
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 6
  • 27
  • 4
  • 3
  • 3
  • 45
  • 3
  • 3
  • 6
  • 4
  • 4
  • 17
  • 3
  • 7
  • 3
  • 6
  • 3
  • 11
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 7
  • 21
  • 4
  • 7
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 4
  • 14
  • 4
  • 8
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 7
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 32
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 5
  • 10
  • 16
  • 22
  • 38
  • 3
  • 3
  • 4
  • 12
  • 3
  • 3
  • 3
  • 4
  • 4
  • 17
  • 3
  • 3
  • 7
  • 3
  • 6
  • 16
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 13
  • 5
  • 9
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 26
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 7
  • 6
  • 9
  • 6
  • 8
  • 16
  • 38
  • 5
  • 3
  • 4
  • 11
  • 18
  • 7
  • 14
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 8
  • 16
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 70
  • 5
  • 6
  • 5
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 12
  • 6
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 4
  • 16
  • 4
  • 4
  • 14
  • 3
  • 3
  • 6
  • 4
  • 3
  • 6
  • 4
  • 9
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 8
  • 3
  • 3
  • 6
  • 14
  • 13
  • 4
  • 10
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 15
  • 3
  • 4
  • 6
  • 4
  • 7
  • 4
  • 9
  • 5
  • 4
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 19
  • 7
  • 5
  • 4
  • 8
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 9
  • 21
  • 3
  • 4
  • 6
  • 16
  • 3
  • 3
  • 5
  • 5
  • 8
  • 29
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 7
  • 14
  • 19
  • 3
  • 17
  • 4
  • 4
  • 15
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 4
  • 5
  • 12
  • 4
  • 3
  • 3
  • 3
  • 3
  • 23
  • 5
  • 17
  • 4
  • 4
  • 4
  • 11
  • 5
  • 12
  • 4
  • 4
  • 5
  • 7
  • 8
  • 4
  • 4
  • 4
  • 4
  • 6
  • 13
  • 4
  • 4
  • 85
  • 4
  • 13
  • 4
  • 11
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 7
  • 5
  • 5
  • 5
  • 4
  • 5
  • 5
  • 5
  • 7
  • 7
  • 18
  • 20
  • 4
  • 17
  • 4
  • 4
  • 5
  • 4
  • 58
  • 11
  • 15
  • 7
  • 5
  • 13
  • 22
  • 7
  • 5
  • 5
  • 5
  • 5
  • 6
  • 4
  • 7
  • 23
  • 7
  • 6
  • 6
  • 11
  • 13
  • 4
  • 12
  • 10
  • 13
  • 16
  • 5
  • 11
  • 6
  • 18
  • 4
  • 4
  • 6
  • 10
  • 6
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 10
  • 5
  • 5
  • 7
  • 7
  • 8
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 9
  • 5
  • 6
  • 6
  • 38
  • 4
  • 4
  • 8
  • 6
  • 4
  • 40
  • 7
  • 8
  • 6
  • 12
  • 4
  • 5
  • 4
  • 8
  • 4
  • 8
  • 6
  • 6
  • 4
  • 4
  • 5
  • 10
  • 39
  • 7
  • 7
  • 6
  • 18
  • 4
  • 13
  • 11
  • 15
  • 4
  • 13
  • 4
  • 4
  • 17
  • 4
  • 10
  • 7
  • 6
  • 4
  • 13
  • 15
  • 11
  • 11
  • 4
  • 7
  • 24
  • 10
  • 7
  • 6
  • 4
  • 6
  • 6
  • 4
  • 4
  • 9
  • 15
  • 4
  • 4
  • 88
  • 4
  • 4
  • 9
  • 8
  • 5
  • 4
  • 89
  • 11
  • 9
  • 4
  • 86
  • 20
  • 4
  • 5
  • 9
  • 7
  • 4
  • 4
  • 4
  • 8
  • 86
  • 16
  • 20
  • 4
  • 11
  • 6
  • 4
  • 12
  • 14
  • 9
  • 4
  • 8
  • 5
  • 15
  • 8
  • 4
  • 9
  • 4
  • 16
  • 4
  • 14
  • 6
  • 12
  • 7
  • 15
  • 6
  • 8
  • 5
  • 6
  • 4
  • 8
  • 7
  • 5
  • 12
  • 11
  • 6
  • 22
  • 4
  • 4
  • 4
  • 5
  • 10
  • 13
  • 21
  • 5
  • 7
  • 16
  • 22
  • 10
  • 12
  • 9
  • 18
  • 7
  • 10
  • 25
  • 24
  • 12
  • 6
  • 7
  • 4
  • 7
  • 12
  • 16
  • 18
  • 4
  • 4
  • 8
  • 4
  • 4
  • 15
  • 4
  • 86
  • 5
  • 20
  • 15
  • 5
  • 4
  • 9
  • 25
  • 5
  • 11
  • 5
  • 4
  • 13
  • 4
  • 23
  • 4
  • 5
  • 5
  • 4
  • 8
  • 8
  • 4
  • 10
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 9
  • 4
  • 4
  • 4
  • 18
  • 4
  • 4
  • 4
  • 4
  • 23
  • 12
  • 5
  • 4
  • 14
  • 4
  • 9
  • 5
  • 18
  • 7
  • 9
  • 5
  • 5
  • 43
  • 4
  • 6
  • 14
  • 17
  • 19
  • 4
  • 6
  • 10
  • 5
  • 33
  • 4
  • 5
  • 20
  • 4
  • 4
  • 7
  • 7
  • 22
Verlag
  • 2
  • 4482
  • 1
  • 1
  • 1
  • 16
Preis
  • 1
  • 103
  • 3349
  • 1050
Sprachen
  • 4503
  • 1
Verfügbarkeit
  • 4498
  • 5
Eigenschaften
  • 2
Katalog
  • 4503
  • 220
4.503  Treffer  für „Lecture Notes in Computer Science“
    Arampatzis / Ferro / Kanoulas | Experimental IR Meets Multilinguality, Multimodality, and Interaction | Buch | Sack Fachmedien

    Arampatzis / Ferro / Kanoulas Experimental IR Meets Multilinguality, Multimodality, and Interaction

    14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18-21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42447-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Paolis / Arpaia / Sacco | Extended Reality | Buch | Sack Fachmedien

    De Paolis / Arpaia / Sacco Extended Reality

    International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43403-7
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gierasimczuk / Velázquez-Quesada | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Gierasimczuk / Velázquez-Quesada Dynamic Logic. New Trends and Applications

    5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51776-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gebser / Sergey | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Gebser / Sergey Practical Aspects of Declarative Languages

    26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-52037-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimitrova / Lahav / Wolff | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dimitrova / Lahav / Wolff Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50520-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iliadis / Papaleonidas / Angelov | Artificial Neural Networks and Machine Learning - ICANN 2023 | Buch | Sack Fachmedien

    Iliadis / Papaleonidas / Angelov Artificial Neural Networks and Machine Learning - ICANN 2023

    32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-44206-3
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Pedaste / Bardone | Innovative Technologies and Learning | Buch | Sack Fachmedien

    Cheng / Pedaste / Bardone Innovative Technologies and Learning

    7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-65883-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avni / Giacobbe / Johnson | AI Verification | Buch | Sack Fachmedien

    Avni / Giacobbe / Johnson AI Verification

    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-65111-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caino-Lores / Diehl / Zeinalipour | Euro-Par 2024: Parallel Processing Workshops | Buch | Sack Fachmedien

    Caino-Lores / Diehl / Zeinalipour Euro-Par 2024: Parallel Processing Workshops

    Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90202-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Sun | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45331-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Sun | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45328-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Abbas | Runtime Verification | Buch | Sack Fachmedien

    Ábrahám / Abbas Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-74233-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arcaini / Yue / Fredericks | Search-Based Software Engineering | Buch | Sack Fachmedien

    Arcaini / Yue / Fredericks Search-Based Software Engineering

    15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-48795-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbosa / Zohar | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Barbosa / Zohar Formal Methods: Foundations and Applications

    26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-49341-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Georgiou / Kranakis | Algorithmics of Wireless Networks | Buch | Sack Fachmedien

    Georgiou / Kranakis Algorithmics of Wireless Networks

    19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48881-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brunetti / Frosini / Rinaldi | Discrete Geometry and Mathematical Morphology | Buch | Sack Fachmedien

    Brunetti / Frosini / Rinaldi Discrete Geometry and Mathematical Morphology

    Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-57792-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Köthe / Rother | Pattern Recognition | Buch | Sack Fachmedien

    Köthe / Rother Pattern Recognition

    45th DAGM German Conference, DAGM GCPR 2023, Heidelberg, Germany, September 19-22, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-54604-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baratgin / Jacquet / Yama | Human and Artificial Rationalities | Buch | Sack Fachmedien

    Baratgin / Jacquet / Yama Human and Artificial Rationalities

    Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-55244-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rocha / Steels / van den Herik | Agents and Artificial Intelligence | Buch | Sack Fachmedien

    Rocha / Steels / van den Herik Agents and Artificial Intelligence

    15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-55325-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Meier / Ortiz | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Meier / Ortiz Foundations of Information and Knowledge Systems

    13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-56939-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Cavalcanti | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Beyer / Cavalcanti Fundamental Approaches to Software Engineering

    27th International Conference, FASE 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
    2024
    Verlag: Springer
    ISBN: 978-3-031-57258-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Payne / Presutti / Qi | The Semantic Web - ISWC 2023 | Buch | Sack Fachmedien

    Payne / Presutti / Qi The Semantic Web - ISWC 2023

    22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47239-8
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reynolds / Tasiran | Verified Software. Theories, Tools and Experiments | Buch | Sack Fachmedien

    Reynolds / Tasiran Verified Software. Theories, Tools and Experiments

    15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66063-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bi / Jousselme / Denoeux | Belief Functions: Theory and Applications | Buch | Sack Fachmedien

    Bi / Jousselme / Denoeux Belief Functions: Theory and Applications

    8th International Conference, BELIEF 2024, Belfast, UK, September 2-4, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-67976-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Santos / Álvarez / Hernández-Leo | Collaboration Technologies and Social Computing | Buch | Sack Fachmedien

    Santos / Álvarez / Hernández-Leo Collaboration Technologies and Social Computing

    30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-67997-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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