Ergebnisse filtern
Fachgebiet
Medium
  • 4144
Erscheinungsjahr
  • 232
  • 194
  • 136
  • 46
  • 29
  • 39
  • 44
  • 67
  • 41
  • 66
  • 62
  • 69
  • 82
  • 72
  • 75
  • 154
  • 130
  • 159
  • 202
  • 166
  • 139
  • 216
  • 228
  • 193
  • 179
  • 124
  • 121
  • 94
  • 104
  • 100
  • 84
  • 68
  • 67
  • 49
  • 68
  • 39
  • 41
  • 30
  • 32
  • 20
  • 15
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 8
  • 3
  • 6
  • 2
  • 4
  • 5
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 3
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 7
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 7
  • 3
  • 4
  • 2
  • 9
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 4
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 11
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 3
  • 5
  • 5
  • 2
  • 12
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 6
  • 9
  • 4
  • 4
  • 12
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 41
  • 27
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 8
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 16
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 6
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 6
  • 24
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 3
  • 9
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 7
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 6
  • 5
  • 3
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 13
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 9
  • 3
  • 4
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 6
  • 3
  • 7
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 6
  • 6
  • 4
  • 5
  • 5
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 7
  • 3
  • 5
  • 3
  • 12
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 9
  • 5
  • 4
  • 3
  • 6
  • 3
  • 6
  • 4
  • 4
  • 7
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 5
  • 4
  • 5
  • 3
  • 7
  • 10
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 10
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 10
  • 3
  • 8
  • 6
  • 5
  • 13
  • 21
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 11
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 4
  • 6
  • 4
  • 9
  • 5
  • 6
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 19
  • 4
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 7
  • 3
  • 7
  • 5
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 3
  • 6
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 7
  • 18
  • 3
  • 5
  • 6
  • 3
  • 4
  • 7
  • 6
  • 5
  • 4
  • 3
  • 9
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 7
  • 9
  • 4
  • 3
  • 4
  • 4
  • 31
  • 6
  • 9
  • 3
  • 11
  • 7
  • 3
  • 3
  • 5
  • 7
  • 3
  • 5
  • 6
  • 4
  • 3
  • 4
  • 26
  • 3
  • 7
  • 5
  • 6
  • 9
  • 3
  • 3
  • 29
  • 4
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 5
  • 20
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 9
  • 4
  • 6
  • 3
  • 12
  • 5
  • 4
  • 22
  • 7
  • 9
  • 3
  • 4
  • 11
  • 5
  • 3
  • 4
  • 4
  • 8
  • 3
  • 9
  • 4
  • 5
  • 4
  • 19
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
Verlag
  • 4119
  • 1
  • 2
  • 22
Preis
  • 13
  • 141
  • 3196
  • 794
Sprachen
  • 4144
  • 5
Verfügbarkeit
  • 4141
  • 3
Eigenschaften
  • 1
Katalog
  • 4144
  • 235
4.144  Treffer  für „Lecture Notes in Computer Science“
    Dams / Gerth / Leue | Theoretical and Practical Aspects of SPIN Model Checking | Buch | Sack Fachmedien

    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
    Stefani / Demeure / Hagimont | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Stefani / Demeure / Hagimont Distributed Applications and Interoperable Systems

    4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20529-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bencomo / France / Cheng | Models@run.time | Buch | Sack Fachmedien

    Bencomo / France / Cheng Models@run.time

    Foundations, Applications, and Roadmaps
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08914-0
    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 | Buch | Sack Fachmedien

    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
    Hermanns / Sun / Bu | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    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
    Möhring / Raman | Algorithms - ESA 2002 | Buch | Sack Fachmedien

    Möhring / Raman Algorithms - ESA 2002

    10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44180-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2003: System Design | Buch | Sack Fachmedien

    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
    Sericola / Miklós / Horváth | Analytical and Stochastic Modelling Techniques and Applications | Buch | Sack Fachmedien

    Sericola / Miklós / Horváth Analytical and Stochastic Modelling Techniques and Applications

    21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08218-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    The Munich Project CIP | Buch | Sack Fachmedien

    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
    Furia / Winter | Integrated Formal Methods | Buch | Sack Fachmedien

    Furia / Winter Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-98937-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adve / Garzarán / Petersen | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    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
    Vogler | Modular Construction and Partial Order Semantics of Petri Nets | Buch | Sack Fachmedien

    Vogler Modular Construction and Partial Order Semantics of Petri Nets

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55767-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brat / Rungta / Venet | NASA Formal Methods | Buch | Sack Fachmedien

    Brat / Rungta / Venet NASA Formal Methods

    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38087-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schumacher | Security Engineering with Patterns | Buch | Sack Fachmedien

    Schumacher Security Engineering with Patterns

    Origins, Theoretical Models, and New Applications
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40731-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramos / Unger / Larios | Advanced Distributed Systems | Buch | Sack Fachmedien

    Ramos / Unger / Larios Advanced Distributed Systems

    Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22172-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adleman / Huang | Algorithmic Number Theory | Buch | Sack Fachmedien

    Adleman / Huang Algorithmic Number Theory

    First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58691-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langendoen / Voigt | Wireless Sensor Networks | Buch | Sack Fachmedien

    Langendoen / Voigt Wireless Sensor Networks

    4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69829-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patt / Foglia / Duesterwald | High Performance Embedded Architectures and Compilers | Buch | Sack Fachmedien

    Patt / Foglia / Duesterwald High Performance Embedded Architectures and Compilers

    5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11514-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Jones / Mac An Airchinnigh | VDM '87. VDM - A Formal Method at Work | Buch | Sack Fachmedien

    Bjørner / Jones / Mac An Airchinnigh VDM '87. VDM - A Formal Method at Work

    VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17654-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