Fachgebiet
Medium
  • 10656
Erscheinungsjahr
  • 296
  • 811
  • 846
  • 616
  • 479
  • 280
  • 304
  • 302
  • 308
  • 269
  • 313
  • 301
  • 292
  • 322
  • 302
  • 264
  • 282
  • 251
  • 229
  • 261
  • 270
  • 238
  • 364
  • 300
  • 253
  • 249
  • 177
  • 175
  • 134
  • 137
  • 134
  • 115
  • 106
  • 93
  • 74
  • 88
  • 58
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 7
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 10
  • 4
  • 4
  • 7
  • 4
  • 4
  • 6
  • 17
  • 4
  • 16
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 5
  • 9
  • 8
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 14
  • 29
  • 35
  • 7
  • 4
  • 43
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 6
  • 15
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 39
  • 10
  • 6
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 5
  • 6
  • 7
  • 4
  • 4
  • 4
  • 10
  • 4
  • 6
  • 17
  • 8
  • 10
  • 4
  • 5
  • 6
  • 5
  • 9
  • 4
  • 7
  • 9
  • 6
  • 11
  • 8
  • 7
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 19
  • 6
  • 6
  • 6
  • 10
  • 5
  • 8
  • 5
  • 5
  • 4
  • 7
  • 6
  • 4
  • 8
  • 4
  • 27
  • 5
  • 4
  • 11
  • 4
  • 5
  • 9
  • 4
  • 6
  • 39
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 20
  • 16
  • 6
  • 4
  • 10
  • 6
  • 8
  • 8
  • 5
  • 4
  • 4
  • 7
  • 4
  • 5
  • 8
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 5
  • 7
  • 4
  • 5
  • 9
  • 11
  • 5
  • 4
  • 13
  • 9
  • 4
  • 16
  • 9
  • 16
  • 5
  • 6
  • 4
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 39
  • 16
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 7
  • 16
  • 5
  • 9
  • 7
  • 4
  • 5
  • 4
  • 14
  • 5
  • 14
  • 5
  • 5
  • 8
  • 24
  • 4
  • 17
  • 8
  • 4
  • 8
  • 8
  • 6
  • 6
  • 4
  • 4
  • 4
  • 4
  • 33
  • 4
  • 12
  • 40
  • 13
  • 8
  • 12
  • 14
  • 10
  • 4
  • 22
  • 9
  • 35
  • 4
  • 9
  • 14
  • 15
  • 4
  • 4
  • 12
  • 4
  • 6
  • 14
  • 10
  • 8
  • 4
  • 4
  • 39
  • 4
  • 5
  • 4
  • 10
  • 5
  • 10
  • 6
  • 4
  • 4
  • 10
  • 13
  • 8
  • 6
  • 4
  • 4
  • 15
  • 5
  • 7
  • 11
  • 6
  • 4
  • 5
  • 4
  • 4
  • 7
  • 5
  • 8
  • 14
  • 22
  • 7
  • 5
  • 6
  • 6
  • 8
  • 6
  • 4
  • 8
  • 11
  • 4
  • 24
  • 6
  • 7
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 7
  • 6
  • 4
  • 4
  • 5
  • 8
  • 4
  • 15
  • 10
  • 6
  • 9
  • 8
  • 5
  • 5
  • 47
  • 37
  • 8
  • 23
  • 4
  • 9
  • 15
  • 5
  • 31
  • 10
  • 4
  • 18
  • 6
  • 4
  • 4
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 26
  • 5
  • 10
  • 43
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 11
  • 7
  • 4
  • 6
  • 8
  • 8
  • 6
  • 5
  • 5
  • 4
  • 7
  • 15
  • 14
  • 6
  • 4
  • 9
  • 4
  • 4
  • 4
  • 4
  • 11
  • 8
  • 4
  • 4
  • 5
  • 10
  • 4
  • 4
  • 17
  • 4
  • 57
  • 34
  • 7
  • 20
  • 8
  • 17
  • 26
  • 95
  • 6
  • 11
  • 6
  • 4
  • 4
  • 4
  • 5
  • 16
  • 4
  • 11
  • 4
  • 6
  • 18
  • 11
  • 5
  • 10
  • 9
  • 5
  • 4
  • 13
  • 4
  • 10
  • 5
  • 6
  • 7
  • 5
  • 12
  • 5
  • 5
  • 44
  • 6
  • 10
  • 10
  • 5
  • 5
  • 9
  • 12
  • 6
  • 6
  • 8
  • 19
  • 39
  • 7
  • 17
  • 5
  • 8
  • 5
  • 6
  • 5
  • 6
  • 15
  • 15
  • 9
  • 10
  • 69
  • 7
  • 6
  • 8
  • 7
  • 15
  • 7
  • 11
  • 7
  • 18
  • 8
  • 5
  • 6
  • 6
  • 10
  • 16
  • 11
  • 11
  • 5
  • 7
  • 13
  • 7
  • 13
  • 8
  • 5
  • 12
  • 6
  • 8
  • 6
  • 10
  • 7
  • 10
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 5
  • 29
  • 9
  • 5
  • 8
  • 23
  • 8
  • 14
  • 34
  • 6
  • 6
  • 10
  • 15
  • 6
  • 5
  • 33
  • 6
  • 6
  • 8
  • 5
  • 11
  • 5
  • 7
  • 14
  • 6
  • 15
  • 17
  • 32
  • 5
  • 18
  • 7
  • 10
  • 5
  • 7
  • 15
  • 22
  • 5
  • 5
  • 15
  • 26
  • 40
  • 10
  • 5
  • 8
  • 9
  • 5
  • 6
  • 12
  • 6
  • 6
  • 5
  • 7
  • 6
  • 7
  • 6
  • 16
  • 91
  • 12
  • 18
  • 7
  • 12
  • 7
  • 8
  • 12
  • 13
  • 5
  • 5
  • 6
  • 12
  • 13
  • 7
  • 18
  • 19
  • 7
  • 26
  • 9
  • 5
  • 57
  • 15
  • 6
  • 7
  • 10
  • 22
  • 5
  • 7
  • 6
  • 6
  • 9
  • 12
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 11
  • 13
  • 14
  • 13
  • 11
  • 11
  • 16
  • 5
  • 11
  • 10
  • 28
  • 7
  • 35
  • 29
  • 7
  • 7
  • 6
  • 8
  • 6
  • 19
  • 7
  • 5
  • 7
  • 12
  • 7
  • 5
  • 6
  • 9
  • 17
  • 10
  • 5
  • 7
  • 8
  • 6
  • 5
  • 8
  • 9
  • 6
  • 5
  • 35
  • 5
  • 10
  • 8
  • 8
  • 6
  • 5
  • 5
  • 17
  • 5
  • 5
  • 6
  • 9
  • 8
  • 6
  • 10
  • 8
  • 87
  • 7
  • 6
  • 5
  • 7
  • 7
  • 12
  • 5
  • 7
  • 5
  • 11
  • 5
  • 38
  • 5
  • 5
  • 17
  • 8
  • 5
  • 5
  • 10
  • 6
  • 7
  • 5
  • 6
  • 6
  • 9
  • 5
  • 6
  • 8
  • 7
  • 12
  • 6
  • 7
  • 5
  • 11
  • 7
  • 8
  • 5
  • 10
  • 43
  • 19
  • 7
  • 5
  • 21
  • 17
  • 9
  • 6
  • 6
  • 13
  • 12
  • 16
  • 15
  • 6
  • 15
  • 5
  • 5
  • 8
  • 22
  • 15
  • 6
  • 12
  • 11
  • 6
  • 20
  • 6
  • 9
  • 6
  • 16
  • 12
  • 7
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 15
  • 7
  • 24
  • 5
  • 5
  • 5
  • 10
  • 12
  • 12
  • 8
  • 6
  • 5
  • 11
  • 6
  • 6
  • 9
  • 28
  • 6
  • 11
  • 7
  • 7
  • 20
  • 7
  • 5
  • 7
  • 10
  • 5
  • 90
  • 5
  • 7
  • 7
  • 11
  • 6
  • 22
  • 15
  • 8
  • 23
  • 12
  • 8
  • 9
  • 9
  • 9
  • 19
  • 93
  • 6
  • 53
  • 11
  • 11
  • 7
  • 7
  • 89
  • 19
  • 5
  • 14
  • 12
  • 9
  • 5
  • 5
  • 9
  • 23
  • 13
  • 7
  • 9
  • 6
  • 5
  • 8
  • 5
  • 9
  • 90
  • 5
  • 6
  • 19
  • 9
  • 8
  • 12
  • 12
  • 16
  • 5
  • 10
  • 9
  • 5
  • 5
  • 10
  • 5
  • 9
  • 7
  • 22
  • 16
  • 6
  • 6
  • 5
  • 13
  • 7
  • 24
  • 6
  • 7
  • 6
  • 6
  • 5
  • 14
  • 8
  • 9
  • 6
  • 18
  • 16
  • 19
  • 28
  • 6
  • 19
  • 8
  • 5
  • 10
  • 13
  • 11
  • 10
  • 6
  • 12
  • 8
  • 5
  • 39
  • 9
  • 42
  • 17
  • 6
  • 13
  • 6
  • 11
  • 10
  • 6
  • 22
  • 7
  • 17
  • 7
  • 12
  • 14
  • 22
  • 6
  • 5
  • 10
  • 23
  • 6
  • 24
  • 61
  • 10
  • 18
  • 17
  • 8
  • 9
  • 6
  • 5
  • 19
  • 19
  • 14
  • 7
  • 5
  • 10
  • 56
  • 24
  • 12
  • 6
  • 12
  • 14
  • 7
  • 5
  • 7
  • 12
  • 5
  • 9
  • 6
  • 11
  • 8
  • 15
  • 13
  • 7
  • 14
  • 9
  • 6
  • 8
  • 89
  • 10
  • 14
  • 5
  • 16
  • 7
  • 5
  • 13
  • 9
  • 5
  • 32
  • 5
  • 11
  • 6
  • 6
  • 9
  • 7
  • 13
  • 18
  • 6
  • 11
  • 6
  • 18
  • 6
  • 5
  • 5
  • 6
  • 13
  • 19
  • 6
  • 13
  • 12
  • 6
  • 6
  • 8
  • 9
  • 6
  • 6
  • 5
  • 8
  • 24
  • 12
  • 10
  • 8
  • 6
  • 6
  • 5
  • 6
  • 12
  • 11
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 6
  • 11
  • 6
  • 8
  • 7
  • 26
  • 14
  • 14
  • 5
  • 18
  • 9
  • 5
  • 9
  • 6
  • 6
  • 10
  • 18
  • 9
  • 6
  • 6
  • 41
  • 6
  • 7
  • 6
  • 5
  • 23
  • 5
  • 44
  • 5
  • 16
  • 64
  • 17
  • 5
  • 11
  • 5
  • 5
  • 6
  • 32
  • 7
  • 22
  • 22
  • 17
  • 5
  • 5
  • 7
  • 9
  • 5
  • 12
  • 9
  • 5
  • 5
  • 22
Verlag
  • 2
  • 10605
  • 3
  • 4
  • 1
  • 6
  • 2
  • 1
  • 32
Preis
  • 42
  • 388
  • 8134
  • 2092
Sprachen
  • 10651
  • 16
  • 13
Verfügbarkeit
  • 10646
  • 10
Eigenschaften
  • 12
Katalog
  • 10656
  • 558
10.656  Treffer  für „Lecture Notes in Computer Science“


    Cuellar / Lopez / Barthe Security and Trust Management

    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22443-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Goodloe / Person NASA Formal Methods

    4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28890-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Koucheryavy / Aziz Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95295-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hooman Specification and Compositional Verification of Real-Time Systems

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

    Benninghofen / Kemmerich / Richter Systems of Reductions

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

    Pechoucek / Petta / Varga Multi-Agent Systems and Applications IV

    4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29046-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Özgün / Zinova Language, Logic, and Computation

    13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-98478-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Royer A Connotational Theory of Program Structure

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

    Vilhjálmsson / Kopp / Marsella Intelligent Virtual Agents

    11th International Conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23973-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thanos / Borri / Candela Digital Libraries: Research and Development

    First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77087-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jung / Wang / Toyoda Database Systems for Advanced Applications

    31st International Conference, DASFAA 2026, Jeju, South Korea, April 27-30, 2026, Proceedings, Part V
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-9203-74-1
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Collart-Dutilleul / Haxthausen / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-05813-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Moral / Pivert / Sánchez Scalable Uncertainty Management

    11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67581-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dinh / Thai Computing and Combinatorics

    22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42633-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Crochemore / Paterson Combinatorial Pattern Matching

    10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66278-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Birk / Demiris Learning Robots

    6th European Workshop EWLR-6, Brighton, England, August 1-2, 1997 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65480-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bundy Automated Deduction - CADE-12

    12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58156-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting

    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61254-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19848-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ganzinger ESOP '88

    2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19027-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chao / Hsu / Lee Algorithms and Computation

    23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35260-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thilagam / Roshan Pais / Chandrasekaran Advanced Computing, Networking and Security

    International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29279-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schiper Distributed Algorithms

    7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57271-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kloks Treewidth

    Computations and Approximations
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58356-1
    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