Fachgebiet
Medium
  • 4204
Erscheinungsjahr
  • 79
  • 232
  • 190
  • 133
  • 47
  • 23
  • 41
  • 48
  • 66
  • 47
  • 82
  • 74
  • 69
  • 86
  • 68
  • 70
  • 156
  • 121
  • 141
  • 201
  • 187
  • 141
  • 208
  • 218
  • 179
  • 185
  • 118
  • 118
  • 97
  • 100
  • 96
  • 82
  • 68
  • 67
  • 53
  • 70
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 8
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 6
  • 2
  • 3
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 6
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 4
  • 3
  • 3
  • 5
  • 7
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 7
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 10
  • 5
  • 2
  • 7
  • 2
  • 2
  • 4
  • 3
  • 12
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 39
  • 29
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 3
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 16
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 6
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 4
  • 7
  • 3
  • 6
  • 23
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 14
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 8
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 5
  • 9
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 6
  • 11
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 12
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 5
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 6
  • 6
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 11
  • 4
  • 8
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 12
  • 3
  • 8
  • 5
  • 4
  • 10
  • 25
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 4
  • 6
  • 6
  • 5
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 6
  • 3
  • 17
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 6
  • 3
  • 7
  • 6
  • 4
  • 3
  • 6
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 5
  • 4
  • 5
  • 3
  • 4
  • 6
  • 5
  • 3
  • 6
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 8
  • 22
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 10
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 7
  • 5
  • 3
  • 7
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 7
  • 6
  • 10
  • 9
  • 6
  • 4
  • 4
  • 30
  • 5
  • 11
  • 4
  • 3
  • 11
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 9
  • 5
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 12
  • 21
  • 6
  • 4
  • 9
  • 5
  • 4
  • 3
  • 35
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 11
  • 17
  • 5
  • 10
  • 3
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 7
  • 6
  • 3
  • 4
  • 13
  • 4
  • 5
  • 4
  • 4
  • 21
  • 6
  • 3
  • 13
  • 5
  • 9
  • 4
  • 4
  • 3
  • 11
  • 4
  • 5
  • 4
  • 6
  • 18
  • 5
  • 11
  • 4
  • 4
  • 3
Verlag
  • 4180
  • 1
  • 5
  • 18
Preis
  • 13
  • 146
  • 3254
  • 791
Sprachen
  • 4204
  • 5
Verfügbarkeit
  • 4201
  • 3
Eigenschaften
  • 2
Katalog
  • 4204
  • 239
4.204  Treffer  für „Lecture Notes in Computer Science“


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

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03417-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Colombo / Leucker Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03768-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Desel / Kalenkova Application and Theory of Petri Nets and Concurrency

    47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22-26, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-27878-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    McIlraith / Plexousakis / Harmelen The Semantic Web - ISWC 2004

    Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23798-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blockeel / Ramon / Shavlik Inductive Logic Programming

    17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78468-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Arbab / Sirjani Fundamentals of Software Engineering

    5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40212-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Erlingsson / Wieringa / Zannone Engineering Secure Software and Systems

    Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19124-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fitzgerald / Hayes FM 2005: Formal Methods

    International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27882-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barbosa / Markopoulos / Paternò End-User Development

    6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cao / Yang / Guo Parallel and Distributed Processing and Applications

    Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24128-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nunes Alonso / Palmieri Distributed Applications and Interoperable Systems

    26th IFIP WG 6.1 International Conference, DAIS 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-27357-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Asano Algorithms and Computation

    17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49694-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization

    Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-01869-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Verdone Wireless Sensor Networks

    5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77689-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gorentla Venkata / Shamis / Imam OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

    Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26427-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bal / Belkhouche / Cardelli Internet Programming Languages

    ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Missaoui / Schmid Formal Concept Analysis

    4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32203-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kameyama / Stuckey Functional and Logic Programming

    7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21402-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Iliopoulos / Leong / Sung Combinatorial Algorithms

    29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94666-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liskov / Atkinson / Bloom CLU

    Reference Manual
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10836-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kündig / Bührer / Dähler Embedded Systems

    New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18581-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee / Barley Intelligent Agents and Multi-Agent Systems

    6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings
    1990
    Verlag: Springer
    ISBN: 978-3-540-20460-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Proietti / Seki Logic-Based Program Synthesis and Transformation

    24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17821-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baeten / Lenstra / Parrow Automata, Languages and Programming

    30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40493-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    The Munich Project CIP

    Volume I: The Wide Spectrum Language CIP-L
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15187-6
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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