Ergebnisse filtern
Fachgebiet
Medium
  • 3609
Erscheinungsjahr
  • 97
  • 477
  • 463
  • 81
  • 41
  • 25
  • 41
  • 48
  • 54
  • 60
  • 63
  • 44
  • 39
  • 47
  • 48
  • 48
  • 125
  • 97
  • 125
  • 159
  • 153
  • 115
  • 193
  • 175
  • 153
  • 134
  • 92
  • 72
  • 56
  • 44
  • 54
  • 36
  • 35
  • 20
  • 13
  • 21
  • 15
  • 19
  • 4
  • 8
  • 4
  • 7
  • 1
  • 2
  • 1
Autoren
  • 2
  • 3
  • 6
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 6
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 11
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 7
  • 4
  • 2
  • 6
  • 14
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 8
  • 16
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 5
  • 7
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 11
  • 3
  • 15
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 16
  • 8
  • 18
  • 2
  • 3
  • 15
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 3
  • 4
  • 6
  • 7
  • 2
  • 13
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 3
  • 3
  • 2
  • 2
  • 3
  • 14
  • 10
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 8
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 3
  • 8
  • 8
  • 3
  • 3
  • 3
  • 21
  • 20
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 27
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 6
  • 3
  • 5
  • 8
  • 6
  • 7
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 30
  • 3
  • 4
  • 31
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 37
  • 4
  • 3
  • 4
  • 3
  • 13
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 5
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 9
  • 5
  • 3
  • 4
  • 12
  • 4
  • 3
  • 15
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 37
  • 3
  • 4
  • 4
  • 5
  • 9
  • 3
  • 5
  • 4
  • 4
  • 5
  • 8
  • 3
  • 7
  • 5
  • 4
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 11
  • 3
  • 4
  • 9
  • 8
  • 7
  • 17
  • 4
  • 5
  • 3
  • 3
  • 25
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 20
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 7
  • 11
  • 4
  • 12
  • 4
  • 3
  • 3
  • 3
  • 17
  • 7
  • 3
  • 10
  • 5
  • 5
  • 3
  • 10
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 85
  • 3
  • 16
  • 15
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 8
  • 4
  • 3
  • 4
  • 18
  • 3
  • 18
  • 3
  • 3
  • 3
  • 15
  • 5
  • 8
  • 6
  • 6
  • 4
  • 3
  • 4
  • 6
  • 9
  • 5
  • 6
  • 5
  • 4
  • 3
  • 18
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 9
  • 3
  • 6
  • 8
  • 3
  • 5
  • 10
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 18
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 6
  • 3
  • 3
  • 33
  • 3
  • 12
  • 5
  • 6
  • 8
  • 4
  • 4
  • 3
  • 8
  • 9
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 5
  • 4
  • 4
  • 7
  • 3
  • 7
  • 7
  • 5
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 16
  • 5
  • 3
  • 5
  • 13
  • 4
  • 3
  • 6
  • 3
  • 5
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 7
  • 7
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 12
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 7
  • 5
  • 5
  • 4
  • 8
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 12
  • 5
  • 86
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 6
  • 5
  • 86
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 24
  • 3
  • 11
  • 86
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 8
  • 5
  • 3
  • 8
  • 86
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 3
  • 3
  • 6
  • 4
  • 14
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 15
  • 3
  • 17
  • 3
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 3
  • 5
  • 10
  • 3
  • 5
  • 11
  • 10
  • 8
  • 3
  • 3
  • 7
  • 8
  • 4
  • 3
  • 5
  • 5
  • 15
  • 3
  • 6
  • 6
  • 3
  • 22
  • 9
  • 8
  • 3
  • 6
  • 3
  • 15
  • 4
  • 6
  • 6
  • 6
  • 10
  • 3
  • 7
  • 14
  • 4
  • 6
  • 9
  • 86
  • 5
  • 4
  • 4
  • 8
  • 9
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 18
  • 4
  • 4
  • 6
  • 21
  • 5
  • 10
  • 4
  • 4
  • 3
  • 4
  • 18
  • 4
  • 44
  • 4
  • 4
  • 4
  • 27
  • 4
  • 14
  • 33
  • 15
  • 4
  • 6
  • 3
  • 18
  • 7
  • 20
  • 14
  • 4
  • 4
  • 10
  • 4
  • 4
Verlag
  • 3
  • 3579
  • 1
  • 1
  • 1
  • 3
  • 1
  • 20
Preis
  • 1
  • 77
  • 2827
  • 704
Sprachen
  • 3609
  • 1
Verfügbarkeit
  • 3607
  • 2
Eigenschaften
  • 3
Katalog
  • 3609
  • 336
3.609  Treffer  für „Lecture Notes in Computer Science“
    Jager / Pan | Public-Key Cryptography - PKC 2025 | Buch | Sack Fachmedien

    Jager / Pan Public-Key Cryptography - PKC 2025

    28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-91828-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Web Services - ICWS 2024 | Buch | Sack Fachmedien

    Zhang Web Services - ICWS 2024

    31st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-77071-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieser / Tanaka | Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets | Buch | Sack Fachmedien

    Grieser / Tanaka Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets

    International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24465-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Cai | Big Data - BigData 2024 | Buch | Sack Fachmedien

    Zhang / Cai Big Data - BigData 2024

    13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-77087-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bougé / Forsell / Larsson Träff | Euro-Par 2007 Workshops: Parallel Processing | Buch | Sack Fachmedien

    Bougé / Forsell / Larsson Träff Euro-Par 2007 Workshops: Parallel Processing

    HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78472-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kalker / Ro / Cox | Digital Watermarking | Buch | Sack Fachmedien

    Kalker / Ro / Cox Digital Watermarking

    Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21061-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Kreowski / Lescanne | Algebraic System Specification and Development | Buch | Sack Fachmedien

    Bidoit / Kreowski / Lescanne Algebraic System Specification and Development

    A Survey and Annotated Bibliography
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54060-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katsaros | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Katsaros Model-Based Safety and Assessment

    9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05072-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pande / Agrawal | Compiler Optimizations for Scalable Parallel Systems | Buch | Sack Fachmedien

    Pande / Agrawal Compiler Optimizations for Scalable Parallel Systems

    Languages, Compilation Techniques, and Run Time Systems
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41945-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeng / Gotham / Komatsu | Intelligence and Security Informatics: Biosurveillance | Buch | Sack Fachmedien

    Zeng / Gotham / Komatsu Intelligence and Security Informatics: Biosurveillance

    Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72607-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | FM8501: A Verified Microprocessor | Buch | Sack Fachmedien

    Hunt FM8501: A Verified Microprocessor

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57960-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph Job Scheduling Strategies for Parallel Processing

    IPPS/SPDP'98 Workshop, Orlando, Florida, USA, March 30, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64825-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collart-Dutilleul / Ouchani / Cuppens | Risks and Security of Internet and Systems | Buch | Sack Fachmedien

    Collart-Dutilleul / Ouchani / Cuppens Risks and Security of Internet and Systems

    19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-89349-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Regazzoni / Mazumdar / Parameswaran | Security, Privacy, and Applied Cryptography Engineering | Buch | Sack Fachmedien

    Regazzoni / Mazumdar / Parameswaran Security, Privacy, and Applied Cryptography Engineering

    13th International Conference, SPACE 2023, Roorkee, India, December 14-17, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51582-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strohmeier | Reliable Software Technologies - Ada Europe 96 | Buch | Sack Fachmedien

    Strohmeier Reliable Software Technologies - Ada Europe 96

    1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosen / Strohmeier | Reliable Software Technologies -- Ada-Europe 2003 | Buch | Sack Fachmedien

    Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003

    8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40376-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Savas / Moradi / Leander | Lightweight Cryptography for Security and Privacy | Buch | Sack Fachmedien

    Savas / Moradi / Leander Lightweight Cryptography for Security and Privacy

    6th International Workshop, LightSec 2025, Istanbul, Türkiye, September 1-2, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Palgrave Macmillan
    ISBN: 978-3-032-15540-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Decker / Schaumüller-Bichl | Communications and Multimedia Security | Buch | Sack Fachmedien

    De Decker / Schaumüller-Bichl Communications and Multimedia Security

    11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13240-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fasel / Keller | Graph Reduction | Buch | Sack Fachmedien

    Fasel / Keller Graph Reduction

    Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18420-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ventre / Canonico | Interactive Multimedia on Next Generation Networks | Buch | Sack Fachmedien

    Ventre / Canonico Interactive Multimedia on Next Generation Networks

    First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20534-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foresti / Persiano | Cryptology and Network Security | Buch | Sack Fachmedien

    Foresti / Persiano Cryptology and Network Security

    15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48964-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haridi / Ali / Magnusson | EURO-PAR '95: Parallel Processing | Buch | Sack Fachmedien

    Haridi / Ali / Magnusson EURO-PAR '95: Parallel Processing

    First International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60247-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwyer | Model Checking Software | Buch | Sack Fachmedien

    Dwyer Model Checking Software

    8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42124-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Merz / Spies | Formal Systems Specification | Buch | Sack Fachmedien

    Broy / Merz / Spies Formal Systems Specification

    The RPC-Memory Specification Case Study
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61984-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asplund | Reliable Software Technologies - Ada-Europe '98 | Buch | Sack Fachmedien

    Asplund Reliable Software Technologies - Ada-Europe '98

    1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64536-8
    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