Fachgebiet
Medium
  • 10645
Erscheinungsjahr
  • 323
  • 799
  • 844
  • 615
  • 483
  • 283
  • 305
  • 304
  • 310
  • 266
  • 317
  • 298
  • 300
  • 316
  • 303
  • 261
  • 265
  • 246
  • 216
  • 257
  • 272
  • 233
  • 361
  • 301
  • 257
  • 253
  • 178
  • 176
  • 135
  • 137
  • 134
  • 116
  • 105
  • 93
  • 73
  • 88
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 7
  • 6
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 10
  • 6
  • 4
  • 4
  • 7
  • 17
  • 4
  • 18
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 32
  • 36
  • 4
  • 41
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 16
  • 13
  • 4
  • 4
  • 4
  • 4
  • 6
  • 39
  • 10
  • 6
  • 4
  • 6
  • 5
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 4
  • 8
  • 4
  • 6
  • 16
  • 10
  • 9
  • 5
  • 5
  • 5
  • 6
  • 6
  • 8
  • 6
  • 4
  • 7
  • 9
  • 9
  • 11
  • 7
  • 7
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 20
  • 6
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 5
  • 10
  • 6
  • 4
  • 8
  • 4
  • 26
  • 5
  • 4
  • 9
  • 4
  • 5
  • 9
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 9
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 7
  • 4
  • 5
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 15
  • 9
  • 16
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 7
  • 10
  • 4
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 6
  • 15
  • 5
  • 7
  • 10
  • 4
  • 5
  • 14
  • 6
  • 6
  • 14
  • 4
  • 8
  • 24
  • 4
  • 4
  • 8
  • 6
  • 4
  • 4
  • 8
  • 4
  • 9
  • 6
  • 5
  • 6
  • 5
  • 4
  • 4
  • 5
  • 34
  • 4
  • 12
  • 41
  • 14
  • 8
  • 14
  • 15
  • 11
  • 22
  • 9
  • 35
  • 4
  • 9
  • 14
  • 15
  • 4
  • 4
  • 4
  • 12
  • 4
  • 6
  • 12
  • 10
  • 8
  • 5
  • 4
  • 39
  • 5
  • 4
  • 10
  • 6
  • 9
  • 4
  • 4
  • 4
  • 8
  • 6
  • 10
  • 13
  • 6
  • 6
  • 4
  • 4
  • 15
  • 5
  • 7
  • 12
  • 6
  • 5
  • 4
  • 6
  • 4
  • 6
  • 9
  • 15
  • 23
  • 7
  • 7
  • 5
  • 6
  • 6
  • 8
  • 6
  • 6
  • 9
  • 11
  • 4
  • 24
  • 6
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 8
  • 6
  • 7
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 4
  • 4
  • 5
  • 45
  • 40
  • 11
  • 23
  • 8
  • 13
  • 6
  • 32
  • 13
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 9
  • 4
  • 25
  • 4
  • 12
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 14
  • 6
  • 4
  • 4
  • 4
  • 6
  • 8
  • 8
  • 6
  • 5
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 10
  • 4
  • 4
  • 4
  • 13
  • 8
  • 5
  • 4
  • 7
  • 4
  • 18
  • 54
  • 34
  • 9
  • 4
  • 22
  • 7
  • 17
  • 22
  • 92
  • 6
  • 11
  • 6
  • 4
  • 4
  • 8
  • 5
  • 16
  • 4
  • 11
  • 6
  • 6
  • 18
  • 12
  • 9
  • 5
  • 5
  • 4
  • 13
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 12
  • 5
  • 5
  • 41
  • 6
  • 4
  • 8
  • 4
  • 10
  • 5
  • 5
  • 10
  • 12
  • 6
  • 8
  • 8
  • 21
  • 39
  • 8
  • 17
  • 8
  • 5
  • 16
  • 15
  • 8
  • 8
  • 67
  • 7
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 7
  • 18
  • 7
  • 5
  • 6
  • 10
  • 18
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 6
  • 6
  • 8
  • 5
  • 12
  • 6
  • 5
  • 6
  • 10
  • 7
  • 8
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 30
  • 13
  • 8
  • 24
  • 8
  • 13
  • 33
  • 5
  • 6
  • 9
  • 15
  • 6
  • 5
  • 33
  • 6
  • 6
  • 10
  • 5
  • 8
  • 5
  • 7
  • 16
  • 6
  • 6
  • 15
  • 14
  • 31
  • 20
  • 8
  • 8
  • 6
  • 5
  • 15
  • 23
  • 5
  • 8
  • 26
  • 43
  • 8
  • 5
  • 5
  • 5
  • 8
  • 5
  • 10
  • 6
  • 5
  • 6
  • 12
  • 6
  • 6
  • 5
  • 6
  • 9
  • 7
  • 6
  • 15
  • 91
  • 12
  • 19
  • 7
  • 12
  • 7
  • 8
  • 6
  • 13
  • 5
  • 6
  • 7
  • 5
  • 12
  • 11
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 58
  • 5
  • 16
  • 6
  • 7
  • 11
  • 22
  • 5
  • 6
  • 9
  • 6
  • 6
  • 9
  • 10
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 11
  • 13
  • 14
  • 16
  • 11
  • 10
  • 16
  • 5
  • 11
  • 9
  • 28
  • 7
  • 36
  • 28
  • 7
  • 6
  • 6
  • 8
  • 5
  • 18
  • 7
  • 5
  • 7
  • 14
  • 7
  • 6
  • 5
  • 6
  • 10
  • 19
  • 8
  • 8
  • 6
  • 8
  • 5
  • 5
  • 8
  • 12
  • 6
  • 5
  • 32
  • 5
  • 13
  • 8
  • 8
  • 5
  • 5
  • 5
  • 20
  • 7
  • 5
  • 9
  • 6
  • 6
  • 6
  • 10
  • 8
  • 5
  • 84
  • 7
  • 6
  • 5
  • 5
  • 9
  • 11
  • 5
  • 6
  • 5
  • 11
  • 8
  • 38
  • 5
  • 5
  • 20
  • 8
  • 5
  • 5
  • 10
  • 7
  • 8
  • 5
  • 6
  • 6
  • 11
  • 5
  • 6
  • 6
  • 7
  • 10
  • 5
  • 6
  • 7
  • 5
  • 7
  • 7
  • 5
  • 6
  • 10
  • 43
  • 6
  • 21
  • 6
  • 21
  • 17
  • 9
  • 6
  • 6
  • 13
  • 12
  • 17
  • 15
  • 6
  • 15
  • 5
  • 5
  • 9
  • 26
  • 13
  • 9
  • 11
  • 6
  • 20
  • 5
  • 10
  • 6
  • 15
  • 12
  • 6
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 6
  • 10
  • 11
  • 12
  • 7
  • 6
  • 5
  • 12
  • 6
  • 7
  • 9
  • 31
  • 6
  • 13
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 90
  • 5
  • 7
  • 6
  • 11
  • 6
  • 20
  • 15
  • 8
  • 17
  • 12
  • 8
  • 11
  • 9
  • 12
  • 20
  • 92
  • 6
  • 49
  • 11
  • 11
  • 6
  • 6
  • 89
  • 16
  • 5
  • 14
  • 12
  • 10
  • 9
  • 20
  • 13
  • 5
  • 6
  • 9
  • 6
  • 5
  • 8
  • 5
  • 7
  • 90
  • 5
  • 6
  • 16
  • 8
  • 6
  • 12
  • 14
  • 16
  • 5
  • 10
  • 9
  • 5
  • 10
  • 5
  • 9
  • 7
  • 22
  • 15
  • 6
  • 5
  • 5
  • 13
  • 6
  • 25
  • 7
  • 6
  • 5
  • 6
  • 5
  • 14
  • 9
  • 9
  • 6
  • 16
  • 17
  • 22
  • 26
  • 5
  • 6
  • 20
  • 8
  • 5
  • 10
  • 10
  • 16
  • 5
  • 6
  • 12
  • 8
  • 38
  • 8
  • 48
  • 14
  • 6
  • 11
  • 11
  • 11
  • 9
  • 22
  • 5
  • 8
  • 17
  • 7
  • 14
  • 15
  • 18
  • 6
  • 5
  • 10
  • 5
  • 23
  • 7
  • 25
  • 57
  • 10
  • 15
  • 17
  • 8
  • 9
  • 6
  • 5
  • 19
  • 20
  • 12
  • 7
  • 6
  • 10
  • 53
  • 24
  • 12
  • 6
  • 12
  • 14
  • 5
  • 7
  • 12
  • 9
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 6
  • 11
  • 9
  • 6
  • 89
  • 10
  • 16
  • 5
  • 16
  • 6
  • 5
  • 5
  • 13
  • 9
  • 7
  • 31
  • 5
  • 11
  • 5
  • 5
  • 11
  • 5
  • 13
  • 19
  • 5
  • 11
  • 6
  • 19
  • 6
  • 5
  • 5
  • 13
  • 23
  • 6
  • 13
  • 12
  • 6
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 9
  • 23
  • 8
  • 15
  • 10
  • 6
  • 5
  • 6
  • 6
  • 5
  • 16
  • 13
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 5
  • 12
  • 6
  • 8
  • 7
  • 26
  • 14
  • 14
  • 7
  • 5
  • 19
  • 11
  • 5
  • 9
  • 5
  • 13
  • 18
  • 6
  • 6
  • 6
  • 41
  • 5
  • 8
  • 5
  • 23
  • 44
  • 14
  • 63
  • 5
  • 18
  • 5
  • 12
  • 10
  • 6
  • 6
  • 32
  • 7
  • 23
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 12
  • 9
  • 5
  • 19
Verlag
  • 3
  • 10585
  • 3
  • 6
  • 1
  • 7
  • 4
  • 1
  • 35
Preis
  • 42
  • 381
  • 8115
  • 2107
Sprachen
  • 10640
  • 16
  • 13
Verfügbarkeit
  • 10633
  • 12
Eigenschaften
  • 8
Katalog
  • 10645
  • 556
10.645  Treffer  für „Lecture Notes in Computer Science“


    Deshmukh / Havelund / Pinto NASA Formal Methods

    18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-28078-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bertogna / Pinho / Quiñones Reliable Software Technologies - Ada-Europe 2016

    21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39082-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stevens / Whittle / Booch UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications

    6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20243-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Finance Fundamental Approaches to Software Engineering

    Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65718-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-58843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dam Analysis and Verification of Multiple-Agent Languages

    5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62503-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Katila / Magnin / Clarysse Functional Imaging and Modeling of the Heart

    First International Workshop, FIMH 2001, Helsinki, Finland, November 15-16, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42861-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chong / Kozyrakis / Oskin Intelligent Memory Systems

    Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42328-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Antoniou / Boley Rules and Rule Markup Languages for the Semantic Web

    Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23842-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhang / Liu / Chen Intelligent Robotics and Applications

    7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13962-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Seo / Kim Information Security and Cryptology - ICISC 2023

    26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part I
    2024
    Verlag: Springer
    ISBN: 978-981-97-1234-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ershov / Koster Methods of Algorithmic Language Implementation

    1. Auflage 1977
    Verlag: Springer
    ISBN: 978-3-540-08065-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aggarwal / Pandu Rangan Algorithms and Computations

    10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66916-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baier / Haverkort / Hermanns Validation of Stochastic Systems

    A Guide to Current Research
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22265-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vaidya / Gabbouj / Li Artificial Intelligence Security and Privacy

    First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-9787-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ono / Kanazawa / de Queiroz Logic, Language, Information and Computation

    16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02260-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aranda-Corral / Calmet / Martín-Mateos Artificial Intelligence and Symbolic Computation

    12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13769-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Alagar / Nivat Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kuhn / Fuchs Controlled Natural Language

    Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32611-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aguilera / Querzoni / Shapiro Principles of Distributed Systems

    18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-319-14471-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing

    15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27139-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Huang / Herman Self-Stabilizing Systems

    6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40453-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blum / Paul / Takasu Mathematical Studies of Information Processing

    Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09541-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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