Fachgebiet
Medium
  • 2111
Erscheinungsjahr
  • 50
  • 149
  • 137
  • 111
  • 39
  • 17
  • 26
  • 32
  • 28
  • 27
  • 48
  • 42
  • 32
  • 55
  • 41
  • 38
  • 75
  • 57
  • 62
  • 81
  • 73
  • 61
  • 119
  • 105
  • 95
  • 78
  • 59
  • 51
  • 40
  • 29
  • 36
  • 34
  • 27
  • 31
  • 19
  • 31
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 10
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 10
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 10
  • 5
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 2
  • 6
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 5
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 3
  • 2
  • 3
  • 12
  • 5
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 25
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 3
  • 2
  • 3
  • 3
  • 2
  • 8
  • 4
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 21
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 4
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 6
  • 6
  • 5
  • 2
  • 5
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 7
  • 2
  • 12
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 4
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 7
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 5
  • 3
  • 12
  • 24
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 5
  • 5
  • 6
  • 2
  • 3
  • 6
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 16
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 22
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 9
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 11
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 13
  • 15
  • 2
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 34
  • 3
  • 5
  • 4
  • 6
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 17
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 11
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 6
  • 5
  • 6
  • 4
  • 5
  • 3
  • 4
  • 7
  • 4
  • 17
  • 4
  • 10
  • 4
  • 3
  • 3
  • 5
Verlag
  • 2103
  • 1
  • 7
Preis
  • 4
  • 89
  • 1685
  • 333
Sprachen
  • 2111
Verfügbarkeit
  • 2110
  • 1
Eigenschaften
  • 3
Katalog
  • 2111
  • 134
2.111  Treffer  für „Lecture Notes in Computer Science“


    Lee / Kang / Slezak Future Generation Information Technology

    Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17568-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape

    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-75782-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Knuth / Neuhold Specification and Design of Software Systems

    Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings
    1983
    Verlag: Springer
    ISBN: 978-3-540-12284-5
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Doherty / Blandford Interactive Systems. Design, Specification, and Verification

    13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69553-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sharp Higher-Level Hardware Synthesis

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

    Sledge Software Engineering Education

    SEI Conference 1992, San Diego, California, USA, October 5-7, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55963-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Boral / Faudemay Database Machines

    Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51324-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Esparza / Lakos Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Katsikas / Alcaraz Security and Trust Management

    21st International Workshop, STM 2025, Toulouse, France, September 25-26, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06154-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cortesi Verification, Model Checking, and Abstract Interpretation

    Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43631-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Woodcock / Zhu Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39697-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics

    6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34141-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gollmann Fast Software Encryption

    Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60865-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rios / Posegga Security and Trust Management

    19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47197-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Orejas / Spirakis / Leeuwen Automata, Languages and Programming

    28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42287-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Held On the Computational Geometry of Pocket Machining

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

    Margenov / Wasniewski / Yalamov Large-Scale Scientific Computing

    Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-43043-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dumke / Rautenstrauch / Schmietendorf Performance Engineering

    State of the Art and Current Trends
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42145-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beckert / Damiani / de Boer Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35886-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bowen / Gomes / Liu Engineering Trustworthy Software Systems

    6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-964655-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29131-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Swierstra / Henriques / Oliveira Advanced Functional Programming

    Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66241-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