Ergebnisse filtern
Fachgebiet
Medium
  • 11373
  • 2628
Erscheinungsjahr
  • 73
  • 955
  • 1018
  • 1060
  • 784
  • 656
  • 392
  • 426
  • 434
  • 422
  • 397
  • 427
  • 445
  • 424
  • 470
  • 412
  • 405
  • 368
  • 254
  • 236
  • 267
  • 272
  • 241
  • 435
  • 483
  • 260
  • 260
  • 181
  • 180
  • 145
  • 145
  • 137
  • 121
  • 114
  • 96
  • 74
  • 86
  • 56
  • 59
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 10
  • 6
  • 10
  • 31
  • 13
  • 9
  • 6
  • 10
  • 8
  • 6
  • 23
  • 9
  • 26
  • 7
  • 9
  • 6
  • 9
  • 7
  • 8
  • 7
  • 15
  • 40
  • 44
  • 59
  • 7
  • 6
  • 8
  • 6
  • 21
  • 6
  • 25
  • 14
  • 7
  • 7
  • 8
  • 58
  • 14
  • 6
  • 6
  • 6
  • 7
  • 6
  • 6
  • 15
  • 8
  • 49
  • 10
  • 30
  • 10
  • 12
  • 11
  • 10
  • 6
  • 6
  • 13
  • 7
  • 9
  • 27
  • 6
  • 11
  • 22
  • 13
  • 11
  • 10
  • 31
  • 17
  • 10
  • 6
  • 48
  • 9
  • 28
  • 22
  • 8
  • 10
  • 10
  • 9
  • 8
  • 9
  • 6
  • 8
  • 8
  • 11
  • 18
  • 13
  • 7
  • 15
  • 11
  • 8
  • 15
  • 6
  • 6
  • 7
  • 10
  • 58
  • 25
  • 7
  • 6
  • 6
  • 8
  • 19
  • 8
  • 8
  • 7
  • 16
  • 10
  • 6
  • 9
  • 17
  • 10
  • 9
  • 8
  • 31
  • 7
  • 17
  • 6
  • 8
  • 9
  • 6
  • 6
  • 17
  • 6
  • 9
  • 6
  • 8
  • 7
  • 15
  • 6
  • 7
  • 41
  • 6
  • 19
  • 48
  • 15
  • 11
  • 20
  • 24
  • 15
  • 53
  • 15
  • 46
  • 10
  • 17
  • 8
  • 6
  • 8
  • 8
  • 6
  • 13
  • 12
  • 7
  • 16
  • 7
  • 16
  • 6
  • 58
  • 6
  • 10
  • 13
  • 14
  • 13
  • 10
  • 6
  • 9
  • 7
  • 11
  • 11
  • 16
  • 6
  • 7
  • 6
  • 7
  • 9
  • 21
  • 8
  • 8
  • 19
  • 8
  • 10
  • 10
  • 10
  • 7
  • 32
  • 30
  • 19
  • 32
  • 8
  • 13
  • 7
  • 11
  • 9
  • 7
  • 10
  • 8
  • 24
  • 12
  • 31
  • 7
  • 7
  • 7
  • 10
  • 12
  • 6
  • 10
  • 10
  • 6
  • 7
  • 6
  • 11
  • 20
  • 14
  • 7
  • 14
  • 12
  • 8
  • 10
  • 47
  • 49
  • 9
  • 53
  • 10
  • 12
  • 12
  • 6
  • 8
  • 42
  • 17
  • 6
  • 7
  • 12
  • 6
  • 6
  • 6
  • 7
  • 18
  • 6
  • 6
  • 12
  • 6
  • 10
  • 6
  • 12
  • 29
  • 19
  • 62
  • 97
  • 13
  • 7
  • 6
  • 21
  • 9
  • 13
  • 8
  • 8
  • 14
  • 6
  • 18
  • 6
  • 11
  • 13
  • 10
  • 11
  • 8
  • 7
  • 11
  • 6
  • 10
  • 27
  • 24
  • 8
  • 9
  • 12
  • 6
  • 20
  • 14
  • 6
  • 18
  • 23
  • 77
  • 48
  • 10
  • 11
  • 28
  • 9
  • 25
  • 33
  • 8
  • 132
  • 6
  • 7
  • 16
  • 11
  • 6
  • 10
  • 22
  • 7
  • 15
  • 13
  • 7
  • 6
  • 26
  • 14
  • 6
  • 6
  • 14
  • 6
  • 7
  • 11
  • 22
  • 6
  • 11
  • 7
  • 6
  • 6
  • 7
  • 8
  • 13
  • 6
  • 6
  • 50
  • 6
  • 16
  • 11
  • 7
  • 11
  • 10
  • 20
  • 7
  • 11
  • 9
  • 29
  • 58
  • 8
  • 9
  • 7
  • 10
  • 21
  • 6
  • 11
  • 11
  • 6
  • 8
  • 10
  • 22
  • 14
  • 22
  • 9
  • 7
  • 7
  • 6
  • 7
  • 12
  • 9
  • 123
  • 6
  • 6
  • 11
  • 8
  • 18
  • 6
  • 6
  • 9
  • 7
  • 7
  • 6
  • 9
  • 22
  • 7
  • 14
  • 6
  • 14
  • 7
  • 25
  • 13
  • 13
  • 12
  • 8
  • 7
  • 14
  • 26
  • 8
  • 17
  • 9
  • 7
  • 12
  • 15
  • 9
  • 6
  • 6
  • 7
  • 6
  • 14
  • 6
  • 9
  • 9
  • 6
  • 17
  • 7
  • 6
  • 10
  • 7
  • 6
  • 6
  • 17
  • 6
  • 10
  • 17
  • 7
  • 21
  • 9
  • 7
  • 13
  • 8
  • 45
  • 14
  • 8
  • 11
  • 29
  • 8
  • 6
  • 7
  • 22
  • 49
  • 8
  • 7
  • 8
  • 17
  • 22
  • 15
  • 41
  • 11
  • 9
  • 10
  • 7
  • 6
  • 8
  • 8
  • 21
  • 7
  • 7
  • 15
  • 6
  • 23
  • 46
  • 7
  • 19
  • 10
  • 8
  • 23
  • 9
  • 9
  • 6
  • 21
  • 9
  • 7
  • 27
  • 6
  • 97
  • 6
  • 15
  • 28
  • 62
  • 13
  • 6
  • 8
  • 7
  • 7
  • 11
  • 7
  • 9
  • 7
  • 13
  • 6
  • 13
  • 13
  • 8
  • 7
  • 10
  • 14
  • 7
  • 9
  • 6
  • 6
  • 22
  • 7
  • 116
  • 6
  • 18
  • 7
  • 54
  • 8
  • 8
  • 8
  • 16
  • 13
  • 15
  • 8
  • 7
  • 12
  • 19
  • 15
  • 13
  • 9
  • 6
  • 36
  • 7
  • 7
  • 13
  • 16
  • 23
  • 6
  • 25
  • 6
  • 6
  • 34
  • 10
  • 7
  • 6
  • 10
  • 6
  • 95
  • 13
  • 23
  • 9
  • 8
  • 7
  • 17
  • 28
  • 10
  • 9
  • 12
  • 9
  • 6
  • 7
  • 12
  • 40
  • 12
  • 6
  • 12
  • 7
  • 33
  • 7
  • 7
  • 8
  • 15
  • 16
  • 8
  • 14
  • 8
  • 6
  • 21
  • 22
  • 19
  • 20
  • 22
  • 10
  • 6
  • 97
  • 13
  • 13
  • 12
  • 8
  • 36
  • 13
  • 10
  • 11
  • 38
  • 40
  • 6
  • 7
  • 8
  • 7
  • 11
  • 15
  • 7
  • 31
  • 6
  • 10
  • 7
  • 7
  • 10
  • 9
  • 8
  • 6
  • 8
  • 13
  • 6
  • 15
  • 29
  • 13
  • 14
  • 14
  • 14
  • 13
  • 9
  • 11
  • 17
  • 6
  • 7
  • 8
  • 52
  • 6
  • 16
  • 12
  • 7
  • 8
  • 6
  • 9
  • 8
  • 7
  • 8
  • 7
  • 10
  • 23
  • 7
  • 7
  • 6
  • 13
  • 9
  • 6
  • 8
  • 6
  • 9
  • 8
  • 122
  • 6
  • 9
  • 9
  • 6
  • 7
  • 7
  • 14
  • 19
  • 14
  • 8
  • 7
  • 13
  • 13
  • 7
  • 6
  • 61
  • 11
  • 26
  • 12
  • 13
  • 7
  • 6
  • 6
  • 20
  • 6
  • 26
  • 31
  • 19
  • 6
  • 6
  • 7
  • 12
  • 10
  • 6
  • 7
  • 7
  • 7
  • 18
  • 6
  • 8
  • 11
  • 6
  • 12
  • 6
  • 9
  • 11
  • 57
  • 9
  • 6
  • 21
  • 10
  • 6
  • 49
  • 16
  • 6
  • 6
  • 11
  • 11
  • 15
  • 24
  • 6
  • 21
  • 22
  • 22
  • 9
  • 15
  • 6
  • 7
  • 11
  • 32
  • 10
  • 7
  • 16
  • 7
  • 7
  • 8
  • 6
  • 24
  • 7
  • 12
  • 6
  • 21
  • 15
  • 7
  • 6
  • 16
  • 8
  • 17
  • 8
  • 17
  • 8
  • 22
  • 7
  • 11
  • 31
  • 10
  • 12
  • 7
  • 12
  • 8
  • 8
  • 48
  • 16
  • 11
  • 6
  • 8
  • 6
  • 10
  • 6
  • 19
  • 10
  • 9
  • 8
  • 8
  • 6
  • 9
  • 12
  • 16
  • 37
  • 9
  • 15
  • 10
  • 8
  • 46
  • 6
  • 7
  • 11
  • 10
  • 12
  • 11
  • 7
  • 114
  • 10
  • 10
  • 7
  • 39
  • 22
  • 7
  • 97
  • 8
  • 30
  • 11
  • 9
  • 8
  • 17
  • 25
  • 23
  • 9
  • 10
  • 116
  • 51
  • 13
  • 11
  • 17
  • 113
  • 28
  • 7
  • 7
  • 23
  • 11
  • 12
  • 7
  • 7
  • 13
  • 18
  • 23
  • 8
  • 7
  • 8
  • 9
  • 7
  • 7
  • 14
  • 8
  • 114
  • 9
  • 8
  • 26
  • 7
  • 13
  • 13
  • 7
  • 100
  • 13
  • 19
  • 21
  • 9
  • 15
  • 12
  • 7
  • 14
  • 17
  • 13
  • 9
  • 22
  • 21
  • 9
  • 10
  • 12
  • 15
  • 9
  • 19
  • 10
  • 33
  • 10
  • 9
  • 8
  • 12
  • 9
  • 17
  • 12
  • 13
  • 7
  • 21
  • 8
  • 17
  • 25
  • 32
  • 7
  • 8
  • 8
  • 11
  • 25
  • 16
  • 7
  • 7
  • 17
  • 7
  • 8
  • 44
  • 18
  • 7
  • 9
  • 8
  • 10
  • 7
  • 19
  • 10
  • 54
  • 9
  • 63
  • 12
  • 9
  • 16
  • 8
  • 13
  • 13
  • 8
  • 15
  • 30
  • 7
  • 23
  • 16
  • 19
  • 23
  • 28
  • 12
  • 8
  • 14
  • 32
  • 19
  • 33
  • 84
  • 14
  • 22
  • 29
  • 9
  • 13
  • 7
  • 8
  • 27
  • 22
  • 19
  • 7
  • 10
  • 9
  • 8
  • 25
  • 15
  • 79
  • 101
  • 31
  • 17
  • 11
  • 8
  • 16
  • 18
  • 11
  • 13
  • 21
  • 7
  • 10
  • 7
  • 18
  • 20
  • 15
  • 12
  • 9
  • 113
  • 13
  • 7
  • 24
  • 11
  • 23
  • 8
  • 11
  • 14
  • 10
  • 10
  • 35
  • 11
  • 8
  • 10
  • 7
  • 12
  • 27
  • 9
  • 10
  • 45
  • 9
  • 18
  • 7
  • 21
  • 18
  • 11
  • 8
  • 12
  • 28
  • 14
  • 14
  • 11
  • 12
  • 11
  • 17
  • 12
  • 9
  • 23
  • 15
  • 8
  • 14
  • 10
  • 21
  • 33
  • 9
  • 15
  • 27
  • 24
  • 10
  • 15
  • 12
  • 23
  • 8
  • 61
  • 10
  • 36
  • 30
  • 52
  • 49
  • 80
  • 55
  • 16
  • 8
  • 9
  • 25
  • 39
  • 8
  • 33
  • 24
  • 28
  • 11
  • 9
  • 12
  • 9
  • 11
  • 25
Verlag
  • 7
  • 12065
  • 23
  • 1656
  • 2
  • 3
  • 41
  • 5
  • 151
  • 1
  • 1
  • 13
  • 33
Preis
  • 47
  • 524
  • 10930
  • 2500
Sprachen
  • 13993
  • 20
  • 15
  • 1
Verfügbarkeit
  • 13709
  • 292
Eigenschaften
  • 42
Katalog
  • 14001
  • 594
14.001  Treffer  für „Lecture Notes in Computer Science“
    Jatowt / Lim / Ding | Social Informatics | eBook | Sack Fachmedien
    E-Book

    Jatowt / Lim / Ding Social Informatics

    5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03260-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Baldoni / Chopra / Son | PRIMA 2016: Principles and Practice of Multi-Agent Systems | Buch | Sack Fachmedien

    Baldoni / Chopra / Son PRIMA 2016: Principles and Practice of Multi-Agent Systems

    19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44831-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov | Large-Scale Scientific Computing | eBook | Sack Fachmedien
    E-Book

    Lirkov / Margenov Large-Scale Scientific Computing

    13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-97549-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Paskevich / Wies | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Paskevich / Wies Verified Software. Theories, Tools, and Experiments

    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-72307-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camenisch / Papadimitratos | Cryptology and Network Security | Buch | Sack Fachmedien

    Camenisch / Papadimitratos Cryptology and Network Security

    17th International Conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00433-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    He / Shao / Tan | Network and Parallel Computing | Buch | Sack Fachmedien

    He / Shao / Tan Network and Parallel Computing

    17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-79477-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freund / Ishdorj / Rozenberg | Membrane Computing | Buch | Sack Fachmedien

    Freund / Ishdorj / Rozenberg Membrane Computing

    21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-77101-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zaphiris / Ioannou | Learning and Collaboration Technologies: Games and Virtual Environments for Learning | Buch | Sack Fachmedien

    Zaphiris / Ioannou Learning and Collaboration Technologies: Games and Virtual Environments for Learning

    8th International Conference, LCT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-77942-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martín-Vide / Vega-Rodríguez / Wheeler | Algorithms for Computational Biology | Buch | Sack Fachmedien

    Martín-Vide / Vega-Rodríguez / Wheeler Algorithms for Computational Biology

    8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7-11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-74431-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garay | Public-Key Cryptography - PKC 2021 | Buch | Sack Fachmedien

    Garay Public-Key Cryptography - PKC 2021

    24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-75247-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calvaresi / Najjar / Winikoff | Explainable and Transparent AI and Multi-Agent Systems | Buch | Sack Fachmedien

    Calvaresi / Najjar / Winikoff Explainable and Transparent AI and Multi-Agent Systems

    Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-82016-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowles / Broccia / Nanni | From Data to Models and Back | Buch | Sack Fachmedien

    Bowles / Broccia / Nanni From Data to Models and Back

    9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-70649-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Métais / Meziane / Saraee | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Métais / Meziane / Saraee Natural Language Processing and Information Systems

    21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41753-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusácek / Corbalán / Rodrigo | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Klusácek / Corbalán / Rodrigo Job Scheduling Strategies for Parallel Processing

    28th International Workshop, JSSPP 2025, Milan, Italy, June 3-4, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-10506-6
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ernst / Rozier | Model Checking Software | Buch | Sack Fachmedien

    Ernst / Rozier Model Checking Software

    31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06846-0
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Kozen / de Queiroz Logic, Language, Information, and Computation

    31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99535-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Yu / Bellahsene | Database and XML Technologies | eBook | Sack Fachmedien
    E-Book

    Lee / Yu / Bellahsene Database and XML Technologies

    7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15684-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lee / Mariani / Minker | Spoken Dialogue Systems for Ambient Environments | eBook | Sack Fachmedien
    E-Book

    Lee / Mariani / Minker Spoken Dialogue Systems for Ambient Environments

    Second International Workshop, IWSDS 2010, Gotemba, Shizuoka, Japan, October 1-2, 2010. Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16202-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ober | SDL 2011: Integrating System and Software Modeling | eBook | Sack Fachmedien
    E-Book

    Ober SDL 2011: Integrating System and Software Modeling

    15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-25264-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bechet / Dikovsky | Logical Aspects of Computational Linguistics | eBook | Sack Fachmedien
    E-Book

    Bechet / Dikovsky Logical Aspects of Computational Linguistics

    7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31262-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Domenach / Ignatov / Poelmans | Formal Concept Analysis | eBook | Sack Fachmedien
    E-Book

    Domenach / Ignatov / Poelmans Formal Concept Analysis

    10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-29892-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Klein / Gamboa | Interactive Theorem Proving | eBook | Sack Fachmedien
    E-Book

    Klein / Gamboa Interactive Theorem Proving

    5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08970-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ouaknine / Potapov / Worrell | Reachability Problems | eBook | Sack Fachmedien
    E-Book

    Ouaknine / Potapov / Worrell Reachability Problems

    8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11439-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Morzy / Haerder / Wrembel | Advances on Databases and Information Systems | eBook | Sack Fachmedien
    E-Book

    Morzy / Haerder / Wrembel Advances on Databases and Information Systems

    16th East European Conference, ADBIS 2012, Poznan, Poland, September 18-21, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-33074-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Nguyen | Transactions on Computational Collective Intelligence XI | eBook | Sack Fachmedien
    E-Book

    Nguyen Transactions on Computational Collective Intelligence XI

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41776-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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