Fachgebiet
Medium
  • 4333
Erscheinungsjahr
  • 39
  • 195
  • 234
  • 193
  • 129
  • 47
  • 27
  • 37
  • 49
  • 70
  • 44
  • 58
  • 70
  • 69
  • 76
  • 67
  • 67
  • 157
  • 138
  • 154
  • 195
  • 185
  • 153
  • 201
  • 218
  • 182
  • 181
  • 113
  • 119
  • 92
  • 103
  • 96
  • 80
  • 67
  • 66
  • 50
  • 70
  • 39
  • 40
  • 30
  • 31
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 8
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 4
  • 3
  • 4
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 10
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 9
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 6
  • 4
  • 4
  • 2
  • 6
  • 4
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 11
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 12
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 10
  • 9
  • 5
  • 3
  • 4
  • 10
  • 3
  • 6
  • 6
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 7
  • 38
  • 29
  • 3
  • 3
  • 4
  • 5
  • 11
  • 3
  • 7
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 16
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 8
  • 6
  • 25
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 6
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 12
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 8
  • 3
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 8
  • 6
  • 4
  • 8
  • 5
  • 7
  • 4
  • 7
  • 3
  • 4
  • 7
  • 5
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 8
  • 4
  • 10
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 3
  • 12
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 10
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 12
  • 4
  • 4
  • 3
  • 9
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 14
  • 8
  • 3
  • 9
  • 3
  • 4
  • 4
  • 10
  • 23
  • 7
  • 3
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 10
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 9
  • 6
  • 3
  • 5
  • 5
  • 4
  • 5
  • 8
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 20
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 6
  • 5
  • 5
  • 4
  • 22
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 6
  • 7
  • 3
  • 6
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 8
  • 4
  • 5
  • 3
  • 5
  • 6
  • 9
  • 9
  • 4
  • 3
  • 5
  • 4
  • 29
  • 5
  • 11
  • 4
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 10
  • 8
  • 5
  • 4
  • 4
  • 5
  • 4
  • 7
  • 12
  • 20
  • 7
  • 5
  • 9
  • 6
  • 4
  • 3
  • 5
  • 3
  • 35
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 11
  • 22
  • 3
  • 8
  • 6
  • 4
  • 3
  • 15
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 12
  • 3
  • 4
  • 4
  • 4
  • 21
  • 7
  • 3
  • 3
  • 4
  • 10
  • 6
  • 6
  • 10
  • 3
  • 6
  • 13
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 4
  • 20
  • 5
  • 10
  • 5
  • 4
  • 3
  • 3
Verlag
  • 2
  • 4288
  • 1
  • 1
  • 1
  • 6
  • 8
  • 4
  • 7
  • 15
Preis
  • 13
  • 162
  • 3363
  • 795
Sprachen
  • 4333
  • 5
Verfügbarkeit
  • 4257
  • 76
Eigenschaften
  • 4
Katalog
  • 4333
  • 243
4.333  Treffer  für „Lecture Notes in Computer Science“


    Jones / Pihlajasaari / Sun FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bellatreche / Pastor / Almendros Jiménez Model and Data Engineering

    6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45546-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Moura / Crochemore String Processing and Information Retrieval

    21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11917-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sano / Soudris / Hübner Applied Reconfigurable Computing

    11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-16213-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gaspar-Cunha / Henggeler Antunes / Coello Evolutionary Multi-Criterion Optimization

    8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
    2015
    Verlag: Springer
    ISBN: 978-3-319-15933-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Di Marzo Serugendo / Loreti Coordination Models and Languages

    20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92407-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Butler / Conchon / Zaïdi Formal Methods and Software Engineering

    17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Iklé / Kolonin / Bennett Artificial General Intelligence

    18th International Conference, AGI 2025, Reykjavic, Iceland, August 10-13, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00799-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Yevtushenko / Cavalli / Yenigün Testing Software and Systems

    29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67548-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Deng Algorithmic Game Theory

    11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99659-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Parashar Grid Computing - GRID 2002

    Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00133-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee / Kang Mobile Communications

    7th CDMA International Conference, CIC 2002, Seoul, Korea, October 29 - November 1, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00732-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002

    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00141-6
    Medium: Buch
    53,49 € (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

    Dietz Languages and Compilers for Parallel Computing

    14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-04029-3
    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

    Even / Kariv Automata, Languages and Programming

    Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barringer A Survey of Verification Techniques for Parallel Programs

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sherman Paragon

    A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15212-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Matsuno / Liu / Yin Intelligent Robotics and Applications

    18th International Conference, ICIRA 2025, Okayama, Japan, August 6-9, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952100-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Haxthausen / Serwe Formal Methods for Industrial Critical Systems

    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68149-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Li / Chbeir / Zong Web and Big Data

    9th International Joint Conference, APWeb-WAIM 2025, Shenyang, China, August 28-30, 2025, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-955715-8
    Medium: Buch
    113,41 € (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



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