Ergebnisse filtern
Fachgebiet
Medium
  • 10356
Erscheinungsjahr
  • 722
  • 843
  • 625
  • 488
  • 259
  • 258
  • 341
  • 319
  • 312
  • 300
  • 298
  • 308
  • 322
  • 289
  • 270
  • 272
  • 267
  • 208
  • 252
  • 252
  • 240
  • 376
  • 313
  • 268
  • 254
  • 193
  • 179
  • 131
  • 145
  • 145
  • 118
  • 108
  • 96
  • 74
  • 84
  • 59
  • 60
  • 46
  • 46
  • 31
  • 27
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 5
  • 5
  • 4
  • 4
  • 8
  • 4
  • 9
  • 7
  • 7
  • 7
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 8
  • 9
  • 6
  • 5
  • 7
  • 16
  • 6
  • 4
  • 10
  • 4
  • 8
  • 4
  • 5
  • 7
  • 5
  • 7
  • 8
  • 5
  • 7
  • 7
  • 14
  • 5
  • 5
  • 25
  • 36
  • 6
  • 4
  • 46
  • 6
  • 6
  • 4
  • 4
  • 4
  • 6
  • 5
  • 13
  • 16
  • 4
  • 10
  • 5
  • 4
  • 4
  • 4
  • 7
  • 39
  • 7
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 10
  • 7
  • 6
  • 6
  • 11
  • 4
  • 6
  • 11
  • 4
  • 4
  • 9
  • 6
  • 5
  • 4
  • 4
  • 6
  • 6
  • 6
  • 4
  • 7
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 4
  • 11
  • 4
  • 6
  • 4
  • 6
  • 16
  • 4
  • 5
  • 4
  • 5
  • 16
  • 5
  • 6
  • 5
  • 4
  • 5
  • 5
  • 4
  • 4
  • 9
  • 8
  • 4
  • 8
  • 21
  • 4
  • 4
  • 4
  • 11
  • 7
  • 6
  • 9
  • 4
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 20
  • 15
  • 7
  • 6
  • 12
  • 9
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 5
  • 9
  • 5
  • 4
  • 9
  • 10
  • 4
  • 6
  • 4
  • 10
  • 13
  • 7
  • 4
  • 10
  • 8
  • 4
  • 17
  • 9
  • 16
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 8
  • 6
  • 4
  • 5
  • 39
  • 16
  • 11
  • 5
  • 4
  • 4
  • 9
  • 5
  • 10
  • 6
  • 6
  • 6
  • 4
  • 16
  • 5
  • 9
  • 9
  • 5
  • 13
  • 6
  • 5
  • 6
  • 8
  • 5
  • 4
  • 9
  • 4
  • 4
  • 24
  • 4
  • 8
  • 10
  • 4
  • 4
  • 9
  • 4
  • 4
  • 10
  • 7
  • 5
  • 8
  • 9
  • 8
  • 4
  • 7
  • 6
  • 4
  • 34
  • 4
  • 10
  • 41
  • 4
  • 10
  • 7
  • 13
  • 11
  • 6
  • 6
  • 20
  • 11
  • 18
  • 4
  • 10
  • 14
  • 5
  • 12
  • 4
  • 4
  • 4
  • 8
  • 13
  • 9
  • 9
  • 4
  • 39
  • 6
  • 5
  • 5
  • 9
  • 8
  • 11
  • 4
  • 4
  • 9
  • 8
  • 8
  • 4
  • 7
  • 13
  • 9
  • 5
  • 11
  • 6
  • 10
  • 7
  • 4
  • 4
  • 7
  • 6
  • 15
  • 23
  • 5
  • 7
  • 5
  • 13
  • 4
  • 7
  • 7
  • 7
  • 4
  • 11
  • 24
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 7
  • 7
  • 5
  • 4
  • 8
  • 5
  • 4
  • 4
  • 8
  • 5
  • 10
  • 10
  • 4
  • 10
  • 8
  • 5
  • 48
  • 42
  • 4
  • 22
  • 10
  • 11
  • 5
  • 4
  • 25
  • 12
  • 6
  • 5
  • 5
  • 7
  • 20
  • 4
  • 6
  • 4
  • 5
  • 10
  • 5
  • 4
  • 4
  • 27
  • 4
  • 10
  • 41
  • 8
  • 7
  • 4
  • 14
  • 5
  • 10
  • 14
  • 15
  • 5
  • 4
  • 4
  • 6
  • 8
  • 4
  • 4
  • 5
  • 12
  • 16
  • 4
  • 4
  • 4
  • 6
  • 8
  • 4
  • 6
  • 6
  • 10
  • 5
  • 4
  • 5
  • 11
  • 15
  • 59
  • 32
  • 4
  • 4
  • 20
  • 9
  • 18
  • 22
  • 4
  • 96
  • 6
  • 11
  • 7
  • 4
  • 17
  • 4
  • 11
  • 4
  • 7
  • 6
  • 19
  • 17
  • 4
  • 4
  • 4
  • 9
  • 5
  • 10
  • 17
  • 7
  • 9
  • 6
  • 4
  • 5
  • 6
  • 8
  • 4
  • 12
  • 4
  • 39
  • 4
  • 4
  • 8
  • 6
  • 6
  • 6
  • 5
  • 7
  • 15
  • 6
  • 18
  • 39
  • 4
  • 4
  • 9
  • 14
  • 4
  • 12
  • 4
  • 6
  • 5
  • 4
  • 8
  • 5
  • 12
  • 15
  • 6
  • 4
  • 4
  • 9
  • 5
  • 67
  • 4
  • 7
  • 4
  • 4
  • 4
  • 6
  • 5
  • 5
  • 5
  • 4
  • 8
  • 4
  • 6
  • 4
  • 15
  • 8
  • 14
  • 5
  • 4
  • 8
  • 19
  • 6
  • 10
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 4
  • 4
  • 5
  • 6
  • 17
  • 11
  • 6
  • 13
  • 4
  • 5
  • 10
  • 5
  • 13
  • 11
  • 4
  • 4
  • 4
  • 4
  • 15
  • 5
  • 4
  • 5
  • 8
  • 6
  • 8
  • 4
  • 14
  • 9
  • 7
  • 8
  • 7
  • 9
  • 4
  • 4
  • 4
  • 32
  • 5
  • 4
  • 13
  • 6
  • 8
  • 6
  • 4
  • 25
  • 5
  • 4
  • 15
  • 31
  • 4
  • 5
  • 4
  • 8
  • 15
  • 5
  • 5
  • 4
  • 5
  • 10
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 4
  • 7
  • 14
  • 6
  • 17
  • 15
  • 28
  • 16
  • 6
  • 7
  • 10
  • 6
  • 11
  • 9
  • 28
  • 11
  • 25
  • 40
  • 8
  • 5
  • 5
  • 6
  • 17
  • 12
  • 5
  • 7
  • 5
  • 6
  • 9
  • 10
  • 7
  • 6
  • 5
  • 13
  • 88
  • 7
  • 14
  • 16
  • 5
  • 7
  • 15
  • 6
  • 14
  • 7
  • 7
  • 10
  • 13
  • 5
  • 18
  • 5
  • 23
  • 6
  • 6
  • 5
  • 62
  • 8
  • 17
  • 7
  • 23
  • 5
  • 9
  • 5
  • 9
  • 9
  • 7
  • 6
  • 6
  • 6
  • 6
  • 5
  • 11
  • 12
  • 5
  • 13
  • 16
  • 13
  • 15
  • 10
  • 12
  • 6
  • 11
  • 10
  • 5
  • 5
  • 29
  • 6
  • 31
  • 26
  • 7
  • 7
  • 21
  • 7
  • 8
  • 7
  • 19
  • 5
  • 9
  • 8
  • 7
  • 8
  • 12
  • 6
  • 9
  • 40
  • 10
  • 7
  • 5
  • 6
  • 5
  • 5
  • 17
  • 5
  • 9
  • 6
  • 5
  • 5
  • 6
  • 87
  • 10
  • 5
  • 5
  • 6
  • 8
  • 8
  • 5
  • 9
  • 9
  • 37
  • 5
  • 5
  • 17
  • 7
  • 6
  • 5
  • 5
  • 9
  • 6
  • 6
  • 7
  • 5
  • 11
  • 7
  • 7
  • 7
  • 6
  • 7
  • 5
  • 6
  • 9
  • 9
  • 8
  • 43
  • 7
  • 17
  • 20
  • 6
  • 6
  • 7
  • 10
  • 13
  • 12
  • 16
  • 15
  • 6
  • 17
  • 7
  • 24
  • 14
  • 8
  • 13
  • 5
  • 5
  • 20
  • 6
  • 11
  • 6
  • 11
  • 5
  • 10
  • 9
  • 6
  • 5
  • 6
  • 13
  • 5
  • 13
  • 6
  • 5
  • 12
  • 7
  • 24
  • 5
  • 10
  • 7
  • 7
  • 12
  • 16
  • 11
  • 8
  • 6
  • 8
  • 5
  • 7
  • 5
  • 5
  • 13
  • 26
  • 12
  • 7
  • 18
  • 8
  • 5
  • 11
  • 91
  • 5
  • 5
  • 7
  • 28
  • 11
  • 5
  • 11
  • 24
  • 9
  • 9
  • 5
  • 8
  • 12
  • 6
  • 20
  • 7
  • 93
  • 6
  • 51
  • 11
  • 89
  • 19
  • 14
  • 12
  • 8
  • 9
  • 15
  • 11
  • 5
  • 5
  • 5
  • 5
  • 8
  • 5
  • 6
  • 90
  • 5
  • 6
  • 6
  • 5
  • 7
  • 8
  • 17
  • 5
  • 10
  • 12
  • 5
  • 18
  • 14
  • 12
  • 9
  • 6
  • 11
  • 5
  • 6
  • 6
  • 22
  • 12
  • 8
  • 6
  • 6
  • 6
  • 11
  • 8
  • 20
  • 7
  • 5
  • 14
  • 7
  • 6
  • 11
  • 13
  • 46
  • 6
  • 10
  • 5
  • 18
  • 12
  • 5
  • 11
  • 8
  • 9
  • 5
  • 9
  • 5
  • 12
  • 11
  • 5
  • 36
  • 6
  • 41
  • 8
  • 8
  • 6
  • 6
  • 8
  • 22
  • 11
  • 6
  • 15
  • 18
  • 21
  • 11
  • 11
  • 12
  • 11
  • 20
  • 62
  • 10
  • 17
  • 19
  • 8
  • 9
  • 6
  • 7
  • 21
  • 19
  • 15
  • 5
  • 5
  • 6
  • 52
  • 6
  • 24
  • 12
  • 9
  • 5
  • 10
  • 18
  • 10
  • 6
  • 12
  • 5
  • 5
  • 15
  • 19
  • 11
  • 7
  • 14
  • 9
  • 7
  • 12
  • 13
  • 5
  • 89
  • 9
  • 6
  • 16
  • 5
  • 15
  • 6
  • 5
  • 5
  • 6
  • 15
  • 5
  • 10
  • 5
  • 6
  • 33
  • 11
  • 9
  • 10
  • 7
  • 13
  • 16
  • 8
  • 9
  • 20
  • 6
  • 5
  • 11
  • 5
  • 21
  • 9
  • 6
  • 10
  • 9
  • 6
  • 10
  • 6
  • 7
  • 6
  • 9
  • 20
  • 8
  • 15
  • 10
  • 8
  • 7
  • 6
  • 6
  • 5
  • 17
  • 7
  • 7
  • 7
  • 5
  • 11
  • 7
  • 14
  • 14
  • 5
  • 6
  • 17
  • 9
  • 5
  • 6
  • 8
  • 6
  • 5
  • 35
  • 9
  • 25
  • 5
  • 45
  • 7
  • 13
  • 65
  • 18
  • 5
  • 11
  • 5
  • 5
  • 5
  • 5
  • 6
  • 14
  • 7
  • 7
  • 20
  • 16
  • 19
  • 9
  • 5
  • 9
  • 7
  • 22
Verlag
  • 1
  • 9
  • 4129
  • 3280
  • 1843
  • 1
  • 144
  • 915
  • 1
  • 33
Preis
  • 43
  • 363
  • 7970
  • 1980
Sprachen
  • 10354
  • 21
  • 19
Verfügbarkeit
  • 10345
  • 11
Eigenschaften
  • 2
Katalog
  • 10356
  • 563
10.356  Treffer  für „Lecture Notes in Computer Science“
    Bassiliades / Gottlob / Roman | Rule Technologies: Foundations, Tools, and Applications | Buch | Sack Fachmedien

    Bassiliades / Gottlob / Roman Rule Technologies: Foundations, Tools, and Applications

    9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21541-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwarzmann / Pelc | Stabilization, Safety, and Security of Distributed Systems | Buch | Sack Fachmedien

    Schwarzmann / Pelc Stabilization, Safety, and Security of Distributed Systems

    17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21740-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Westfechtel / Parisi-Presicce | Graph Transformation | Buch | Sack Fachmedien

    Westfechtel / Parisi-Presicce Graph Transformation

    8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21144-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sirjani / Dastani | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Sirjani / Dastani Fundamentals of Software Engineering

    6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24643-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Grzymala-Busse / Hu | Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | Buch | Sack Fachmedien

    Yao / Grzymala-Busse / Hu Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

    15th International Conference, RSFDGrC 2015, Tianjin, China, November 20-23, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25782-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Yi / Liu | Dependable Software Engineering: Theories, Tools, and Applications | Buch | Sack Fachmedien

    Li / Yi / Liu Dependable Software Engineering: Theories, Tools, and Applications

    First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25941-3
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouzefrane / Banerjee / Boumerdassi | Mobile, Secure, and Programmable Networking | Buch | Sack Fachmedien

    Bouzefrane / Banerjee / Boumerdassi Mobile, Secure, and Programmable Networking

    Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67806-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelbukh | Computational Linguistics and Intelligent Text Processing | Buch | Sack Fachmedien

    Gelbukh Computational Linguistics and Intelligent Text Processing

    17th International Conference, CICLing 2016, Konya, Turkey, April 3¿9, 2016, Revised Selected Papers, Part I
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75476-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mitkov | Computational and Corpus-Based Phraseology | Buch | Sack Fachmedien

    Mitkov Computational and Corpus-Based Phraseology

    Second International Conference, Europhras 2017, London, UK, November 13-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-69804-5
    Medium: Buch
    70,62 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim | Information Security and Cryptology - ICISC 2017 | Buch | Sack Fachmedien

    Kim Information Security and Cryptology - ICISC 2017

    20th International Conference, Seoul, South Korea, November 29 - December 1, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-78555-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Sim | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    Kaufmann / Sim Applications of Evolutionary Computation

    21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77537-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davis / Voronkov / Fehnker | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Davis / Voronkov / Fehnker Logic for Programming, Artificial Intelligence, and Reasoning

    20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48898-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foret / Pogodalla / Kobele | Formal Grammar 2018 | Buch | Sack Fachmedien

    Foret / Pogodalla / Kobele Formal Grammar 2018

    23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-57783-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foret / Morrill / Pogodalla | Formal Grammar | Buch | Sack Fachmedien

    Foret / Morrill / Pogodalla Formal Grammar

    20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53041-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ryan / Maffei | Principles of Security and Trust | Buch | Sack Fachmedien

    Ryan / Maffei Principles of Security and Trust

    6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54454-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bobillo / Costa / d'Amato | Uncertainty Reasoning for the Semantic Web II | Buch | Sack Fachmedien

    Bobillo / Costa / d'Amato Uncertainty Reasoning for the Semantic Web II

    International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-35974-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Han / Lee | Information Security and Cryptology -- ICISC 2013 | Buch | Sack Fachmedien

    Han / Lee Information Security and Cryptology -- ICISC 2013

    16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12159-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Liu / Jia | Web Technologies and Applications | Buch | Sack Fachmedien

    Chen / Liu / Jia Web Technologies and Applications

    16th Asia-Pacific Web Conference, APWeb 2014, Changsha, China, September 5-7, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11115-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yin / Yao / Tino | Intelligent Data Engineering and Automated Learning - IDEAL 2007 | Buch | Sack Fachmedien

    Yin / Yao / Tino Intelligent Data Engineering and Automated Learning - IDEAL 2007

    8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77225-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braun / Maña / Wichert | Ambient Intelligence | Buch | Sack Fachmedien

    Braun / Maña / Wichert Ambient Intelligence

    13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-56996-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fotakis / Paschos / Pagourtzis | Algorithms and Complexity | Buch | Sack Fachmedien

    Fotakis / Paschos / Pagourtzis Algorithms and Complexity

    10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57585-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barrett / Kahsai / Davies | NASA Formal Methods | Buch | Sack Fachmedien

    Barrett / Kahsai / Davies NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57287-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Ulbrich | Deductive Software Verification - The KeY Book | Buch | Sack Fachmedien

    Ahrendt / Beckert / Ulbrich Deductive Software Verification - The KeY Book

    From Theory to Practice
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49811-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Napoli / Hermanns / Peyser | High-Performance Scientific Computing | Buch | Sack Fachmedien

    Di Napoli / Hermanns / Peyser High-Performance Scientific Computing

    First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-53861-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Janhunen / Balduccini | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Janhunen / Balduccini Logic Programming and Nonmonotonic Reasoning

    14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-61659-9
    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