Ergebnisse filtern
Fachgebiet
Medium
  • 8297
Erscheinungsjahr
  • 3
  • 650
  • 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
  • 4
  • 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
  • 7
  • 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
  • 7
  • 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
  • 7
  • 4
  • 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
  • 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
  • 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
  • 8
  • 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
  • 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
  • 4
  • 5
  • 10
  • 7
  • 20
Verlag
  • 8
  • 8147
  • 3
  • 5
  • 1
  • 90
  • 3
  • 1
  • 11
  • 28
Preis
  • 27
  • 256
  • 6167
  • 1847
Sprachen
  • 8292
  • 15
  • 12
Verfügbarkeit
  • 8068
  • 229
Eigenschaften
  • 2
Katalog
  • 8297
  • 375
8.297  Treffer  für „Lecture Notes in Computer Science“
    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
    Kazakov / Erten | Inductive Logic Programming | Buch | Sack Fachmedien

    Kazakov / Erten Inductive Logic Programming

    29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-49209-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harris / Li | Engineering Psychology and Cognitive Ergonomics. Cognition and Design | Buch | Sack Fachmedien

    Harris / Li Engineering Psychology and Cognitive Ergonomics. Cognition and Design

    17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-49182-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Fragomeni | Virtual, Augmented and Mixed Reality. Industrial and Everyday Life Applications | Buch | Sack Fachmedien

    Chen / Fragomeni Virtual, Augmented and Mixed Reality. Industrial and Everyday Life Applications

    12th International Conference, VAMR 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-49697-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ni / Wang / Song | Web Information Systems and Applications | Buch | Sack Fachmedien

    Ni / Wang / Song Web Information Systems and Applications

    16th International Conference, WISA 2019, Qingdao, China, September 20-22, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait-Ameur / Qin | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Ait-Ameur / Qin Formal Methods and Software Engineering

    21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32408-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Kratsch / van Leeuwen | Treewidth, Kernels, and Algorithms | Buch | Sack Fachmedien

    Fomin / Kratsch / van Leeuwen Treewidth, Kernels, and Algorithms

    Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-42070-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Marsico / Sanniti di Baja / Fred | Pattern Recognition Applications and Methods | Buch | Sack Fachmedien

    De Marsico / Sanniti di Baja / Fred Pattern Recognition Applications and Methods

    8th International Conference, ICPRAM 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-40013-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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