Fachgebiet
Medium
  • 10537
Erscheinungsjahr
  • 183
  • 808
  • 831
  • 622
  • 487
  • 276
  • 288
  • 298
  • 289
  • 311
  • 306
  • 314
  • 279
  • 310
  • 315
  • 269
  • 270
  • 270
  • 231
  • 271
  • 272
  • 223
  • 362
  • 305
  • 261
  • 250
  • 177
  • 176
  • 117
  • 132
  • 135
  • 118
  • 108
  • 96
  • 73
  • 84
  • 57
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 5
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 6
  • 9
  • 6
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 11
  • 4
  • 11
  • 8
  • 5
  • 6
  • 16
  • 6
  • 4
  • 20
  • 5
  • 8
  • 5
  • 6
  • 4
  • 6
  • 5
  • 9
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 5
  • 14
  • 5
  • 25
  • 36
  • 6
  • 39
  • 7
  • 7
  • 4
  • 6
  • 7
  • 15
  • 16
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 16
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 8
  • 7
  • 8
  • 4
  • 12
  • 5
  • 5
  • 4
  • 5
  • 4
  • 17
  • 7
  • 6
  • 7
  • 4
  • 15
  • 4
  • 10
  • 5
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 16
  • 4
  • 4
  • 10
  • 5
  • 5
  • 9
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 4
  • 7
  • 8
  • 11
  • 9
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 5
  • 4
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 16
  • 11
  • 16
  • 6
  • 5
  • 5
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 9
  • 9
  • 4
  • 4
  • 4
  • 8
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 16
  • 6
  • 7
  • 10
  • 5
  • 9
  • 7
  • 6
  • 4
  • 14
  • 4
  • 4
  • 7
  • 4
  • 24
  • 4
  • 13
  • 10
  • 9
  • 7
  • 4
  • 5
  • 11
  • 5
  • 4
  • 8
  • 34
  • 10
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 5
  • 7
  • 4
  • 4
  • 21
  • 8
  • 38
  • 4
  • 8
  • 14
  • 10
  • 4
  • 4
  • 7
  • 12
  • 4
  • 6
  • 9
  • 13
  • 8
  • 7
  • 39
  • 4
  • 5
  • 5
  • 10
  • 9
  • 10
  • 4
  • 5
  • 4
  • 6
  • 4
  • 6
  • 11
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 15
  • 10
  • 5
  • 13
  • 5
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 9
  • 4
  • 6
  • 4
  • 6
  • 14
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 43
  • 38
  • 6
  • 23
  • 5
  • 4
  • 16
  • 8
  • 23
  • 11
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 8
  • 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
  • 8
  • 6
  • 5
  • 4
  • 5
  • 10
  • 4
  • 15
  • 55
  • 32
  • 4
  • 4
  • 22
  • 7
  • 18
  • 20
  • 90
  • 11
  • 6
  • 6
  • 15
  • 4
  • 4
  • 7
  • 19
  • 13
  • 5
  • 5
  • 6
  • 5
  • 9
  • 13
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 9
  • 5
  • 39
  • 4
  • 7
  • 7
  • 4
  • 7
  • 16
  • 8
  • 4
  • 7
  • 19
  • 39
  • 6
  • 4
  • 7
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 4
  • 8
  • 5
  • 8
  • 15
  • 6
  • 6
  • 5
  • 8
  • 5
  • 67
  • 5
  • 8
  • 10
  • 6
  • 7
  • 15
  • 6
  • 11
  • 5
  • 8
  • 18
  • 7
  • 10
  • 5
  • 6
  • 5
  • 11
  • 17
  • 11
  • 7
  • 7
  • 13
  • 5
  • 6
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 10
  • 9
  • 11
  • 7
  • 8
  • 7
  • 6
  • 6
  • 29
  • 8
  • 6
  • 5
  • 8
  • 6
  • 26
  • 6
  • 15
  • 35
  • 6
  • 6
  • 8
  • 9
  • 15
  • 5
  • 29
  • 6
  • 9
  • 5
  • 5
  • 9
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 16
  • 20
  • 32
  • 5
  • 17
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 5
  • 14
  • 30
  • 35
  • 6
  • 9
  • 9
  • 6
  • 17
  • 6
  • 5
  • 12
  • 5
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 13
  • 12
  • 5
  • 5
  • 9
  • 13
  • 18
  • 20
  • 24
  • 8
  • 5
  • 62
  • 19
  • 6
  • 9
  • 5
  • 12
  • 20
  • 5
  • 9
  • 5
  • 6
  • 7
  • 5
  • 5
  • 8
  • 5
  • 14
  • 5
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 8
  • 18
  • 11
  • 9
  • 9
  • 9
  • 24
  • 7
  • 32
  • 29
  • 6
  • 6
  • 8
  • 7
  • 16
  • 8
  • 6
  • 6
  • 5
  • 6
  • 7
  • 6
  • 11
  • 21
  • 6
  • 7
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 5
  • 7
  • 5
  • 5
  • 16
  • 7
  • 9
  • 9
  • 5
  • 5
  • 9
  • 82
  • 10
  • 5
  • 7
  • 6
  • 13
  • 5
  • 6
  • 5
  • 9
  • 11
  • 37
  • 13
  • 5
  • 16
  • 6
  • 5
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 8
  • 6
  • 6
  • 6
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 5
  • 19
  • 7
  • 6
  • 18
  • 14
  • 5
  • 13
  • 11
  • 14
  • 15
  • 8
  • 16
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 6
  • 22
  • 12
  • 12
  • 11
  • 6
  • 11
  • 7
  • 7
  • 16
  • 5
  • 15
  • 13
  • 8
  • 24
  • 9
  • 7
  • 6
  • 11
  • 6
  • 5
  • 10
  • 13
  • 10
  • 5
  • 8
  • 6
  • 14
  • 6
  • 6
  • 5
  • 12
  • 24
  • 6
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 5
  • 18
  • 9
  • 8
  • 8
  • 11
  • 5
  • 19
  • 8
  • 91
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 22
  • 14
  • 13
  • 5
  • 11
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 7
  • 15
  • 20
  • 10
  • 12
  • 11
  • 17
  • 11
  • 12
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 7
  • 6
  • 6
  • 5
  • 9
  • 13
  • 5
  • 24
  • 6
  • 5
  • 6
  • 6
  • 5
  • 5
  • 14
  • 6
  • 7
  • 8
  • 8
  • 11
  • 12
  • 35
  • 10
  • 6
  • 6
  • 7
  • 18
  • 9
  • 11
  • 8
  • 10
  • 11
  • 5
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 35
  • 12
  • 7
  • 8
  • 5
  • 6
  • 10
  • 8
  • 22
  • 6
  • 8
  • 8
  • 15
  • 14
  • 24
  • 8
  • 22
  • 10
  • 13
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 18
  • 14
  • 6
  • 9
  • 54
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 11
  • 7
  • 9
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 15
  • 6
  • 8
  • 37
  • 5
  • 11
  • 5
  • 7
  • 12
  • 5
  • 13
  • 19
  • 8
  • 21
  • 6
  • 5
  • 17
  • 20
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 6
  • 27
  • 6
  • 15
  • 10
  • 5
  • 6
  • 8
  • 6
  • 6
  • 5
  • 8
  • 11
  • 8
  • 9
  • 18
  • 5
  • 11
  • 5
  • 11
  • 5
  • 6
  • 24
  • 7
  • 14
  • 5
  • 5
  • 23
  • 11
  • 5
  • 5
  • 6
  • 5
  • 9
  • 18
  • 6
  • 6
  • 6
  • 47
  • 11
  • 5
  • 5
  • 5
  • 21
  • 6
  • 43
  • 14
  • 62
  • 18
  • 5
  • 9
  • 6
  • 6
  • 32
  • 7
  • 9
  • 5
  • 18
  • 21
  • 19
  • 11
  • 9
  • 12
  • 10
  • 6
  • 6
  • 20
Verlag
  • 2
  • 10480
  • 3
  • 5
  • 1
  • 1
  • 3
  • 1
  • 41
Preis
  • 42
  • 388
  • 8071
  • 2036
Sprachen
  • 10532
  • 17
  • 13
Verfügbarkeit
  • 10525
  • 12
Eigenschaften
  • 4
Katalog
  • 10537
  • 544
10.537  Treffer  für „Lecture Notes in Computer Science“


    Bertacco / Legay Hardware and Software: Verification and Testing

    9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03076-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Salomaa / Steinby Automata, Languages and Programming

    Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
    1. Auflage 1977
    Verlag: Springer
    ISBN: 978-3-540-08342-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-75386-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jourdan / Mounier / Adams Foundations and Practice of Security

    15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30121-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Younas / Awan / Petcu Mobile Web and Intelligent Information Systems

    20th International Conference, MobiWIS 2024, Vienna, Austria, August 19-21, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68004-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chechik / Katoen / Leucker Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27480-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bobaru / Havelund / Holzmann NASA Formal Methods

    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20397-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ras / Ohsuga Foundations of Intelligent Systems

    12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-540-41094-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jampel / Freuder / Maher Over-Constrained Systems

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Galmiche Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jamnik / Uesaka / Elzer Schwartz Diagrammatic Representation and Inference

    9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42332-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Apostolico / Melucci String Processing and Information Retrieval

    11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23210-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leite / Omicini / Sterling Declarative Agent Languages and Technologies

    First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22124-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jeuring Mathematics of Program Construction

    4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Disser / Verykios Algorithmic Aspects of Cloud Computing

    4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-19758-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kertesz / Li / Supnithi Computational Data and Social Networks

    13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-966388-0
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lipták / Moura / Figueroa String Processing and Information Retrieval

    31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-72199-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Díaz Agudo / Watson Case-Based Reasoning Research and Development

    20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32985-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cuzzolin / Cannons / Lomonaco Continual Semi-Supervised Learning

    First International Workshop, CSSL 2021, Virtual Event, August 19-20, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-17586-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vaidya / Zhang / Li Cyberspace Safety and Security

    11th International Symposium, CSS 2019, Guangzhou, China, December 1-3, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-37351-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Davidor / Schwefel / Männer Parallel Problem Solving from Nature - PPSN III

    International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58484-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hentenryck Static Analysis

    4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mahmud / Doborjeh / Wong Neural Information Processing

    31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part IX
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-966601-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nambiar / Poess Performance Evaluation and Benchmarking

    13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-94436-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Karmouch / Korba / Madeira Mobility Aware Technologies and Applications

    First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23423-4
    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