Fachgebiet
Medium
  • 10644
Erscheinungsjahr
  • 322
  • 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
  • 10584
  • 3
  • 6
  • 1
  • 7
  • 4
  • 1
  • 35
Preis
  • 42
  • 381
  • 8115
  • 2106
Sprachen
  • 10639
  • 16
  • 13
Verfügbarkeit
  • 10632
  • 12
Eigenschaften
  • 8
Katalog
  • 10644
  • 556
10.644  Treffer  für „Lecture Notes in Computer Science“


    Bidoit / Mosses CASL User Manual

    Introduction to Using the Common Algebraic Specification Language
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20766-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Petriu / Rouquette / Haugen Model Driven Engineering Languages and Systems

    13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16144-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kirchner / Ringeissen Algebraic Methodology and Software Technology

    9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Van Gool Pattern Recognition

    24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44209-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dubois / Wolff Tests and Proofs

    12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92993-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Panayiotou / Ellinas / Kyriakides Critical Information Infrastructures Security

    9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31663-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    De Paolis / Arpaia / Sacco Extended Reality

    International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-71709-3
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Supnithi / Yamaguchi / Pan Semantic Technology

    4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-15614-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bogdan / Gulliksen / Sauer Human-Centered and Error-Resilient Systems Development

    IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, Augu
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44901-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    O'Sullivan Principles and Practice of Constraint Programming

    20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10427-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45233-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Perny / Pirlot / Tsoukiàs Algorithmic Decision Theory

    Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41574-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Escobar Rewriting Logic and Its Applications

    10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12903-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dastani / Sirjani Fundamentals of Software Engineering

    7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68971-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Costantini / Franconi / Van Woensel Rules and Reasoning

    International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61251-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kaklamanis / Pruhs Approximation and Online Algorithms

    11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08000-0
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Freksa / Knauff / Krieg-Brückner Spatial Cognition IV, Reasoning, Action, Interaction

    International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25048-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types

    11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33611-4
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Steinmetz / Wolf Interactive Distributed Multimedia Systems and Telecommunication Services

    4th International Workshop, IDMS '97, Darmstadt, Germany, September 10-12, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63519-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Varadharajan / Mu Information Security and Privacy

    6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42300-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee / Howard / Kang Convergence and Hybrid Information Technology

    6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32644-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Horimoto / Nakatsui / Popov Algebraic and Numeric Biology

    4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28066-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Asperti / Bancerek / Trybulec Mathematical Knowledge Management

    Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23029-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bruni / Wolf Web Services and Formal Methods

    5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01363-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kasturi / Tombre Graphics Recognition. Methods and Applications

    First International Workshop, University Park, PA, USA, August (10-11), 1995. Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61226-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