Ergebnisse filtern
Fachgebiet
Medium
  • 10746
  • 2616
Erscheinungsjahr
  • 341
  • 1033
  • 1055
  • 802
  • 634
  • 390
  • 404
  • 435
  • 418
  • 419
  • 429
  • 440
  • 395
  • 442
  • 444
  • 408
  • 368
  • 277
  • 237
  • 283
  • 285
  • 224
  • 441
  • 548
  • 261
  • 251
  • 179
  • 172
  • 134
  • 138
  • 135
  • 122
  • 112
  • 97
  • 74
  • 84
  • 57
  • 61
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 6
  • 7
  • 10
  • 6
  • 13
  • 11
  • 8
  • 6
  • 6
  • 11
  • 12
  • 9
  • 6
  • 20
  • 9
  • 22
  • 7
  • 10
  • 8
  • 10
  • 10
  • 10
  • 13
  • 31
  • 52
  • 7
  • 49
  • 7
  • 7
  • 6
  • 6
  • 19
  • 17
  • 12
  • 6
  • 46
  • 6
  • 6
  • 6
  • 7
  • 10
  • 18
  • 7
  • 8
  • 8
  • 6
  • 9
  • 9
  • 7
  • 7
  • 7
  • 10
  • 11
  • 6
  • 20
  • 9
  • 6
  • 6
  • 20
  • 7
  • 6
  • 8
  • 6
  • 20
  • 12
  • 11
  • 7
  • 57
  • 6
  • 18
  • 13
  • 7
  • 9
  • 11
  • 9
  • 9
  • 8
  • 6
  • 8
  • 10
  • 7
  • 8
  • 15
  • 14
  • 8
  • 18
  • 12
  • 16
  • 7
  • 7
  • 7
  • 46
  • 15
  • 8
  • 7
  • 7
  • 12
  • 19
  • 7
  • 11
  • 11
  • 13
  • 7
  • 7
  • 17
  • 11
  • 10
  • 25
  • 7
  • 18
  • 14
  • 13
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 12
  • 61
  • 7
  • 13
  • 9
  • 20
  • 20
  • 11
  • 7
  • 26
  • 9
  • 49
  • 11
  • 15
  • 12
  • 9
  • 11
  • 8
  • 17
  • 6
  • 11
  • 15
  • 10
  • 9
  • 46
  • 7
  • 12
  • 11
  • 18
  • 8
  • 9
  • 7
  • 11
  • 12
  • 7
  • 8
  • 7
  • 6
  • 8
  • 24
  • 13
  • 7
  • 20
  • 11
  • 10
  • 6
  • 8
  • 22
  • 22
  • 8
  • 7
  • 6
  • 12
  • 9
  • 16
  • 25
  • 9
  • 9
  • 8
  • 6
  • 6
  • 11
  • 7
  • 7
  • 7
  • 11
  • 8
  • 11
  • 21
  • 13
  • 7
  • 11
  • 11
  • 10
  • 53
  • 48
  • 10
  • 30
  • 8
  • 12
  • 20
  • 7
  • 28
  • 17
  • 7
  • 7
  • 8
  • 9
  • 8
  • 19
  • 7
  • 6
  • 7
  • 12
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 7
  • 19
  • 11
  • 7
  • 9
  • 11
  • 16
  • 25
  • 6
  • 9
  • 8
  • 7
  • 6
  • 11
  • 20
  • 14
  • 11
  • 6
  • 6
  • 6
  • 11
  • 9
  • 12
  • 15
  • 17
  • 68
  • 45
  • 8
  • 9
  • 28
  • 14
  • 22
  • 33
  • 6
  • 110
  • 6
  • 14
  • 10
  • 22
  • 7
  • 11
  • 9
  • 21
  • 16
  • 7
  • 8
  • 7
  • 6
  • 10
  • 21
  • 9
  • 15
  • 9
  • 8
  • 7
  • 7
  • 6
  • 8
  • 8
  • 15
  • 8
  • 6
  • 53
  • 12
  • 6
  • 10
  • 6
  • 7
  • 7
  • 20
  • 27
  • 8
  • 11
  • 7
  • 24
  • 46
  • 12
  • 9
  • 6
  • 15
  • 19
  • 15
  • 8
  • 7
  • 9
  • 6
  • 11
  • 6
  • 17
  • 19
  • 8
  • 6
  • 6
  • 10
  • 7
  • 83
  • 6
  • 13
  • 14
  • 8
  • 12
  • 7
  • 8
  • 8
  • 19
  • 6
  • 13
  • 12
  • 11
  • 24
  • 7
  • 9
  • 15
  • 10
  • 6
  • 15
  • 6
  • 7
  • 21
  • 19
  • 9
  • 6
  • 8
  • 13
  • 6
  • 9
  • 6
  • 17
  • 9
  • 7
  • 6
  • 10
  • 6
  • 18
  • 7
  • 8
  • 8
  • 7
  • 11
  • 13
  • 12
  • 16
  • 6
  • 8
  • 6
  • 9
  • 10
  • 7
  • 9
  • 8
  • 8
  • 37
  • 10
  • 16
  • 9
  • 6
  • 31
  • 8
  • 9
  • 6
  • 20
  • 42
  • 7
  • 6
  • 6
  • 11
  • 14
  • 19
  • 6
  • 9
  • 36
  • 13
  • 9
  • 6
  • 6
  • 9
  • 18
  • 6
  • 18
  • 7
  • 6
  • 29
  • 39
  • 22
  • 16
  • 8
  • 26
  • 7
  • 6
  • 7
  • 14
  • 9
  • 7
  • 34
  • 6
  • 6
  • 15
  • 37
  • 46
  • 7
  • 8
  • 7
  • 8
  • 9
  • 9
  • 20
  • 11
  • 6
  • 17
  • 7
  • 10
  • 7
  • 8
  • 8
  • 6
  • 7
  • 7
  • 7
  • 18
  • 8
  • 90
  • 30
  • 33
  • 18
  • 8
  • 22
  • 7
  • 6
  • 7
  • 8
  • 19
  • 8
  • 10
  • 7
  • 14
  • 19
  • 6
  • 19
  • 7
  • 7
  • 7
  • 7
  • 7
  • 11
  • 15
  • 7
  • 21
  • 7
  • 22
  • 8
  • 30
  • 11
  • 7
  • 7
  • 83
  • 12
  • 6
  • 22
  • 7
  • 8
  • 6
  • 6
  • 15
  • 28
  • 10
  • 15
  • 6
  • 12
  • 6
  • 13
  • 7
  • 10
  • 6
  • 22
  • 9
  • 6
  • 9
  • 28
  • 10
  • 7
  • 6
  • 15
  • 12
  • 17
  • 6
  • 6
  • 18
  • 20
  • 20
  • 13
  • 25
  • 8
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 36
  • 8
  • 9
  • 7
  • 44
  • 30
  • 6
  • 8
  • 8
  • 11
  • 10
  • 22
  • 10
  • 6
  • 7
  • 6
  • 10
  • 10
  • 11
  • 8
  • 9
  • 12
  • 7
  • 27
  • 10
  • 8
  • 6
  • 7
  • 12
  • 10
  • 12
  • 9
  • 16
  • 6
  • 6
  • 11
  • 7
  • 42
  • 7
  • 13
  • 11
  • 6
  • 10
  • 6
  • 6
  • 20
  • 6
  • 8
  • 15
  • 6
  • 7
  • 11
  • 6
  • 7
  • 10
  • 9
  • 102
  • 14
  • 8
  • 6
  • 10
  • 9
  • 18
  • 8
  • 10
  • 8
  • 7
  • 10
  • 14
  • 57
  • 15
  • 19
  • 7
  • 7
  • 16
  • 9
  • 12
  • 7
  • 6
  • 6
  • 8
  • 12
  • 6
  • 8
  • 7
  • 9
  • 9
  • 12
  • 8
  • 7
  • 8
  • 8
  • 11
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 6
  • 9
  • 6
  • 20
  • 15
  • 7
  • 7
  • 6
  • 6
  • 13
  • 7
  • 15
  • 17
  • 19
  • 9
  • 18
  • 10
  • 7
  • 11
  • 34
  • 12
  • 11
  • 10
  • 18
  • 8
  • 7
  • 24
  • 7
  • 13
  • 17
  • 6
  • 17
  • 6
  • 6
  • 13
  • 11
  • 6
  • 18
  • 8
  • 18
  • 8
  • 9
  • 19
  • 9
  • 25
  • 9
  • 10
  • 10
  • 12
  • 13
  • 7
  • 6
  • 13
  • 15
  • 10
  • 7
  • 7
  • 6
  • 7
  • 7
  • 20
  • 6
  • 7
  • 10
  • 7
  • 8
  • 8
  • 16
  • 31
  • 7
  • 17
  • 8
  • 8
  • 23
  • 12
  • 10
  • 12
  • 11
  • 122
  • 7
  • 6
  • 9
  • 12
  • 7
  • 30
  • 14
  • 9
  • 9
  • 22
  • 13
  • 9
  • 11
  • 13
  • 10
  • 28
  • 7
  • 123
  • 7
  • 6
  • 55
  • 14
  • 11
  • 12
  • 120
  • 31
  • 15
  • 8
  • 13
  • 8
  • 13
  • 6
  • 15
  • 17
  • 14
  • 10
  • 7
  • 6
  • 6
  • 10
  • 11
  • 12
  • 8
  • 120
  • 10
  • 11
  • 31
  • 12
  • 20
  • 9
  • 6
  • 12
  • 6
  • 27
  • 16
  • 6
  • 10
  • 10
  • 8
  • 10
  • 7
  • 12
  • 10
  • 29
  • 9
  • 7
  • 7
  • 15
  • 6
  • 6
  • 9
  • 12
  • 17
  • 6
  • 6
  • 34
  • 11
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 12
  • 8
  • 11
  • 12
  • 20
  • 8
  • 22
  • 29
  • 27
  • 9
  • 11
  • 9
  • 25
  • 10
  • 12
  • 11
  • 16
  • 13
  • 6
  • 6
  • 6
  • 12
  • 11
  • 9
  • 49
  • 9
  • 43
  • 7
  • 11
  • 10
  • 11
  • 11
  • 13
  • 11
  • 26
  • 7
  • 9
  • 8
  • 10
  • 12
  • 12
  • 22
  • 8
  • 23
  • 35
  • 6
  • 9
  • 16
  • 27
  • 16
  • 18
  • 33
  • 71
  • 13
  • 21
  • 22
  • 10
  • 15
  • 8
  • 10
  • 6
  • 20
  • 24
  • 19
  • 6
  • 12
  • 9
  • 7
  • 12
  • 66
  • 6
  • 25
  • 15
  • 12
  • 9
  • 17
  • 19
  • 9
  • 10
  • 17
  • 7
  • 16
  • 6
  • 14
  • 8
  • 16
  • 15
  • 8
  • 12
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 19
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 17
  • 13
  • 6
  • 11
  • 43
  • 7
  • 12
  • 7
  • 7
  • 18
  • 9
  • 17
  • 25
  • 13
  • 14
  • 27
  • 9
  • 8
  • 7
  • 6
  • 20
  • 8
  • 22
  • 8
  • 13
  • 8
  • 11
  • 9
  • 8
  • 12
  • 10
  • 9
  • 7
  • 33
  • 8
  • 17
  • 9
  • 13
  • 7
  • 7
  • 10
  • 8
  • 9
  • 7
  • 10
  • 7
  • 18
  • 13
  • 11
  • 6
  • 7
  • 21
  • 18
  • 7
  • 6
  • 6
  • 7
  • 17
  • 11
  • 30
  • 15
  • 8
  • 6
  • 20
  • 6
  • 6
  • 30
  • 8
  • 12
  • 6
  • 9
  • 14
  • 9
  • 6
  • 7
  • 21
  • 7
  • 9
  • 8
  • 64
  • 13
  • 6
  • 10
  • 28
  • 7
  • 7
  • 7
  • 59
  • 20
  • 81
  • 8
  • 23
  • 8
  • 14
  • 8
  • 7
  • 6
  • 9
  • 39
  • 7
  • 9
  • 8
  • 23
  • 23
  • 23
  • 11
  • 10
  • 11
  • 6
  • 14
  • 7
  • 18
  • 6
  • 6
  • 7
  • 30
Verlag
  • 3
  • 11563
  • 31
  • 1573
  • 1
  • 1
  • 11
  • 3
  • 3
  • 133
  • 1
  • 1
  • 38
Preis
  • 47
  • 481
  • 10554
  • 2280
Sprachen
  • 13354
  • 19
  • 15
Verfügbarkeit
  • 13352
  • 10
Eigenschaften
  • 24
Katalog
  • 13362
  • 553
13.362  Treffer  für „Lecture Notes in Computer Science“
    Katoen / Langerak / Rensink | ModelEd, TestEd, TrustEd | Buch | Sack Fachmedien

    Katoen / Langerak / Rensink ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68269-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rios / Posegga | Security and Trust Management | Buch | Sack Fachmedien

    Rios / Posegga Security and Trust Management

    19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47197-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brlek / Dolce / Reutenauer | Combinatorics on Words | eBook | Sack Fachmedien
    E-Book

    Brlek / Dolce / Reutenauer Combinatorics on Words

    11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66396-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Even / Rawitz | Design and Analysis of Algorithms | Buch | Sack Fachmedien

    Even / Rawitz Design and Analysis of Algorithms

    First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34861-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Automated Deduction - CADE-18 | Buch | Sack Fachmedien

    Voronkov Automated Deduction - CADE-18

    18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43931-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Premaratne / Jin | Advanced Intelligent Computing Technology and Applications | Buch | Sack Fachmedien

    Huang / Premaratne / Jin Advanced Intelligent Computing Technology and Applications

    19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-981-99-4754-6
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Premaratne / Jin | Advanced Intelligent Computing Technology and Applications | Buch | Sack Fachmedien

    Huang / Premaratne / Jin Advanced Intelligent Computing Technology and Applications

    19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-981-99-4760-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen | Transactions on Computational Collective Intelligence XIV | Buch | Sack Fachmedien

    Nguyen Transactions on Computational Collective Intelligence XIV

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44508-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naldi / Bianchi | Intelligent Systems | Buch | Sack Fachmedien

    Naldi / Bianchi Intelligent Systems

    12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45391-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen | Transactions on Computational Collective Intelligence XVIII | Buch | Sack Fachmedien

    Nguyen Transactions on Computational Collective Intelligence XVIII

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48144-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Kowalczyk / Mercik | Transactions on Computational Collective Intelligence XXIII | Buch | Sack Fachmedien

    Nguyen / Kowalczyk / Mercik Transactions on Computational Collective Intelligence XXIII

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-52885-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Kim / Furuhashi | Simulated Evolution and Learning | Buch | Sack Fachmedien

    Yao / Kim / Furuhashi Simulated Evolution and Learning

    First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers.
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63399-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kawano / Mosca | Theory of Quantum Computation, Communication, and Cryptography | Buch | Sack Fachmedien

    Kawano / Mosca Theory of Quantum Computation, Communication, and Cryptography

    Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89303-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spirakis | Algorithms - ESA '95 | Buch | Sack Fachmedien

    Spirakis Algorithms - ESA '95

    Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60313-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Han | Advanced Intelligent Computing Theories and Applications | Buch | Sack Fachmedien

    Huang / Han Advanced Intelligent Computing Theories and Applications

    11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22052-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Houstis / Papatheodorou / Polychronopoulos | Supercomputing | Buch | Sack Fachmedien

    Houstis / Papatheodorou / Polychronopoulos Supercomputing

    1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18991-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Park / Arabnia / Kim | Grid and Pervasive Computing | Buch | Sack Fachmedien

    Park / Arabnia / Kim Grid and Pervasive Computing

    8th International Conference, GPC 2013, and Colocated Workshops, Seoul, Korea, May 9-11, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38026-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaynak / Alpaydin / Oja | Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003 | Buch | Sack Fachmedien

    Kaynak / Alpaydin / Oja Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003

    Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40408-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedijk | The Seventeen Provers of the World | Buch | Sack Fachmedien

    Wiedijk The Seventeen Provers of the World

    Foreword by Dana S. Scott
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-30704-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bononi / DATTA / Devismes | Distributed Computing and Networking | Buch | Sack Fachmedien

    Bononi / DATTA / Devismes Distributed Computing and Networking

    13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25958-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen | Transactions on Computational Collective Intelligence XII | Buch | Sack Fachmedien

    Nguyen Transactions on Computational Collective Intelligence XII

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-53877-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meiselwitz | Social Computing and Social Media. Technologies and Analytics | Buch | Sack Fachmedien

    Meiselwitz Social Computing and Social Media. Technologies and Analytics

    10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91484-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ozok / Zaphiris | Online Communities and Social Computing | Buch | Sack Fachmedien

    Ozok / Zaphiris Online Communities and Social Computing

    4th International Conference, OCSC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21795-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulson | Isabelle | Buch | Sack Fachmedien

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen | Transactions on Computational Collective Intelligence VIII | Buch | Sack Fachmedien

    Nguyen Transactions on Computational Collective Intelligence VIII

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34644-6
    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