Fachgebiet
Medium
  • 4152
Erscheinungsjahr
  • 25
  • 240
  • 183
  • 127
  • 47
  • 20
  • 39
  • 47
  • 67
  • 56
  • 61
  • 79
  • 66
  • 80
  • 83
  • 67
  • 150
  • 139
  • 145
  • 200
  • 201
  • 133
  • 212
  • 223
  • 183
  • 181
  • 120
  • 121
  • 85
  • 100
  • 95
  • 83
  • 68
  • 66
  • 50
  • 67
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 8
  • 3
  • 5
  • 2
  • 4
  • 5
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 15
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 3
  • 4
  • 5
  • 4
  • 2
  • 5
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 11
  • 2
  • 4
  • 9
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 10
  • 3
  • 2
  • 8
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 35
  • 27
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 13
  • 4
  • 2
  • 9
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 12
  • 6
  • 21
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 6
  • 5
  • 11
  • 3
  • 3
  • 6
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 15
  • 5
  • 6
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 4
  • 3
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 3
  • 4
  • 3
  • 6
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 9
  • 5
  • 6
  • 6
  • 5
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 12
  • 4
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 4
  • 4
  • 8
  • 6
  • 3
  • 3
  • 6
  • 3
  • 6
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 5
  • 5
  • 3
  • 11
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 10
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 3
  • 5
  • 3
  • 4
  • 10
  • 21
  • 7
  • 6
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 5
  • 5
  • 3
  • 6
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 5
  • 4
  • 17
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 7
  • 7
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 9
  • 4
  • 9
  • 18
  • 7
  • 6
  • 4
  • 3
  • 6
  • 4
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 11
  • 9
  • 7
  • 3
  • 4
  • 4
  • 31
  • 4
  • 11
  • 3
  • 12
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 26
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 4
  • 33
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 10
  • 5
  • 17
  • 8
  • 9
  • 4
  • 6
  • 3
  • 11
  • 4
  • 4
  • 7
  • 4
  • 8
  • 4
  • 5
  • 4
  • 4
  • 3
  • 21
  • 6
  • 3
  • 5
  • 12
  • 6
  • 7
  • 5
  • 4
  • 3
  • 10
  • 3
  • 5
  • 6
  • 5
  • 4
  • 20
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 6
Verlag
  • 4124
  • 1
  • 3
  • 24
Preis
  • 13
  • 138
  • 3222
  • 779
Sprachen
  • 4152
  • 5
Verfügbarkeit
  • 4148
  • 4
Eigenschaften
  • 1
Katalog
  • 4152
  • 239
4.152  Treffer  für „Lecture Notes in Computer Science“


    Sanità / Skutella Approximation and Online Algorithms

    13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28683-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thalheim / Demetrovics / Gerhardt MFDBS 91

    3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54009-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
    2025
    Verlag: Springer
    ISBN: 978-3-031-75106-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Borning Principles and Practice of Constraint Programming

    Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58601-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    LeCharlier Static Analysis

    First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58485-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Malyshkin Parallel Computing Technologies

    10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03274-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Balke / Golub / Manolopoulos Linking Theory and Practice of Digital Libraries

    29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, Tampere, Finland, September 23-26, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05408-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    ter Beek / Monahan Integrated Formal Methods

    17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-07726-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Krishnamurthi / Odersky Compiler Construction

    16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71228-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Van Gorp / Ritter / Rose Modelling Foundations and Applications

    9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39012-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bakker / Huang / Lew Image and Video Retrieval

    Second International Conference, CIVR 2003, Urbana-Champaign, IL, USA, July 24-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40634-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee / Cheon Information Security and Cryptoloy - ICISC 2008

    11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00729-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bonsangue / Madelaine Formal Methods for Components and Objects

    7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-04166-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chen / Cheng / Esparza Automated Technology for Verification and Analysis

    17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31783-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kuncak / Rybalchenko Verification, Model Checking, and Abstract Interpretation

    13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27939-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Freire / Chemouil / Lorenz Universal Multiservice Networks

    Third European Conference, ECUMN 2004, Porto, Portugal, October 25-27. 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23551-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beyer / Cavalcanti Fundamental Approaches to Software Engineering

    27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-57258-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jongmans / Lopes Coordination Models and Languages

    25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35360-4
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Paul / Robinet International Symposium on Programming

    6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-12925-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ivan Dimov / Dimova / Kolkovska Numerical Methods and Applications

    7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010, Revised Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18465-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ricci / Haller Programming with Actors

    State-of-the-Art and Research Perspectives
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ábrahám / Abbas Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-74233-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee / Nakano Document Analysis Systems: Theory and Practice

    Third IAPR Workshop, DAS'98, Nagano, Japan, November 4-6, 1998, Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66507-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lirkov / Margenov Large-Scale Scientific Computing

    11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73440-8
    Medium: Buch
    87,74 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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