Ergebnisse filtern
Fachgebiet
Medium
  • 10728
  • 2653
Erscheinungsjahr
  • 328
  • 1020
  • 1056
  • 802
  • 630
  • 398
  • 406
  • 439
  • 415
  • 422
  • 424
  • 440
  • 398
  • 439
  • 442
  • 398
  • 366
  • 276
  • 242
  • 275
  • 291
  • 223
  • 447
  • 590
  • 261
  • 252
  • 179
  • 174
  • 135
  • 136
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 6
  • 8
  • 7
  • 13
  • 11
  • 8
  • 11
  • 12
  • 11
  • 20
  • 9
  • 23
  • 7
  • 10
  • 6
  • 8
  • 10
  • 11
  • 6
  • 13
  • 31
  • 52
  • 7
  • 49
  • 7
  • 7
  • 6
  • 6
  • 19
  • 17
  • 12
  • 6
  • 46
  • 6
  • 6
  • 7
  • 10
  • 6
  • 18
  • 7
  • 6
  • 8
  • 8
  • 6
  • 9
  • 9
  • 7
  • 6
  • 7
  • 10
  • 10
  • 6
  • 20
  • 7
  • 6
  • 9
  • 21
  • 12
  • 8
  • 8
  • 19
  • 12
  • 11
  • 7
  • 57
  • 19
  • 13
  • 7
  • 9
  • 11
  • 10
  • 7
  • 8
  • 6
  • 7
  • 10
  • 9
  • 8
  • 15
  • 15
  • 18
  • 12
  • 16
  • 7
  • 8
  • 6
  • 46
  • 15
  • 9
  • 7
  • 7
  • 10
  • 19
  • 7
  • 11
  • 12
  • 13
  • 7
  • 7
  • 17
  • 11
  • 9
  • 25
  • 6
  • 17
  • 6
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 8
  • 49
  • 14
  • 61
  • 7
  • 13
  • 9
  • 20
  • 20
  • 11
  • 7
  • 25
  • 9
  • 49
  • 11
  • 15
  • 13
  • 9
  • 11
  • 8
  • 17
  • 6
  • 9
  • 15
  • 10
  • 11
  • 46
  • 9
  • 12
  • 11
  • 17
  • 8
  • 10
  • 7
  • 16
  • 12
  • 7
  • 8
  • 7
  • 6
  • 8
  • 21
  • 12
  • 7
  • 20
  • 11
  • 7
  • 10
  • 6
  • 8
  • 22
  • 22
  • 8
  • 9
  • 6
  • 6
  • 12
  • 9
  • 16
  • 25
  • 9
  • 9
  • 7
  • 6
  • 11
  • 7
  • 7
  • 7
  • 7
  • 11
  • 6
  • 11
  • 22
  • 13
  • 7
  • 11
  • 11
  • 10
  • 55
  • 47
  • 8
  • 30
  • 7
  • 11
  • 21
  • 11
  • 26
  • 17
  • 7
  • 7
  • 8
  • 12
  • 8
  • 20
  • 7
  • 6
  • 7
  • 7
  • 11
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 9
  • 19
  • 11
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 8
  • 7
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 6
  • 6
  • 13
  • 9
  • 12
  • 16
  • 17
  • 68
  • 45
  • 11
  • 9
  • 28
  • 13
  • 22
  • 33
  • 110
  • 7
  • 14
  • 10
  • 6
  • 8
  • 6
  • 22
  • 8
  • 9
  • 23
  • 16
  • 7
  • 8
  • 7
  • 6
  • 10
  • 21
  • 9
  • 15
  • 9
  • 8
  • 8
  • 6
  • 8
  • 15
  • 7
  • 52
  • 6
  • 12
  • 6
  • 10
  • 7
  • 7
  • 18
  • 27
  • 8
  • 11
  • 7
  • 25
  • 46
  • 11
  • 7
  • 6
  • 14
  • 19
  • 15
  • 8
  • 7
  • 9
  • 6
  • 9
  • 6
  • 11
  • 19
  • 10
  • 6
  • 6
  • 10
  • 7
  • 84
  • 6
  • 14
  • 14
  • 8
  • 10
  • 7
  • 8
  • 8
  • 19
  • 6
  • 12
  • 12
  • 11
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 14
  • 6
  • 7
  • 21
  • 17
  • 7
  • 6
  • 6
  • 8
  • 13
  • 6
  • 9
  • 6
  • 17
  • 9
  • 7
  • 6
  • 13
  • 6
  • 18
  • 7
  • 8
  • 7
  • 11
  • 6
  • 13
  • 12
  • 16
  • 6
  • 8
  • 6
  • 9
  • 10
  • 10
  • 7
  • 7
  • 8
  • 37
  • 6
  • 10
  • 17
  • 6
  • 9
  • 6
  • 30
  • 8
  • 9
  • 6
  • 20
  • 46
  • 7
  • 6
  • 6
  • 11
  • 14
  • 19
  • 6
  • 35
  • 6
  • 14
  • 9
  • 6
  • 7
  • 18
  • 6
  • 18
  • 6
  • 6
  • 27
  • 43
  • 22
  • 14
  • 8
  • 28
  • 7
  • 6
  • 7
  • 14
  • 9
  • 7
  • 34
  • 6
  • 6
  • 15
  • 36
  • 47
  • 6
  • 8
  • 9
  • 8
  • 9
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 6
  • 8
  • 8
  • 6
  • 7
  • 9
  • 6
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 18
  • 8
  • 6
  • 23
  • 7
  • 6
  • 7
  • 8
  • 19
  • 8
  • 10
  • 7
  • 13
  • 18
  • 6
  • 19
  • 7
  • 9
  • 7
  • 7
  • 7
  • 7
  • 11
  • 15
  • 7
  • 21
  • 7
  • 22
  • 6
  • 29
  • 9
  • 11
  • 7
  • 7
  • 83
  • 8
  • 6
  • 22
  • 7
  • 9
  • 6
  • 6
  • 15
  • 28
  • 10
  • 15
  • 6
  • 12
  • 6
  • 12
  • 7
  • 10
  • 6
  • 22
  • 9
  • 6
  • 9
  • 28
  • 10
  • 7
  • 6
  • 13
  • 15
  • 17
  • 6
  • 19
  • 22
  • 20
  • 13
  • 26
  • 7
  • 8
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 34
  • 8
  • 9
  • 7
  • 44
  • 33
  • 6
  • 8
  • 6
  • 9
  • 10
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 10
  • 12
  • 8
  • 9
  • 12
  • 7
  • 27
  • 8
  • 8
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 16
  • 6
  • 6
  • 10
  • 7
  • 42
  • 7
  • 13
  • 13
  • 6
  • 6
  • 6
  • 8
  • 6
  • 20
  • 6
  • 6
  • 8
  • 15
  • 6
  • 7
  • 10
  • 7
  • 7
  • 9
  • 9
  • 102
  • 14
  • 8
  • 8
  • 10
  • 7
  • 9
  • 20
  • 8
  • 10
  • 7
  • 7
  • 10
  • 14
  • 58
  • 16
  • 6
  • 21
  • 6
  • 7
  • 16
  • 9
  • 12
  • 7
  • 6
  • 6
  • 8
  • 12
  • 6
  • 8
  • 7
  • 9
  • 9
  • 11
  • 8
  • 7
  • 8
  • 10
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 6
  • 9
  • 6
  • 20
  • 15
  • 7
  • 7
  • 6
  • 6
  • 13
  • 7
  • 17
  • 16
  • 19
  • 9
  • 18
  • 9
  • 7
  • 11
  • 34
  • 12
  • 11
  • 10
  • 17
  • 8
  • 6
  • 7
  • 24
  • 6
  • 13
  • 17
  • 17
  • 6
  • 6
  • 13
  • 11
  • 6
  • 18
  • 8
  • 18
  • 8
  • 9
  • 21
  • 9
  • 25
  • 9
  • 10
  • 6
  • 12
  • 6
  • 15
  • 7
  • 6
  • 13
  • 17
  • 10
  • 10
  • 7
  • 6
  • 7
  • 7
  • 20
  • 6
  • 9
  • 10
  • 7
  • 8
  • 8
  • 14
  • 31
  • 7
  • 17
  • 8
  • 7
  • 11
  • 23
  • 8
  • 10
  • 12
  • 11
  • 6
  • 122
  • 7
  • 9
  • 10
  • 7
  • 30
  • 14
  • 9
  • 8
  • 23
  • 11
  • 9
  • 11
  • 14
  • 10
  • 28
  • 8
  • 123
  • 6
  • 57
  • 14
  • 13
  • 12
  • 120
  • 30
  • 15
  • 8
  • 13
  • 8
  • 13
  • 6
  • 15
  • 16
  • 14
  • 12
  • 7
  • 7
  • 6
  • 6
  • 10
  • 11
  • 12
  • 13
  • 120
  • 10
  • 15
  • 28
  • 12
  • 19
  • 11
  • 6
  • 12
  • 6
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 10
  • 7
  • 7
  • 14
  • 6
  • 6
  • 6
  • 7
  • 12
  • 17
  • 6
  • 34
  • 11
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 11
  • 8
  • 11
  • 11
  • 18
  • 8
  • 20
  • 40
  • 16
  • 9
  • 11
  • 10
  • 25
  • 10
  • 12
  • 10
  • 6
  • 16
  • 12
  • 8
  • 12
  • 11
  • 8
  • 49
  • 9
  • 43
  • 7
  • 15
  • 10
  • 13
  • 9
  • 13
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 10
  • 12
  • 12
  • 22
  • 8
  • 23
  • 34
  • 6
  • 9
  • 15
  • 29
  • 15
  • 18
  • 33
  • 71
  • 13
  • 21
  • 22
  • 10
  • 15
  • 8
  • 8
  • 20
  • 23
  • 20
  • 6
  • 12
  • 9
  • 12
  • 73
  • 25
  • 15
  • 12
  • 9
  • 17
  • 19
  • 9
  • 10
  • 17
  • 8
  • 17
  • 14
  • 8
  • 6
  • 16
  • 17
  • 10
  • 12
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 19
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 15
  • 11
  • 6
  • 12
  • 42
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 17
  • 25
  • 12
  • 14
  • 27
  • 9
  • 8
  • 7
  • 6
  • 20
  • 8
  • 23
  • 8
  • 13
  • 8
  • 8
  • 11
  • 9
  • 8
  • 11
  • 10
  • 8
  • 7
  • 33
  • 8
  • 17
  • 8
  • 13
  • 7
  • 7
  • 10
  • 8
  • 9
  • 7
  • 10
  • 7
  • 19
  • 13
  • 11
  • 7
  • 21
  • 17
  • 6
  • 7
  • 6
  • 7
  • 17
  • 11
  • 30
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 29
  • 8
  • 12
  • 6
  • 9
  • 14
  • 9
  • 6
  • 9
  • 21
  • 7
  • 9
  • 7
  • 8
  • 64
  • 16
  • 6
  • 7
  • 10
  • 28
  • 7
  • 58
  • 20
  • 81
  • 6
  • 21
  • 6
  • 11
  • 8
  • 7
  • 9
  • 39
  • 9
  • 7
  • 23
  • 22
  • 21
  • 11
  • 10
  • 6
  • 15
  • 15
  • 6
  • 29
Verlag
  • 3
  • 11575
  • 36
  • 1567
  • 1
  • 14
  • 6
  • 3
  • 134
  • 1
  • 1
  • 40
Preis
  • 47
  • 489
  • 10561
  • 2284
Sprachen
  • 13373
  • 19
  • 15
Verfügbarkeit
  • 13372
  • 9
Eigenschaften
  • 23
Katalog
  • 13381
  • 550
13.381  Treffer  für „Lecture Notes in Computer Science“
    de Boer / Bonsangue / Hallerstede | Formal Methods for Components and Objects | eBook | Sack Fachmedien
    E-Book

    de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects

    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-17071-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Holmes / Martín-Vide / Vega-Rodríguez | Algorithms for Computational Biology | eBook | Sack Fachmedien
    E-Book

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

    6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-18174-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Métais / Meziane / Vadera | Natural Language Processing and Information Systems | eBook | Sack Fachmedien
    E-Book

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

    24th International Conference on Applications of Natural Language to Information Systems, NLDB 2019, Salford, UK, June 26–28, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23281-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rothe | Algorithmic Decision Theory | eBook | Sack Fachmedien
    E-Book

    Rothe Algorithmic Decision Theory

    5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67504-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rauterberg | Culture and Computing | eBook | Sack Fachmedien
    E-Book

    Rauterberg Culture and Computing

    11th International Conference, C&C 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-34732-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    106,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leuschel / Ishikawa | Rigorous State-Based Methods | eBook | Sack Fachmedien
    E-Book

    Leuschel / Ishikawa Rigorous State-Based Methods

    11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-031-94533-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    128,39 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ma / Khreishah / Zhang | Wireless Algorithms, Systems, and Applications | eBook | Sack Fachmedien
    E-Book

    Ma / Khreishah / Zhang Wireless Algorithms, Systems, and Applications

    12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-60033-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bao / Yung / Lin | Information Security and Cryptology | eBook | Sack Fachmedien
    E-Book

    Bao / Yung / Lin Information Security and Cryptology

    5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16342-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aroyo / Antoniou / Hyvönen | The Semantic Web: Research and Applications | eBook | Sack Fachmedien
    E-Book

    Aroyo / Antoniou / Hyvönen The Semantic Web: Research and Applications

    7th European Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13489-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Durand-Lose / Verlan | Machines, Computations, and Universality | eBook | Sack Fachmedien
    E-Book

    Durand-Lose / Verlan Machines, Computations, and Universality

    8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92402-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sun / Pan / Bertino | Artificial Intelligence and Security | eBook | Sack Fachmedien
    E-Book

    Sun / Pan / Bertino Artificial Intelligence and Security

    5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-24265-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wagner / Li / Hendtlass | Artificial Life and Computational Intelligence | eBook | Sack Fachmedien
    E-Book

    Wagner / Li / Hendtlass Artificial Life and Computational Intelligence

    Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 – February 2, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-51691-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cheng / Eun / Qin | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Cheng / Eun / Qin Wireless Algorithms, Systems, and Applications

    6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23489-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geva / Kamps / Trotman | Comparative Evaluation of Focused Retrieval | Buch | Sack Fachmedien

    Geva / Kamps / Trotman Comparative Evaluation of Focused Retrieval

    9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vught, The Netherlands, December 13-15, 2010, The Netherlands, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23576-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goharshady / Haase | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Goharshady / Haase Dependable Software Engineering. Theories, Tools, and Applications

    11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-957825-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baratgin / Jacquet / Yama | Human and Artificial Rationalities | Buch | Sack Fachmedien

    Baratgin / Jacquet / Yama Human and Artificial Rationalities

    Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-55244-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dürrschnabel / López Rodríguez | Formal Concept Analysis | eBook | Sack Fachmedien
    E-Book

    Dürrschnabel / López Rodríguez Formal Concept Analysis

    17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-35949-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bordihn / Tran / Vaszil | Descriptional Complexity of Formal Systems | eBook | Sack Fachmedien
    E-Book

    Bordihn / Tran / Vaszil Descriptional Complexity of Formal Systems

    25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-34326-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    64,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Métais / Meziane / Sugumaran | Natural Language Processing and Information Systems | eBook | Sack Fachmedien
    E-Book

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

    28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, Derby, UK, June 21–23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-35320-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    D'Souza / Narayan Kumar | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    D'Souza / Narayan Kumar Automated Technology for Verification and Analysis

    15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68166-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Muñoz / Narkawicz | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Muñoz / Narkawicz NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-77934-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics

    11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-32148-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Heitmeyer / Gnesi | FM 2016: Formal Methods | Buch | Sack Fachmedien

    Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48988-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taniguchi / Leung / Kozuno | Neural Information Processing | eBook | Sack Fachmedien
    E-Book

    Taniguchi / Leung / Kozuno Neural Information Processing

    32nd International Conference, ICONIP 2025, Okinawa, Japan, November 20–24, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer Singapore
    ISBN: 978-981-954384-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aarts / Leeuwen / Rem | PARLE '91. Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Aarts / Leeuwen / Rem PARLE '91. Parallel Architectures and Languages Europe

    Volume I: Parallel Architectures and Algorithms. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54151-6
    Medium: Buch
    93,08 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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