Ergebnisse filtern
Fachgebiet
Medium
  • 8298
Erscheinungsjahr
  • 3
  • 651
  • 681
  • 721
  • 435
  • 290
  • 169
  • 201
  • 217
  • 195
  • 196
  • 217
  • 216
  • 197
  • 184
  • 185
  • 182
  • 191
  • 192
  • 154
  • 225
  • 217
  • 187
  • 273
  • 241
  • 204
  • 196
  • 132
  • 129
  • 116
  • 112
  • 102
  • 96
  • 87
  • 73
  • 59
  • 73
  • 47
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 5
  • 5
  • 5
  • 4
  • 6
  • 9
  • 5
  • 11
  • 25
  • 10
  • 7
  • 4
  • 4
  • 7
  • 6
  • 4
  • 17
  • 13
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 8
  • 6
  • 4
  • 5
  • 4
  • 6
  • 14
  • 4
  • 33
  • 36
  • 7
  • 30
  • 5
  • 4
  • 5
  • 5
  • 4
  • 8
  • 9
  • 4
  • 21
  • 13
  • 4
  • 39
  • 5
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 4
  • 4
  • 10
  • 7
  • 17
  • 8
  • 4
  • 5
  • 4
  • 6
  • 6
  • 24
  • 4
  • 8
  • 10
  • 11
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 19
  • 6
  • 9
  • 8
  • 5
  • 4
  • 7
  • 5
  • 4
  • 7
  • 10
  • 10
  • 5
  • 4
  • 6
  • 40
  • 4
  • 5
  • 8
  • 5
  • 20
  • 11
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 10
  • 8
  • 4
  • 10
  • 5
  • 7
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 12
  • 4
  • 10
  • 5
  • 4
  • 12
  • 9
  • 14
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 39
  • 18
  • 6
  • 4
  • 7
  • 4
  • 4
  • 5
  • 7
  • 5
  • 4
  • 4
  • 16
  • 6
  • 5
  • 9
  • 4
  • 5
  • 13
  • 8
  • 4
  • 10
  • 7
  • 4
  • 8
  • 4
  • 24
  • 5
  • 5
  • 13
  • 5
  • 12
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 7
  • 5
  • 6
  • 9
  • 5
  • 6
  • 34
  • 4
  • 5
  • 14
  • 41
  • 4
  • 4
  • 13
  • 9
  • 7
  • 20
  • 4
  • 4
  • 5
  • 42
  • 5
  • 4
  • 38
  • 4
  • 4
  • 5
  • 10
  • 15
  • 11
  • 4
  • 5
  • 4
  • 7
  • 12
  • 4
  • 4
  • 4
  • 4
  • 6
  • 5
  • 7
  • 4
  • 5
  • 4
  • 4
  • 39
  • 7
  • 4
  • 12
  • 4
  • 4
  • 6
  • 4
  • 13
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 7
  • 6
  • 13
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 10
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 6
  • 23
  • 4
  • 26
  • 15
  • 4
  • 28
  • 9
  • 7
  • 8
  • 5
  • 7
  • 5
  • 4
  • 5
  • 16
  • 9
  • 24
  • 6
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 5
  • 5
  • 5
  • 5
  • 9
  • 8
  • 5
  • 4
  • 7
  • 4
  • 4
  • 7
  • 5
  • 7
  • 15
  • 11
  • 5
  • 7
  • 7
  • 38
  • 41
  • 4
  • 8
  • 39
  • 5
  • 10
  • 13
  • 8
  • 35
  • 13
  • 6
  • 4
  • 4
  • 15
  • 5
  • 4
  • 8
  • 6
  • 6
  • 4
  • 10
  • 26
  • 12
  • 43
  • 78
  • 8
  • 4
  • 15
  • 10
  • 8
  • 5
  • 6
  • 7
  • 15
  • 8
  • 6
  • 4
  • 6
  • 8
  • 6
  • 5
  • 4
  • 5
  • 4
  • 20
  • 17
  • 4
  • 4
  • 11
  • 4
  • 6
  • 4
  • 9
  • 8
  • 5
  • 5
  • 12
  • 4
  • 22
  • 48
  • 8
  • 19
  • 16
  • 23
  • 84
  • 11
  • 4
  • 15
  • 6
  • 4
  • 4
  • 6
  • 4
  • 19
  • 5
  • 9
  • 8
  • 4
  • 15
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 4
  • 26
  • 4
  • 6
  • 8
  • 4
  • 16
  • 6
  • 5
  • 8
  • 23
  • 39
  • 17
  • 4
  • 8
  • 4
  • 4
  • 4
  • 15
  • 14
  • 15
  • 6
  • 4
  • 5
  • 4
  • 94
  • 4
  • 4
  • 4
  • 4
  • 8
  • 6
  • 5
  • 6
  • 15
  • 4
  • 12
  • 4
  • 6
  • 19
  • 4
  • 10
  • 7
  • 8
  • 6
  • 4
  • 17
  • 4
  • 11
  • 4
  • 4
  • 13
  • 13
  • 7
  • 8
  • 5
  • 6
  • 4
  • 13
  • 6
  • 4
  • 6
  • 7
  • 5
  • 8
  • 5
  • 4
  • 15
  • 10
  • 35
  • 4
  • 4
  • 5
  • 5
  • 7
  • 10
  • 4
  • 4
  • 15
  • 25
  • 4
  • 4
  • 9
  • 15
  • 9
  • 33
  • 4
  • 6
  • 7
  • 4
  • 9
  • 4
  • 4
  • 13
  • 6
  • 7
  • 11
  • 4
  • 17
  • 21
  • 4
  • 8
  • 7
  • 10
  • 5
  • 17
  • 4
  • 25
  • 5
  • 78
  • 14
  • 20
  • 44
  • 6
  • 7
  • 11
  • 4
  • 5
  • 12
  • 4
  • 4
  • 6
  • 7
  • 5
  • 9
  • 7
  • 4
  • 4
  • 5
  • 16
  • 90
  • 13
  • 43
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 6
  • 5
  • 6
  • 14
  • 9
  • 11
  • 5
  • 4
  • 4
  • 7
  • 4
  • 18
  • 19
  • 27
  • 4
  • 5
  • 80
  • 5
  • 17
  • 6
  • 7
  • 10
  • 21
  • 5
  • 6
  • 5
  • 4
  • 4
  • 4
  • 32
  • 4
  • 9
  • 4
  • 25
  • 6
  • 4
  • 4
  • 5
  • 4
  • 13
  • 12
  • 13
  • 14
  • 10
  • 15
  • 10
  • 16
  • 4
  • 78
  • 11
  • 4
  • 7
  • 7
  • 22
  • 4
  • 4
  • 34
  • 23
  • 5
  • 5
  • 8
  • 11
  • 5
  • 13
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 9
  • 10
  • 4
  • 10
  • 5
  • 9
  • 4
  • 9
  • 8
  • 9
  • 7
  • 15
  • 4
  • 4
  • 7
  • 5
  • 25
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 20
  • 4
  • 4
  • 9
  • 7
  • 6
  • 11
  • 74
  • 6
  • 4
  • 5
  • 9
  • 4
  • 5
  • 7
  • 10
  • 36
  • 7
  • 4
  • 5
  • 12
  • 9
  • 4
  • 5
  • 9
  • 4
  • 4
  • 14
  • 4
  • 21
  • 25
  • 4
  • 5
  • 6
  • 4
  • 8
  • 8
  • 12
  • 6
  • 4
  • 5
  • 7
  • 4
  • 4
  • 7
  • 5
  • 4
  • 4
  • 8
  • 48
  • 8
  • 4
  • 23
  • 6
  • 41
  • 11
  • 5
  • 4
  • 13
  • 18
  • 4
  • 8
  • 12
  • 15
  • 6
  • 11
  • 28
  • 11
  • 11
  • 7
  • 5
  • 4
  • 14
  • 5
  • 15
  • 11
  • 6
  • 4
  • 8
  • 6
  • 4
  • 4
  • 8
  • 24
  • 5
  • 6
  • 4
  • 38
  • 7
  • 8
  • 4
  • 6
  • 4
  • 12
  • 5
  • 30
  • 6
  • 14
  • 5
  • 36
  • 6
  • 4
  • 9
  • 90
  • 7
  • 6
  • 5
  • 6
  • 16
  • 15
  • 78
  • 9
  • 12
  • 8
  • 4
  • 9
  • 13
  • 19
  • 18
  • 9
  • 93
  • 4
  • 40
  • 11
  • 11
  • 7
  • 6
  • 89
  • 17
  • 4
  • 4
  • 20
  • 6
  • 4
  • 9
  • 15
  • 10
  • 5
  • 9
  • 4
  • 4
  • 5
  • 90
  • 5
  • 17
  • 4
  • 7
  • 7
  • 81
  • 12
  • 4
  • 16
  • 15
  • 11
  • 4
  • 10
  • 4
  • 13
  • 4
  • 7
  • 7
  • 15
  • 16
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 13
  • 4
  • 4
  • 25
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 14
  • 4
  • 9
  • 4
  • 16
  • 4
  • 10
  • 23
  • 29
  • 4
  • 6
  • 6
  • 4
  • 6
  • 19
  • 9
  • 4
  • 4
  • 4
  • 4
  • 13
  • 10
  • 31
  • 11
  • 4
  • 5
  • 13
  • 33
  • 4
  • 50
  • 4
  • 7
  • 7
  • 9
  • 5
  • 22
  • 4
  • 4
  • 4
  • 6
  • 6
  • 17
  • 4
  • 19
  • 24
  • 12
  • 25
  • 53
  • 10
  • 11
  • 16
  • 9
  • 6
  • 24
  • 14
  • 14
  • 4
  • 6
  • 4
  • 17
  • 10
  • 33
  • 4
  • 81
  • 4
  • 24
  • 12
  • 6
  • 13
  • 8
  • 7
  • 7
  • 12
  • 15
  • 4
  • 4
  • 8
  • 7
  • 4
  • 15
  • 9
  • 6
  • 6
  • 5
  • 89
  • 11
  • 18
  • 4
  • 16
  • 4
  • 4
  • 5
  • 6
  • 5
  • 4
  • 16
  • 7
  • 4
  • 4
  • 4
  • 25
  • 4
  • 5
  • 11
  • 4
  • 4
  • 4
  • 4
  • 13
  • 7
  • 6
  • 36
  • 6
  • 5
  • 5
  • 4
  • 4
  • 16
  • 12
  • 4
  • 6
  • 6
  • 4
  • 8
  • 8
  • 5
  • 24
  • 7
  • 11
  • 10
  • 5
  • 7
  • 6
  • 6
  • 5
  • 6
  • 4
  • 5
  • 7
  • 9
  • 5
  • 4
  • 5
  • 18
  • 5
  • 8
  • 4
  • 4
  • 12
  • 6
  • 4
  • 17
  • 25
  • 9
  • 6
  • 14
  • 5
  • 19
  • 4
  • 14
  • 5
  • 7
  • 6
  • 4
  • 18
  • 10
  • 6
  • 15
  • 4
  • 6
  • 8
  • 6
  • 4
  • 5
  • 21
  • 4
  • 4
  • 48
  • 4
  • 40
  • 22
  • 41
  • 4
  • 5
  • 4
  • 11
  • 4
  • 6
  • 18
  • 32
  • 7
  • 26
  • 21
  • 5
  • 10
  • 7
  • 20
Verlag
  • 8
  • 8146
  • 3
  • 5
  • 1
  • 92
  • 3
  • 1
  • 11
  • 28
Preis
  • 27
  • 255
  • 6169
  • 1847
Sprachen
  • 8293
  • 15
  • 12
Verfügbarkeit
  • 8067
  • 231
Eigenschaften
  • 2
Katalog
  • 8298
  • 375
8.298  Treffer  für „Lecture Notes in Computer Science“
    Huang / Li / Chen | Advanced Intelligent Computing Technology and Applications | Buch | Sack Fachmedien

    Huang / Li / Chen Advanced Intelligent Computing Technology and Applications

    21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part V
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-969793-9
    Medium: Buch
    85,59 € (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 I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-969862-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pan / Chen / Nguyen | Computational Collective Intelligence. Technologies and Applications | Buch | Sack Fachmedien

    Pan / Chen / Nguyen Computational Collective Intelligence. Technologies and Applications

    Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16695-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanner / Irvine | Applied Imagery Pattern Recognition | Buch | Sack Fachmedien

    Tanner / Irvine Applied Imagery Pattern Recognition

    53rd Applied Imagery Pattern Recognition Workshop, AIPR 2025, Washington, DC, USA, October 13-14, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-18473-3
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Georgiou | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Georgiou Structural Information and Communication Complexity

    33rd International Colloquium, SIROCCO 2026, Durham, UK, June 9-11, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26464-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Park / Zhang | Parallel and Distributed Computing, Applications and Technologies | Buch | Sack Fachmedien

    Tian / Park / Zhang Parallel and Distributed Computing, Applications and Technologies

    26th International Conference, PDCAT 2025, Gold Coast, QLD, Australia, November 22-24, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-959845-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Bridging the Gap Between AI and Reality | Buch | Sack Fachmedien

    Steffen Bridging the Gap Between AI and Reality

    4th International Conference, AISoLA 2026, Kos, Greece, October 27–31, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-41268-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Lestingi / Salaün / Requeno Jarabo | From Data to Models and Back | Buch | Sack Fachmedien

    Lestingi / Salaün / Requeno Jarabo From Data to Models and Back

    13th International Symposium, DataMod 2025, Toledo, Spain, November 10-11, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-25551-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hebrard / Musliu | Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Buch | Sack Fachmedien

    Hebrard / Musliu Integration of Constraint Programming, Artificial Intelligence, and Operations Research

    17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58941-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Zhou | Human Aspects of IT for the Aged Population. Technology and Society | Buch | Sack Fachmedien

    Gao / Zhou Human Aspects of IT for the Aged Population. Technology and Society

    6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part III
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50231-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Puebla | Static Analysis | Buch | Sack Fachmedien

    Hermenegildo / Puebla Static Analysis

    9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutylowski / Zhang / Chen | Network and System Security | Buch | Sack Fachmedien

    Kutylowski / Zhang / Chen Network and System Security

    14th International Conference, NSS 2020, Melbourne, VIC, Australia, November 25-27, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-65744-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demartini / Hose / Acosta | The Semantic Web - ISWC 2024 | Buch | Sack Fachmedien

    Demartini / Hose / Acosta The Semantic Web - ISWC 2024

    23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-77846-9
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Izadi / Hou | Sports Analytics | Buch | Sack Fachmedien

    Dong / Izadi / Hou Sports Analytics

    First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-69072-3
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buchberger / Volkert | Parallel Processing: CONPAR 94. VAPP VI | Buch | Sack Fachmedien

    Buchberger / Volkert Parallel Processing: CONPAR 94. VAPP VI

    Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6 - 8, 1994
    1994
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-58430-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lukose | Multi-Agent Systems for Society | Buch | Sack Fachmedien

    Lukose Multi-Agent Systems for Society

    8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03337-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | The Logic of Software. A Tasting Menu of Formal Methods | Buch | Sack Fachmedien

    Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-08165-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Megow / Basu | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Megow / Basu Integer Programming and Combinatorial Optimization

    26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93111-6
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Prabhakar | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Jansen / Prabhakar Formal Modeling and Analysis of Timed Systems

    16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00150-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Sun Formal Methods and Software Engineering

    20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02449-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groves / Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Groves / Sun Formal Methods and Software Engineering

    15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41201-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Virbitskaite / Voronkov | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Virbitskaite / Voronkov Perspectives of System Informatics

    12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-37486-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pulina / Seidl | Theory and Applications of Satisfiability Testing - SAT 2020 | Buch | Sack Fachmedien

    Pulina / Seidl Theory and Applications of Satisfiability Testing - SAT 2020

    23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-51824-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raschke / Méry / Houdek | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Raschke / Méry / Houdek Rigorous State-Based Methods

    7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-48076-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peltier / Sofronie-Stokkermans | Automated Reasoning | Buch | Sack Fachmedien

    Peltier / Sofronie-Stokkermans Automated Reasoning

    10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-51053-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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