Fachgebiet
Medium
  • 10512
Erscheinungsjahr
  • 138
  • 806
  • 833
  • 624
  • 490
  • 278
  • 293
  • 296
  • 292
  • 311
  • 304
  • 316
  • 282
  • 309
  • 313
  • 265
  • 272
  • 274
  • 231
  • 261
  • 274
  • 221
  • 366
  • 306
  • 259
  • 251
  • 177
  • 176
  • 117
  • 133
  • 135
  • 117
  • 108
  • 96
  • 73
  • 84
  • 57
  • 59
  • 44
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 5
  • 6
  • 9
  • 5
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 11
  • 4
  • 11
  • 8
  • 4
  • 5
  • 6
  • 16
  • 6
  • 4
  • 21
  • 5
  • 8
  • 4
  • 6
  • 4
  • 4
  • 6
  • 5
  • 9
  • 9
  • 6
  • 4
  • 4
  • 8
  • 5
  • 14
  • 5
  • 25
  • 36
  • 6
  • 39
  • 7
  • 7
  • 4
  • 6
  • 7
  • 15
  • 16
  • 5
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 9
  • 4
  • 5
  • 6
  • 14
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 7
  • 7
  • 7
  • 4
  • 12
  • 5
  • 4
  • 5
  • 5
  • 4
  • 17
  • 7
  • 6
  • 7
  • 4
  • 14
  • 4
  • 10
  • 5
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 16
  • 4
  • 10
  • 5
  • 5
  • 8
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 7
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 16
  • 4
  • 11
  • 16
  • 5
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 16
  • 5
  • 9
  • 10
  • 5
  • 10
  • 7
  • 6
  • 4
  • 14
  • 4
  • 7
  • 4
  • 24
  • 4
  • 13
  • 4
  • 10
  • 4
  • 4
  • 9
  • 8
  • 4
  • 5
  • 11
  • 4
  • 8
  • 34
  • 12
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 5
  • 7
  • 4
  • 4
  • 20
  • 8
  • 38
  • 4
  • 9
  • 14
  • 10
  • 4
  • 7
  • 12
  • 4
  • 4
  • 9
  • 13
  • 8
  • 7
  • 39
  • 4
  • 5
  • 5
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 11
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 14
  • 10
  • 5
  • 13
  • 5
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 8
  • 4
  • 6
  • 4
  • 6
  • 14
  • 5
  • 24
  • 6
  • 7
  • 4
  • 6
  • 4
  • 7
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 42
  • 38
  • 6
  • 23
  • 5
  • 4
  • 17
  • 8
  • 23
  • 11
  • 5
  • 5
  • 7
  • 19
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 10
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 5
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 4
  • 5
  • 9
  • 4
  • 4
  • 15
  • 55
  • 30
  • 4
  • 4
  • 24
  • 9
  • 18
  • 21
  • 90
  • 5
  • 11
  • 6
  • 6
  • 14
  • 4
  • 4
  • 7
  • 19
  • 12
  • 5
  • 5
  • 5
  • 5
  • 9
  • 13
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 11
  • 40
  • 5
  • 7
  • 7
  • 4
  • 5
  • 4
  • 16
  • 8
  • 4
  • 7
  • 19
  • 39
  • 6
  • 4
  • 9
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 4
  • 4
  • 8
  • 5
  • 8
  • 15
  • 6
  • 6
  • 4
  • 6
  • 8
  • 5
  • 67
  • 4
  • 5
  • 6
  • 10
  • 5
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 19
  • 7
  • 10
  • 5
  • 6
  • 5
  • 11
  • 17
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 9
  • 9
  • 11
  • 7
  • 8
  • 7
  • 6
  • 6
  • 29
  • 8
  • 6
  • 5
  • 8
  • 26
  • 6
  • 16
  • 36
  • 6
  • 6
  • 8
  • 9
  • 15
  • 6
  • 29
  • 6
  • 9
  • 5
  • 5
  • 10
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 16
  • 20
  • 33
  • 5
  • 16
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 5
  • 14
  • 30
  • 36
  • 9
  • 9
  • 6
  • 17
  • 6
  • 5
  • 12
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 5
  • 11
  • 13
  • 18
  • 20
  • 5
  • 22
  • 8
  • 5
  • 62
  • 5
  • 19
  • 9
  • 5
  • 12
  • 21
  • 5
  • 9
  • 5
  • 6
  • 7
  • 5
  • 5
  • 8
  • 5
  • 14
  • 5
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 8
  • 18
  • 11
  • 10
  • 9
  • 9
  • 25
  • 7
  • 32
  • 29
  • 6
  • 6
  • 8
  • 7
  • 16
  • 8
  • 6
  • 8
  • 5
  • 6
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 7
  • 5
  • 5
  • 5
  • 16
  • 5
  • 9
  • 9
  • 5
  • 9
  • 82
  • 10
  • 5
  • 7
  • 6
  • 13
  • 5
  • 6
  • 5
  • 9
  • 12
  • 36
  • 13
  • 5
  • 16
  • 6
  • 5
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 8
  • 8
  • 6
  • 8
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 5
  • 18
  • 7
  • 6
  • 18
  • 14
  • 5
  • 13
  • 14
  • 13
  • 15
  • 8
  • 16
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 5
  • 6
  • 21
  • 11
  • 12
  • 11
  • 6
  • 9
  • 7
  • 7
  • 16
  • 5
  • 15
  • 13
  • 8
  • 24
  • 7
  • 7
  • 6
  • 11
  • 6
  • 5
  • 10
  • 13
  • 10
  • 7
  • 5
  • 6
  • 16
  • 6
  • 6
  • 12
  • 24
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 5
  • 18
  • 9
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 90
  • 6
  • 49
  • 11
  • 11
  • 5
  • 89
  • 21
  • 14
  • 13
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 7
  • 15
  • 20
  • 8
  • 10
  • 11
  • 17
  • 11
  • 12
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 5
  • 5
  • 9
  • 13
  • 5
  • 24
  • 5
  • 6
  • 6
  • 6
  • 5
  • 5
  • 14
  • 7
  • 8
  • 8
  • 11
  • 12
  • 41
  • 5
  • 6
  • 6
  • 6
  • 18
  • 9
  • 11
  • 8
  • 10
  • 11
  • 6
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 34
  • 12
  • 7
  • 8
  • 5
  • 6
  • 10
  • 8
  • 22
  • 6
  • 8
  • 8
  • 15
  • 14
  • 23
  • 8
  • 26
  • 7
  • 14
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 21
  • 14
  • 6
  • 6
  • 9
  • 56
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 11
  • 7
  • 10
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 14
  • 8
  • 8
  • 36
  • 5
  • 11
  • 7
  • 7
  • 12
  • 5
  • 13
  • 16
  • 10
  • 21
  • 6
  • 5
  • 17
  • 20
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 27
  • 6
  • 14
  • 10
  • 5
  • 9
  • 6
  • 6
  • 5
  • 8
  • 11
  • 8
  • 9
  • 18
  • 5
  • 9
  • 5
  • 11
  • 5
  • 6
  • 24
  • 7
  • 14
  • 5
  • 5
  • 23
  • 11
  • 5
  • 5
  • 5
  • 5
  • 9
  • 18
  • 6
  • 6
  • 6
  • 46
  • 10
  • 6
  • 5
  • 5
  • 22
  • 6
  • 43
  • 14
  • 62
  • 18
  • 5
  • 6
  • 5
  • 6
  • 32
  • 7
  • 9
  • 5
  • 18
  • 21
  • 19
  • 9
  • 9
  • 12
  • 10
  • 6
  • 6
  • 21
Verlag
  • 1
  • 10456
  • 3
  • 5
  • 1
  • 3
  • 1
  • 42
Preis
  • 47
  • 381
  • 8053
  • 2031
Sprachen
  • 10506
  • 18
  • 13
Verfügbarkeit
  • 10498
  • 14
Katalog
  • 10512
  • 542
10.512  Treffer  für „Lecture Notes in Computer Science“


    Grabowski / Nielsen Formal Approaches to Software Testing

    4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kirby / Dearle / Sjoberg Persistent Object Systems: Design, Implementation, and Use

    9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42735-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sun Formal Methods and Software Engineering

    20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02449-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Groth / Vidal / Suchanek The Semantic Web

    19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-06980-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Flener Logic-Based Program Synthesis and Transformation

    8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65765-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hsu / Kallel / Lan Internet of Vehicles. Technologies and Services Toward Smart Cities

    6th International Conference, IOV 2019, Kaohsiung, Taiwan, November 18-21, 2019, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-38650-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kostitsyna / Orponen Unconventional Computation and Natural Computation

    19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87992-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shi / Pérez-González / Kim Digital-Forensics and Watermarking

    11th International Workshop, IWDW 2012, Shanghai, China, October 31--November 3, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40098-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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
    ISBN: 978-3-031-35948-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Applebaum / Lin Theory of Cryptography

    23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12295-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Papavassiliou / Ruehrup Ad-hoc, Mobile, and Wireless Networks

    14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19661-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rashid / Popov Critical Information Infrastructures Security

    15th International Conference, CRITIS 2020, Bristol, UK, September 2-3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58294-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Müller / Ketter / Kaminka Multiagent System Technologies

    13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27342-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kubota / Kiguchi / Liu Intelligent Robotics and Applications

    9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-43517-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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

    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



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