Fachgebiet
Medium
  • 10644
  • 2703
Erscheinungsjahr
  • 161
  • 1010
  • 1054
  • 802
  • 668
  • 400
  • 400
  • 425
  • 407
  • 429
  • 437
  • 444
  • 400
  • 446
  • 451
  • 402
  • 416
  • 270
  • 249
  • 271
  • 303
  • 220
  • 475
  • 587
  • 263
  • 254
  • 182
  • 178
  • 133
  • 136
  • 137
  • 119
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 5
  • 5
  • 7
  • 5
  • 7
  • 5
  • 6
  • 10
  • 9
  • 5
  • 12
  • 11
  • 9
  • 6
  • 5
  • 8
  • 14
  • 10
  • 5
  • 17
  • 7
  • 28
  • 5
  • 12
  • 6
  • 5
  • 9
  • 11
  • 7
  • 8
  • 6
  • 13
  • 36
  • 52
  • 7
  • 61
  • 9
  • 9
  • 6
  • 6
  • 20
  • 20
  • 12
  • 7
  • 51
  • 6
  • 5
  • 7
  • 5
  • 7
  • 6
  • 8
  • 6
  • 7
  • 16
  • 9
  • 7
  • 6
  • 10
  • 6
  • 7
  • 7
  • 8
  • 7
  • 14
  • 6
  • 24
  • 20
  • 10
  • 9
  • 24
  • 9
  • 11
  • 7
  • 58
  • 8
  • 19
  • 15
  • 8
  • 15
  • 12
  • 10
  • 7
  • 7
  • 12
  • 6
  • 7
  • 12
  • 7
  • 8
  • 17
  • 6
  • 14
  • 22
  • 9
  • 21
  • 7
  • 7
  • 8
  • 51
  • 13
  • 8
  • 9
  • 7
  • 7
  • 19
  • 8
  • 8
  • 15
  • 15
  • 7
  • 18
  • 13
  • 9
  • 27
  • 6
  • 17
  • 6
  • 13
  • 13
  • 6
  • 12
  • 6
  • 17
  • 10
  • 49
  • 14
  • 58
  • 10
  • 10
  • 24
  • 18
  • 7
  • 11
  • 7
  • 10
  • 24
  • 8
  • 48
  • 12
  • 15
  • 9
  • 6
  • 7
  • 6
  • 8
  • 17
  • 12
  • 17
  • 6
  • 10
  • 9
  • 51
  • 11
  • 12
  • 13
  • 20
  • 6
  • 6
  • 7
  • 9
  • 7
  • 16
  • 13
  • 6
  • 8
  • 8
  • 21
  • 12
  • 11
  • 17
  • 9
  • 8
  • 8
  • 6
  • 14
  • 7
  • 22
  • 27
  • 8
  • 11
  • 7
  • 13
  • 6
  • 7
  • 18
  • 27
  • 9
  • 8
  • 6
  • 6
  • 8
  • 14
  • 7
  • 9
  • 7
  • 13
  • 21
  • 14
  • 6
  • 9
  • 13
  • 7
  • 49
  • 55
  • 10
  • 32
  • 6
  • 7
  • 6
  • 20
  • 8
  • 31
  • 16
  • 7
  • 8
  • 9
  • 22
  • 6
  • 8
  • 7
  • 7
  • 6
  • 9
  • 6
  • 36
  • 6
  • 20
  • 60
  • 15
  • 8
  • 6
  • 20
  • 8
  • 7
  • 11
  • 9
  • 15
  • 21
  • 6
  • 12
  • 9
  • 6
  • 7
  • 6
  • 11
  • 18
  • 13
  • 11
  • 8
  • 9
  • 7
  • 17
  • 9
  • 8
  • 6
  • 11
  • 15
  • 6
  • 6
  • 19
  • 77
  • 8
  • 6
  • 36
  • 6
  • 8
  • 36
  • 10
  • 20
  • 35
  • 7
  • 126
  • 6
  • 9
  • 14
  • 9
  • 10
  • 18
  • 10
  • 7
  • 21
  • 17
  • 6
  • 8
  • 12
  • 11
  • 6
  • 11
  • 18
  • 9
  • 8
  • 7
  • 6
  • 7
  • 14
  • 58
  • 6
  • 7
  • 7
  • 9
  • 7
  • 7
  • 8
  • 26
  • 14
  • 9
  • 12
  • 26
  • 51
  • 12
  • 8
  • 10
  • 18
  • 8
  • 13
  • 8
  • 7
  • 8
  • 7
  • 6
  • 9
  • 6
  • 15
  • 17
  • 7
  • 6
  • 7
  • 10
  • 13
  • 79
  • 8
  • 10
  • 12
  • 9
  • 6
  • 10
  • 6
  • 17
  • 7
  • 14
  • 7
  • 13
  • 9
  • 31
  • 9
  • 14
  • 6
  • 10
  • 6
  • 7
  • 11
  • 6
  • 6
  • 21
  • 7
  • 20
  • 10
  • 6
  • 13
  • 8
  • 6
  • 15
  • 9
  • 9
  • 12
  • 6
  • 17
  • 7
  • 6
  • 6
  • 6
  • 10
  • 6
  • 10
  • 17
  • 9
  • 11
  • 9
  • 9
  • 40
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 30
  • 8
  • 10
  • 24
  • 46
  • 6
  • 6
  • 9
  • 13
  • 16
  • 17
  • 7
  • 10
  • 39
  • 6
  • 14
  • 6
  • 7
  • 10
  • 6
  • 6
  • 7
  • 7
  • 10
  • 20
  • 6
  • 8
  • 22
  • 6
  • 25
  • 42
  • 6
  • 22
  • 13
  • 8
  • 29
  • 6
  • 6
  • 8
  • 14
  • 10
  • 6
  • 38
  • 16
  • 43
  • 51
  • 6
  • 7
  • 10
  • 6
  • 7
  • 6
  • 10
  • 8
  • 21
  • 11
  • 8
  • 7
  • 17
  • 6
  • 12
  • 7
  • 8
  • 6
  • 11
  • 10
  • 6
  • 8
  • 17
  • 6
  • 7
  • 90
  • 30
  • 30
  • 19
  • 6
  • 6
  • 21
  • 7
  • 7
  • 12
  • 21
  • 9
  • 9
  • 7
  • 10
  • 16
  • 18
  • 6
  • 9
  • 7
  • 11
  • 14
  • 19
  • 7
  • 24
  • 6
  • 21
  • 9
  • 25
  • 7
  • 14
  • 84
  • 12
  • 8
  • 24
  • 8
  • 6
  • 16
  • 26
  • 7
  • 11
  • 8
  • 14
  • 7
  • 8
  • 6
  • 18
  • 10
  • 6
  • 8
  • 31
  • 10
  • 7
  • 16
  • 13
  • 15
  • 6
  • 22
  • 19
  • 17
  • 15
  • 25
  • 6
  • 7
  • 11
  • 9
  • 7
  • 7
  • 15
  • 11
  • 12
  • 36
  • 8
  • 11
  • 41
  • 35
  • 8
  • 6
  • 9
  • 7
  • 11
  • 9
  • 9
  • 29
  • 10
  • 7
  • 7
  • 7
  • 7
  • 12
  • 9
  • 6
  • 8
  • 9
  • 13
  • 7
  • 24
  • 9
  • 6
  • 7
  • 6
  • 10
  • 12
  • 8
  • 12
  • 8
  • 8
  • 16
  • 6
  • 6
  • 13
  • 7
  • 51
  • 8
  • 12
  • 7
  • 7
  • 13
  • 7
  • 7
  • 24
  • 8
  • 7
  • 7
  • 6
  • 11
  • 9
  • 7
  • 7
  • 10
  • 8
  • 118
  • 15
  • 7
  • 7
  • 9
  • 17
  • 8
  • 10
  • 13
  • 6
  • 9
  • 12
  • 58
  • 27
  • 21
  • 8
  • 8
  • 10
  • 10
  • 7
  • 7
  • 8
  • 10
  • 6
  • 9
  • 8
  • 8
  • 14
  • 8
  • 7
  • 10
  • 6
  • 6
  • 8
  • 6
  • 12
  • 61
  • 10
  • 8
  • 6
  • 19
  • 10
  • 12
  • 6
  • 22
  • 14
  • 7
  • 13
  • 7
  • 19
  • 21
  • 17
  • 10
  • 22
  • 11
  • 6
  • 11
  • 10
  • 35
  • 16
  • 11
  • 7
  • 17
  • 9
  • 6
  • 8
  • 21
  • 16
  • 8
  • 15
  • 14
  • 7
  • 10
  • 10
  • 12
  • 17
  • 8
  • 17
  • 8
  • 8
  • 18
  • 6
  • 9
  • 27
  • 9
  • 8
  • 12
  • 6
  • 15
  • 7
  • 8
  • 13
  • 17
  • 13
  • 6
  • 11
  • 7
  • 7
  • 11
  • 23
  • 8
  • 12
  • 11
  • 6
  • 7
  • 10
  • 15
  • 32
  • 15
  • 8
  • 9
  • 10
  • 25
  • 7
  • 8
  • 11
  • 13
  • 7
  • 120
  • 7
  • 9
  • 6
  • 10
  • 9
  • 34
  • 14
  • 14
  • 7
  • 24
  • 10
  • 9
  • 11
  • 14
  • 14
  • 26
  • 8
  • 121
  • 6
  • 61
  • 13
  • 12
  • 11
  • 117
  • 29
  • 7
  • 19
  • 6
  • 16
  • 7
  • 17
  • 11
  • 20
  • 14
  • 10
  • 6
  • 7
  • 10
  • 6
  • 6
  • 10
  • 117
  • 7
  • 6
  • 8
  • 15
  • 27
  • 6
  • 9
  • 18
  • 7
  • 11
  • 23
  • 17
  • 13
  • 9
  • 9
  • 8
  • 7
  • 15
  • 7
  • 13
  • 32
  • 15
  • 7
  • 7
  • 15
  • 6
  • 7
  • 6
  • 7
  • 19
  • 10
  • 33
  • 6
  • 6
  • 6
  • 8
  • 11
  • 15
  • 11
  • 8
  • 10
  • 11
  • 6
  • 12
  • 9
  • 17
  • 50
  • 14
  • 9
  • 9
  • 11
  • 23
  • 12
  • 6
  • 15
  • 8
  • 16
  • 15
  • 9
  • 6
  • 8
  • 12
  • 14
  • 7
  • 51
  • 8
  • 47
  • 7
  • 14
  • 8
  • 12
  • 9
  • 13
  • 15
  • 6
  • 9
  • 7
  • 23
  • 9
  • 8
  • 7
  • 6
  • 9
  • 17
  • 10
  • 15
  • 19
  • 34
  • 7
  • 6
  • 6
  • 18
  • 30
  • 14
  • 17
  • 32
  • 80
  • 14
  • 21
  • 25
  • 11
  • 11
  • 8
  • 11
  • 20
  • 24
  • 21
  • 7
  • 9
  • 11
  • 77
  • 27
  • 17
  • 6
  • 9
  • 10
  • 17
  • 19
  • 15
  • 6
  • 17
  • 9
  • 17
  • 7
  • 6
  • 14
  • 10
  • 7
  • 6
  • 16
  • 16
  • 10
  • 13
  • 14
  • 117
  • 6
  • 12
  • 13
  • 6
  • 17
  • 7
  • 7
  • 6
  • 9
  • 15
  • 16
  • 9
  • 9
  • 46
  • 8
  • 11
  • 6
  • 13
  • 8
  • 16
  • 6
  • 9
  • 15
  • 21
  • 11
  • 12
  • 24
  • 12
  • 7
  • 7
  • 21
  • 7
  • 23
  • 8
  • 14
  • 8
  • 8
  • 9
  • 9
  • 7
  • 7
  • 10
  • 8
  • 9
  • 30
  • 10
  • 17
  • 8
  • 14
  • 7
  • 10
  • 9
  • 7
  • 14
  • 7
  • 14
  • 6
  • 15
  • 10
  • 24
  • 7
  • 7
  • 14
  • 19
  • 9
  • 6
  • 33
  • 12
  • 7
  • 19
  • 7
  • 28
  • 15
  • 8
  • 7
  • 15
  • 10
  • 9
  • 24
  • 7
  • 7
  • 9
  • 6
  • 63
  • 15
  • 7
  • 7
  • 6
  • 31
  • 10
  • 53
  • 19
  • 6
  • 84
  • 22
  • 6
  • 6
  • 10
  • 9
  • 40
  • 11
  • 6
  • 24
  • 25
  • 21
  • 11
  • 13
  • 14
  • 6
  • 18
  • 17
  • 6
  • 7
  • 6
  • 29
Verlag
  • 2
  • 11571
  • 40
  • 1552
  • 16
  • 4
  • 3
  • 114
  • 1
  • 1
  • 43
Preis
  • 47
  • 487
  • 10536
  • 2277
Sprachen
  • 13339
  • 20
  • 15
Verfügbarkeit
  • 13315
  • 32
Eigenschaften
  • 7
Katalog
  • 13347
  • 559
13.347  Treffer  für „Lecture Notes in Computer Science“


    Zhu / Li / Castiglione Algorithms and Architectures for Parallel Processing

    24th International Conference, ICA3PP 2024, Macau, China, October 29–31, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer Singapore
    ISBN: 978-981-961528-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Gramlich Frontiers of Combining Systems

    5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29051-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Veanes / Vigano Tests and Proofs

    7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38915-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Naldi / Djemame / Altmann Economics of Grids, Clouds, Systems, and Services

    20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81225-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Presutti / Blomqvist / Troncy The Semantic Web: ESWC 2014 Satellite Events

    ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11954-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Salem / Shaalan / Oroumchian Information Retrieval Technology

    7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25630-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Ludwig / Toumani Service-Oriented Computing

    10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34320-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Anderson / Stajano / Christianson Security Protocols XXVII

    27th International Workshop, Cambridge, UK, April 10-12, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57042-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking

    5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66499-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Giorgini / Weber Advanced Information Systems Engineering

    31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-21289-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jensen / Podelski Tools and Algorithms for the Construction and Analysis of Systems

    10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21299-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Katwijk Ada: Moving Towards 2000

    11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55585-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhao / Yang / Wang Web Information Systems and Applications

    19th International Conference, WISA 2022, Dalian, China, September 16-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-20308-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nieuwenhuis Automated Deduction - CADE-20

    20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28005-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sakallah / Simon Theory and Application of Satisfiability Testing

    14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21580-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Hermanns / Sun / Bu Dependable Software Engineering. Theories, Tools, and Applications

    9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8663-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Akiyama / Kano / Urabe Discrete and Computational Geometry

    Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67181-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Groote / Nederhof Formal Grammar

    15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32023-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Reed SDL 2003: System Design

    11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40539-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gilroy / Harrison Interactive Systems. Design Specification, and Verification

    12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34145-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Günther Mobile Communications - Advanced Systems and Components

    1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57856-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    The Munich Project CIP

    Volume II: The Programme Transformation System CIP-S
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18779-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Adve / Garzarán / Petersen Languages and Compilers for Parallel Computing

    20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85260-5
    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