Ergebnisse filtern
Fachgebiet
Medium
  • 11332
Erscheinungsjahr
  • 132
  • 828
  • 790
  • 854
  • 618
  • 477
  • 278
  • 300
  • 317
  • 328
  • 294
  • 292
  • 290
  • 292
  • 329
  • 284
  • 271
  • 288
  • 262
  • 237
  • 248
  • 270
  • 240
  • 352
  • 298
  • 250
  • 256
  • 172
  • 177
  • 128
  • 139
  • 137
  • 115
  • 105
  • 95
  • 71
  • 88
  • 58
  • 57
  • 45
  • 45
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 6
  • 4
  • 8
  • 7
  • 4
  • 13
  • 22
  • 9
  • 8
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 7
  • 4
  • 8
  • 9
  • 5
  • 7
  • 15
  • 8
  • 4
  • 22
  • 5
  • 9
  • 5
  • 5
  • 4
  • 6
  • 7
  • 5
  • 8
  • 9
  • 5
  • 4
  • 4
  • 9
  • 4
  • 8
  • 13
  • 31
  • 36
  • 7
  • 39
  • 7
  • 5
  • 4
  • 5
  • 6
  • 5
  • 6
  • 16
  • 8
  • 20
  • 7
  • 14
  • 6
  • 6
  • 5
  • 6
  • 6
  • 39
  • 13
  • 5
  • 5
  • 8
  • 6
  • 7
  • 7
  • 6
  • 9
  • 9
  • 46
  • 6
  • 7
  • 6
  • 6
  • 6
  • 5
  • 8
  • 23
  • 6
  • 6
  • 10
  • 10
  • 9
  • 8
  • 8
  • 11
  • 6
  • 6
  • 17
  • 8
  • 5
  • 5
  • 17
  • 5
  • 7
  • 5
  • 5
  • 6
  • 11
  • 5
  • 6
  • 7
  • 16
  • 10
  • 5
  • 7
  • 6
  • 40
  • 7
  • 6
  • 5
  • 20
  • 17
  • 6
  • 7
  • 6
  • 7
  • 12
  • 7
  • 7
  • 8
  • 6
  • 5
  • 6
  • 5
  • 14
  • 10
  • 8
  • 10
  • 11
  • 6
  • 15
  • 5
  • 5
  • 5
  • 9
  • 39
  • 18
  • 8
  • 8
  • 5
  • 6
  • 5
  • 15
  • 7
  • 12
  • 14
  • 5
  • 14
  • 9
  • 6
  • 23
  • 6
  • 14
  • 7
  • 7
  • 5
  • 9
  • 8
  • 7
  • 9
  • 7
  • 5
  • 5
  • 34
  • 22
  • 41
  • 13
  • 8
  • 14
  • 18
  • 6
  • 9
  • 46
  • 11
  • 37
  • 11
  • 14
  • 5
  • 5
  • 12
  • 7
  • 15
  • 10
  • 5
  • 39
  • 5
  • 5
  • 13
  • 12
  • 9
  • 6
  • 6
  • 12
  • 13
  • 5
  • 7
  • 17
  • 9
  • 5
  • 13
  • 6
  • 8
  • 5
  • 6
  • 6
  • 26
  • 5
  • 23
  • 15
  • 27
  • 9
  • 12
  • 5
  • 7
  • 9
  • 5
  • 6
  • 15
  • 9
  • 23
  • 6
  • 7
  • 7
  • 5
  • 6
  • 8
  • 10
  • 5
  • 6
  • 7
  • 22
  • 10
  • 6
  • 12
  • 11
  • 6
  • 5
  • 48
  • 42
  • 9
  • 41
  • 12
  • 7
  • 13
  • 6
  • 29
  • 14
  • 6
  • 5
  • 18
  • 5
  • 7
  • 10
  • 10
  • 26
  • 15
  • 42
  • 77
  • 6
  • 7
  • 15
  • 8
  • 7
  • 5
  • 7
  • 13
  • 5
  • 14
  • 7
  • 9
  • 7
  • 6
  • 6
  • 6
  • 8
  • 6
  • 7
  • 5
  • 5
  • 7
  • 20
  • 18
  • 8
  • 7
  • 7
  • 16
  • 7
  • 16
  • 23
  • 67
  • 40
  • 8
  • 19
  • 8
  • 15
  • 22
  • 104
  • 11
  • 18
  • 7
  • 5
  • 6
  • 17
  • 12
  • 5
  • 7
  • 7
  • 5
  • 6
  • 9
  • 18
  • 6
  • 5
  • 6
  • 10
  • 5
  • 5
  • 40
  • 9
  • 8
  • 5
  • 8
  • 9
  • 15
  • 7
  • 6
  • 6
  • 25
  • 39
  • 7
  • 18
  • 5
  • 8
  • 10
  • 5
  • 6
  • 5
  • 15
  • 5
  • 8
  • 10
  • 14
  • 5
  • 5
  • 9
  • 6
  • 6
  • 96
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 6
  • 14
  • 5
  • 12
  • 5
  • 7
  • 15
  • 18
  • 6
  • 14
  • 7
  • 5
  • 5
  • 5
  • 6
  • 10
  • 6
  • 16
  • 12
  • 10
  • 5
  • 10
  • 5
  • 12
  • 5
  • 6
  • 13
  • 9
  • 7
  • 9
  • 5
  • 13
  • 6
  • 5
  • 7
  • 7
  • 6
  • 14
  • 5
  • 8
  • 10
  • 5
  • 15
  • 8
  • 7
  • 9
  • 6
  • 41
  • 10
  • 6
  • 8
  • 5
  • 22
  • 6
  • 16
  • 39
  • 10
  • 14
  • 13
  • 30
  • 6
  • 9
  • 7
  • 12
  • 18
  • 6
  • 9
  • 10
  • 14
  • 38
  • 5
  • 7
  • 17
  • 8
  • 17
  • 16
  • 5
  • 6
  • 27
  • 5
  • 77
  • 14
  • 26
  • 49
  • 8
  • 6
  • 7
  • 11
  • 6
  • 11
  • 12
  • 5
  • 6
  • 6
  • 7
  • 7
  • 11
  • 7
  • 6
  • 17
  • 91
  • 16
  • 6
  • 43
  • 9
  • 6
  • 6
  • 14
  • 7
  • 8
  • 5
  • 6
  • 14
  • 14
  • 10
  • 13
  • 5
  • 6
  • 33
  • 5
  • 8
  • 5
  • 9
  • 15
  • 17
  • 19
  • 7
  • 5
  • 27
  • 7
  • 6
  • 81
  • 11
  • 5
  • 12
  • 6
  • 5
  • 10
  • 20
  • 5
  • 7
  • 6
  • 7
  • 8
  • 6
  • 6
  • 31
  • 6
  • 5
  • 9
  • 22
  • 6
  • 5
  • 5
  • 12
  • 17
  • 13
  • 7
  • 15
  • 18
  • 17
  • 15
  • 22
  • 7
  • 8
  • 77
  • 11
  • 13
  • 10
  • 6
  • 6
  • 26
  • 6
  • 6
  • 33
  • 29
  • 6
  • 6
  • 8
  • 6
  • 10
  • 5
  • 20
  • 8
  • 7
  • 5
  • 5
  • 11
  • 21
  • 7
  • 5
  • 6
  • 11
  • 6
  • 9
  • 8
  • 15
  • 8
  • 5
  • 33
  • 15
  • 10
  • 5
  • 5
  • 5
  • 8
  • 7
  • 9
  • 7
  • 5
  • 8
  • 25
  • 7
  • 5
  • 9
  • 8
  • 7
  • 11
  • 6
  • 96
  • 8
  • 6
  • 5
  • 5
  • 13
  • 9
  • 8
  • 7
  • 5
  • 9
  • 7
  • 5
  • 15
  • 5
  • 37
  • 5
  • 14
  • 6
  • 5
  • 5
  • 5
  • 11
  • 9
  • 5
  • 14
  • 5
  • 21
  • 5
  • 24
  • 7
  • 5
  • 5
  • 7
  • 11
  • 5
  • 6
  • 7
  • 5
  • 8
  • 6
  • 6
  • 12
  • 6
  • 7
  • 48
  • 10
  • 7
  • 18
  • 41
  • 10
  • 6
  • 7
  • 14
  • 19
  • 9
  • 14
  • 14
  • 5
  • 10
  • 7
  • 9
  • 29
  • 12
  • 7
  • 8
  • 7
  • 5
  • 16
  • 7
  • 7
  • 8
  • 12
  • 14
  • 6
  • 6
  • 6
  • 10
  • 17
  • 7
  • 15
  • 7
  • 9
  • 7
  • 5
  • 23
  • 6
  • 5
  • 8
  • 10
  • 6
  • 8
  • 5
  • 36
  • 11
  • 8
  • 8
  • 7
  • 7
  • 5
  • 14
  • 7
  • 5
  • 5
  • 8
  • 15
  • 29
  • 6
  • 16
  • 6
  • 7
  • 35
  • 8
  • 11
  • 11
  • 90
  • 7
  • 7
  • 6
  • 8
  • 6
  • 32
  • 13
  • 5
  • 7
  • 77
  • 5
  • 18
  • 8
  • 8
  • 7
  • 7
  • 11
  • 20
  • 18
  • 6
  • 9
  • 92
  • 5
  • 6
  • 45
  • 5
  • 11
  • 11
  • 11
  • 89
  • 19
  • 6
  • 19
  • 8
  • 5
  • 8
  • 6
  • 6
  • 5
  • 9
  • 11
  • 15
  • 6
  • 5
  • 6
  • 5
  • 5
  • 8
  • 5
  • 5
  • 89
  • 5
  • 7
  • 18
  • 7
  • 12
  • 80
  • 12
  • 15
  • 14
  • 8
  • 16
  • 7
  • 5
  • 12
  • 15
  • 5
  • 6
  • 5
  • 22
  • 9
  • 6
  • 6
  • 9
  • 9
  • 5
  • 5
  • 8
  • 14
  • 10
  • 23
  • 8
  • 5
  • 6
  • 9
  • 7
  • 8
  • 6
  • 14
  • 9
  • 7
  • 8
  • 6
  • 15
  • 10
  • 10
  • 25
  • 28
  • 7
  • 7
  • 5
  • 9
  • 20
  • 11
  • 7
  • 6
  • 5
  • 15
  • 8
  • 33
  • 15
  • 5
  • 10
  • 9
  • 5
  • 11
  • 39
  • 8
  • 50
  • 8
  • 13
  • 6
  • 6
  • 13
  • 7
  • 11
  • 22
  • 7
  • 6
  • 12
  • 8
  • 16
  • 6
  • 20
  • 22
  • 5
  • 9
  • 5
  • 6
  • 25
  • 14
  • 23
  • 63
  • 10
  • 11
  • 18
  • 8
  • 9
  • 5
  • 5
  • 7
  • 23
  • 6
  • 20
  • 19
  • 5
  • 8
  • 6
  • 5
  • 21
  • 9
  • 59
  • 80
  • 23
  • 12
  • 8
  • 6
  • 18
  • 6
  • 5
  • 12
  • 11
  • 9
  • 7
  • 15
  • 9
  • 6
  • 14
  • 10
  • 7
  • 7
  • 5
  • 89
  • 13
  • 7
  • 18
  • 15
  • 8
  • 6
  • 8
  • 7
  • 15
  • 7
  • 7
  • 10
  • 29
  • 5
  • 11
  • 9
  • 6
  • 8
  • 5
  • 7
  • 13
  • 17
  • 38
  • 6
  • 5
  • 6
  • 8
  • 19
  • 22
  • 13
  • 6
  • 11
  • 7
  • 9
  • 7
  • 7
  • 9
  • 23
  • 8
  • 15
  • 10
  • 5
  • 6
  • 6
  • 10
  • 5
  • 6
  • 8
  • 7
  • 8
  • 15
  • 9
  • 7
  • 17
  • 7
  • 15
  • 18
  • 6
  • 5
  • 8
  • 19
  • 26
  • 11
  • 14
  • 6
  • 6
  • 22
  • 6
  • 20
  • 5
  • 7
  • 5
  • 12
  • 9
  • 5
  • 17
  • 8
  • 6
  • 6
  • 55
  • 6
  • 10
  • 5
  • 35
  • 5
  • 22
  • 6
  • 6
  • 6
  • 5
  • 5
  • 47
  • 38
  • 64
  • 40
  • 5
  • 8
  • 10
  • 7
  • 10
  • 22
  • 30
  • 7
  • 6
  • 28
  • 16
  • 20
  • 5
  • 9
  • 5
  • 8
  • 5
  • 9
  • 5
  • 17
Verlag
  • 8
  • 11209
  • 3
  • 9
  • 1
  • 17
  • 34
  • 5
  • 1
  • 13
  • 32
Preis
  • 47
  • 410
  • 8554
  • 2321
Sprachen
  • 11326
  • 18
  • 13
Verfügbarkeit
  • 11054
  • 278
Eigenschaften
  • 4
Katalog
  • 11332
  • 607
11.332  Treffer  für „Lecture Notes in Computer Science“
    He / Ren / Tang | Information Retrieval | Buch | Sack Fachmedien

    He / Ren / Tang Information Retrieval

    30th China Conference, CCIR 2024, Wuhan, China, October 18-20, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-961709-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Baresi / Dastani | Engineering Multi-Agent Systems | Buch | Sack Fachmedien

    Baldoni / Baresi / Dastani Engineering Multi-Agent Systems

    Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26183-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yamamoto | Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration | Buch | Sack Fachmedien

    Yamamoto Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration

    19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58523-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Au | Provable and Practical Security | Buch | Sack Fachmedien

    Zhang / Au Provable and Practical Security

    17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45512-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohara / Bai | Knowledge Management and Acquisition for Intelligent Systems | Buch | Sack Fachmedien

    Ohara / Bai Knowledge Management and Acquisition for Intelligent Systems

    16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26-27, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30638-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tang / Chen / Bose | Network and Parallel Computing | Buch | Sack Fachmedien

    Tang / Chen / Bose Network and Parallel Computing

    16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30708-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghidini / Hartig / Maleshkova | The Semantic Web - ISWC 2019 | Buch | Sack Fachmedien

    Ghidini / Hartig / Maleshkova The Semantic Web - ISWC 2019

    18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30795-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gadducci / Kehrer | Graph Transformation | Buch | Sack Fachmedien

    Gadducci / Kehrer Graph Transformation

    13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-51371-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sottilare / Schwarz | Adaptive Instructional Systems | Buch | Sack Fachmedien

    Sottilare / Schwarz Adaptive Instructional Systems

    Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50787-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kiayias / Kohlweiss / Wallden | Public-Key Cryptography - PKC 2020 | Buch | Sack Fachmedien

    Kiayias / Kohlweiss / Wallden Public-Key Cryptography - PKC 2020

    23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4-7, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45387-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rojas / Valenzuela / Herrera | Bioinformatics and Biomedical Engineering | Buch | Sack Fachmedien

    Rojas / Valenzuela / Herrera Bioinformatics and Biomedical Engineering

    8th International Work-Conference, IWBBIO 2020, Granada, Spain, May 6-8, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45384-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Idoumghar / Legrand / Liefooghe | Artificial Evolution | Buch | Sack Fachmedien

    Idoumghar / Legrand / Liefooghe Artificial Evolution

    14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29-30, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45714-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bienstock / Zambelli | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Bienstock / Zambelli Integer Programming and Combinatorial Optimization

    21st International Conference, IPCO 2020, London, UK, June 8-10, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45770-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zaphiris / Ioannou | Learning and Collaboration Technologies. Novel Technological Environments | Buch | Sack Fachmedien

    Zaphiris / Ioannou Learning and Collaboration Technologies. Novel Technological Environments

    9th International Conference, LCT 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-05674-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Inclezan / Maratea | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Gottlob / Inclezan / Maratea Logic Programming and Nonmonotonic Reasoning

    16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15706-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sergey | Programming Languages and Systems | Buch | Sack Fachmedien

    Sergey Programming Languages and Systems

    31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99335-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sural / Lu | Data and Applications Security and Privacy XXXVI | Buch | Sack Fachmedien

    Sural / Lu Data and Applications Security and Privacy XXXVI

    36th Annual IFIP WG 11.3 Conference, DBSec 2022, Newark, NJ, USA, July 18-20, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-10683-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gadouleau / Castillo-Ramirez | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Gadouleau / Castillo-Ramirez Cellular Automata and Discrete Complex Systems

    30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-65886-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Achilleos / Fuentes / Papadopoulos | Reuse and Software Quality | Buch | Sack Fachmedien

    Achilleos / Fuentes / Papadopoulos Reuse and Software Quality

    21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66458-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Zhou / Xu | Trustworthy Artificial Intelligence for Healthcare | Buch | Sack Fachmedien

    Chen / Zhou / Xu Trustworthy Artificial Intelligence for Healthcare

    Second International Workshop, TAI4H 2024, Jeju, South Korea, August 4, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-67750-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / Lauradoux / Rannenberg | Privacy Technologies and Policy | Buch | Sack Fachmedien

    Jensen / Lauradoux / Rannenberg Privacy Technologies and Policy

    12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68023-6
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Heule / Schmidt | Automated Reasoning | Buch | Sack Fachmedien

    Benzmüller / Heule / Schmidt Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-63500-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jahangirova / Khomh | Search-Based Software Engineering | Buch | Sack Fachmedien

    Jahangirova / Khomh Search-Based Software Engineering

    16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-64572-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer / Rozier / Pradella | Formal Methods | Buch | Sack Fachmedien

    Platzer / Rozier / Pradella Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-71161-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemanski / Johansen / Manalo | Diagrammatic Representation and Inference | Buch | Sack Fachmedien

    Lemanski / Johansen / Manalo Diagrammatic Representation and Inference

    14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71290-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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