Fachgebiet
Medium
  • 4146
Erscheinungsjahr
  • 25
  • 240
  • 183
  • 127
  • 47
  • 20
  • 39
  • 47
  • 67
  • 56
  • 61
  • 79
  • 66
  • 80
  • 83
  • 67
  • 150
  • 139
  • 145
  • 200
  • 192
  • 137
  • 212
  • 222
  • 183
  • 181
  • 120
  • 121
  • 85
  • 100
  • 95
  • 83
  • 68
  • 66
  • 50
  • 67
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 8
  • 3
  • 5
  • 2
  • 3
  • 5
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 15
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 3
  • 4
  • 5
  • 4
  • 2
  • 6
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 11
  • 2
  • 4
  • 8
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 10
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 8
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 36
  • 27
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 4
  • 2
  • 9
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 12
  • 6
  • 22
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 6
  • 5
  • 11
  • 3
  • 3
  • 6
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 15
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 4
  • 3
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 6
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 3
  • 4
  • 3
  • 6
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 5
  • 6
  • 6
  • 5
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 12
  • 4
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 4
  • 4
  • 8
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 5
  • 5
  • 11
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 11
  • 3
  • 9
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 5
  • 3
  • 4
  • 10
  • 21
  • 7
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 5
  • 5
  • 3
  • 6
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 5
  • 5
  • 17
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 7
  • 7
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 8
  • 4
  • 9
  • 18
  • 7
  • 6
  • 4
  • 3
  • 7
  • 4
  • 6
  • 3
  • 7
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 11
  • 9
  • 7
  • 4
  • 4
  • 31
  • 4
  • 11
  • 3
  • 12
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 26
  • 4
  • 6
  • 9
  • 3
  • 5
  • 33
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 10
  • 6
  • 18
  • 8
  • 9
  • 4
  • 6
  • 3
  • 11
  • 4
  • 4
  • 7
  • 4
  • 8
  • 4
  • 5
  • 4
  • 4
  • 3
  • 21
  • 6
  • 3
  • 5
  • 12
  • 6
  • 7
  • 5
  • 4
  • 3
  • 10
  • 3
  • 5
  • 6
  • 5
  • 4
  • 20
  • 5
  • 4
  • 6
  • 3
  • 4
  • 4
  • 6
Verlag
  • 4118
  • 1
  • 3
  • 24
Preis
  • 13
  • 137
  • 3215
  • 781
Sprachen
  • 4146
  • 5
Verfügbarkeit
  • 4142
  • 4
Eigenschaften
  • 1
Katalog
  • 4146
  • 238
4.146  Treffer  für „Lecture Notes in Computer Science“


    Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-08165-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Naldi / Djemame / Altmann Economics of Grids, Clouds, Systems, and Services

    20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81225-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Ludwig / Toumani Service-Oriented Computing

    10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34320-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking

    5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66499-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jensen / Podelski Tools and Algorithms for the Construction and Analysis of Systems

    10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21299-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Katwijk Ada: Moving Towards 2000

    11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55585-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nieuwenhuis Automated Deduction - CADE-20

    20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28005-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sakallah / Simon Theory and Application of Satisfiability Testing

    14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21580-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hermanns / Sun / Bu Dependable Software Engineering. Theories, Tools, and Applications

    9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8663-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Reed SDL 2003: System Design

    11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40539-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    The Munich Project CIP

    Volume II: The Programme Transformation System CIP-S
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18779-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Adve / Garzarán / Petersen Languages and Compilers for Parallel Computing

    20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85260-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hailpern Verifying Concurrent Processes Using Temporal Logic

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

    Bernhaupt / Ardito / Sauer Human-Centered Software Engineering

    8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 - December 2, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64265-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Weiland / Neuwirth / Kruse High Performance Computing. ISC High Performance 2024 International Workshops

    Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-73715-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part I

    8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14389-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Makedon / Mehlhorn / Papatheodorou VLSI Algorithms and Architectures

    Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16766-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zeadally / Cerqueira / Curado Future Multimedia Networking

    Third International Workshop, FMN 2010, Krakow, Poland, June 17-18, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-13788-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lomuscio / Nepal / Patrizi Service-Oriented Computing--ICSOC 2013 Workshops

    CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06858-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pernul / Tjoa Entity-Relationship Approach - ER '92

    11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56023-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cohen / Rybalchenko Verified Software: Theorie, Tools, Experiments

    5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54107-0
    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

    Munekata / Kunita / Hoshino Entertainment Computing - ICEC 2017

    16th IFIP TC 14 International Conference, Tsukuba City, Japan, September 18-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66714-0
    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

    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



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