Fachgebiet
Medium
  • 3208
  • 5
Erscheinungsjahr
  • 61
  • 224
  • 268
  • 153
  • 136
  • 114
  • 89
  • 115
  • 106
  • 75
  • 106
  • 82
  • 89
  • 109
  • 104
  • 85
  • 56
  • 67
  • 57
  • 149
  • 159
  • 65
  • 38
  • 75
  • 54
  • 65
  • 34
  • 47
  • 54
  • 50
  • 53
  • 46
  • 49
  • 43
  • 27
  • 27
  • 19
  • 26
  • 11
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 16
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 11
  • 2
  • 2
  • 14
  • 3
  • 2
  • 6
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 6
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 11
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 19
  • 2
  • 2
  • 2
  • 5
  • 6
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 10
  • 12
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 7
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 24
  • 2
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 27
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 24
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 22
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 21
  • 3
  • 2
  • 4
  • 2
  • 4
  • 13
  • 2
  • 2
  • 3
  • 5
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 18
  • 3
  • 5
  • 4
  • 12
  • 3
  • 12
  • 3
  • 19
  • 5
  • 4
  • 13
  • 3
  • 9
  • 4
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 16
  • 4
  • 3
  • 4
  • 3
  • 8
  • 8
  • 3
  • 3
  • 4
  • 3
  • 28
  • 4
  • 8
  • 4
  • 3
  • 5
  • 16
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 7
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 9
  • 3
  • 4
  • 8
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 16
  • 7
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 12
  • 3
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 19
  • 3
  • 9
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 12
  • 77
  • 3
  • 5
  • 6
  • 12
  • 31
  • 4
  • 5
  • 3
  • 5
  • 3
  • 15
  • 3
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 3
  • 4
  • 4
  • 4
  • 31
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 22
  • 8
  • 3
  • 4
  • 6
  • 3
  • 12
  • 3
  • 13
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 7
  • 3
  • 5
  • 6
  • 4
  • 3
  • 10
  • 9
  • 17
  • 3
  • 3
  • 5
  • 4
  • 3
  • 30
  • 3
  • 3
  • 3
  • 12
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 7
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 9
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 5
  • 5
  • 3
  • 4
  • 14
  • 6
  • 5
  • 16
  • 3
  • 3
  • 12
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 5
  • 5
  • 3
  • 5
  • 3
  • 11
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 24
  • 5
  • 3
  • 3
  • 8
  • 7
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 78
  • 6
  • 4
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 13
  • 4
  • 3
  • 76
  • 10
  • 9
  • 4
  • 76
  • 7
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 7
  • 10
  • 5
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 76
  • 9
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 9
  • 5
  • 8
  • 3
  • 4
  • 8
  • 5
  • 4
  • 3
  • 3
  • 3
  • 13
  • 3
  • 4
  • 4
  • 3
  • 8
  • 6
  • 5
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 9
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 6
  • 3
  • 18
  • 4
  • 5
  • 3
  • 3
  • 12
  • 2
  • 8
  • 6
  • 4
  • 14
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 24
  • 4
  • 6
  • 5
  • 76
  • 3
  • 15
  • 3
  • 4
  • 5
  • 7
  • 39
  • 7
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 17
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 11
  • 17
  • 10
  • 3
  • 4
  • 14
  • 7
  • 6
  • 3
  • 4
  • 3
  • 4
  • 16
  • 29
  • 6
  • 3
  • 9
  • 5
  • 5
  • 3
  • 9
  • 7
  • 4
  • 4
Verlag
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 2
  • 3116
  • 9
  • 1
  • 7
  • 15
  • 3
  • 15
  • 6
  • 2
  • 18
  • 4
  • 2
Preis
  • 6
  • 73
  • 1604
  • 1530
Sprachen
  • 3213
Verfügbarkeit
  • 3206
  • 7
Eigenschaften
  • 3
Katalog
  • 3213
  • 195
3.213  Treffer  für „Lecture Notes in Computer Science“


    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wiedijk The Seventeen Provers of the World

    Foreword by Dana S. Scott
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-30704-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pan / Aylett / Diener Technologies for E-Learning and Digital Entertainment

    First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-33423-1
    Medium: Buch
    149,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Choren / Garcia / Lucena Software Engineering for Multi-Agent Systems V

    Research Issues and Practical Applications
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73130-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Skulimowski / Sheng / Khemiri-Kallel Internet of Vehicles. Technologies and Services Towards Smart City

    5th International Conference, IOV 2018, Paris, France, November 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-05080-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kolp / Bresciani / Henderson-Sellers Agent-Oriented Information Systems III

    7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48291-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kolp / Henderson-Sellers / Mouratidis Agent-Oriented Information Systems IV

    8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77989-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10352-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Arikawa / Sharma Algorithmic Learning Theory

    7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61863-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ceri / Tanaka / Tsur Deductive and Object-Oriented Databases

    Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57530-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lokoc / Lokoc / Peška MultiMedia Modeling

    32nd International Conference on Multimedia Modeling, MMM 2026, Prague, Czech Republic, January 29-31, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-956949-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fischer / Scheidgen / Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities

    17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24911-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tomkos / Neri / Solé-Pareta Optical Network Design and Modeling

    11th International IFIP-TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72729-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Klusch / Unland / Shehory Multiagent System Technologies

    14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45888-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen / Rückert Services and Visualization: Towards User-Friendly Design

    ACos'98, VISUAL'98, AIN'97, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64367-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nikolaidis / Barbeau / Kranakis Ad-Hoc, Mobile, and Wireless Networks

    Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22543-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mutzel / Jünger / Leipert Graph Drawing

    9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43309-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang / Segal / Chen Wireless Algorithms, Systems, and Applications

    17th International Conference, WASA 2022, Dalian, China, November 24-26, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19213-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fermüller / Leitsch / Tammet Resolution Methods for the Decision Problem

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

    Blackburn / Ghidini / Turner Modeling and Using Context

    4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40380-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang / Segal / Chen Wireless Algorithms, Systems, and Applications

    17th International Conference, WASA 2022, Dalian, China, November 24-26, 2022, Proceedings, Part III
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19210-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhang Image and Graphics

    8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21968-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wirsing / Nivat Algebraic Methodology and Software Technology

    5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61463-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dini / Lorenz / Neuman De Souza Service Assurance with Partial and Intermittent Resources

    First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22567-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jantke / Shinohara / Zeugmann Algorithmic Learning Theory

    6th International Workshop, ALT '95, Fukuoka, Japan, October 18 - 20, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60454-9
    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