Ergebnisse filtern
Fachgebiet
Medium
  • 312
  • 91
  • 1
Erscheinungsjahr
  • 1
  • 17
  • 32
  • 22
  • 15
  • 17
  • 25
  • 19
  • 28
  • 13
  • 15
  • 22
  • 26
  • 33
  • 30
  • 28
  • 12
  • 17
  • 10
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 1
  • 22
  • 2
  • 13
  • 5
  • 3
  • 1
  • 11
  • 71
  • 4
  • 11
  • 12
  • 2
  • 1
  • 1
  • 1
  • 3
  • 5
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 95
  • 5
  • 2
  • 53
  • 1
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 7
  • 3
  • 12
  • 18
  • 1
  • 1
  • 3
  • 1
Preis
  • 32
  • 105
  • 186
  • 81
Sprachen
  • 339
  • 65
Verfügbarkeit
  • 392
  • 12
Katalog
  • 404
  • 43
404  Titel
    Cotroneo | Innovative Technologies for Dependable OTS-Based Critical Systems | Buch | Sack Fachmedien

    Cotroneo Innovative Technologies for Dependable OTS-Based Critical Systems

    Challenges and Achievements of the CRITICAL STEP Project
    2013
    Verlag: Springer Milan
    ISBN: 978-88-470-5557-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Oviatt | The Paradigm Shift to Multimodality in Contemporary Computer Interfaces | Buch | Sack Fachmedien

    Cohen / Oviatt The Paradigm Shift to Multimodality in Contemporary Computer Interfaces

    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-031-01085-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yahav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eloff / Bihina Bella | Software Failure Investigation | Buch | Sack Fachmedien

    Eloff / Bihina Bella Software Failure Investigation

    A Near-Miss Analysis Approach
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-61333-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rombach / Dumke | Software-Messung und -Bewertung | Buch | Sack Fachmedien

    Rombach / Dumke Software-Messung und -Bewertung

    Tagungsband Workshop der GI-Fachgruppe 2.1.10 10./11. September 2001 an der Universität Kaiserslautern
    2002
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-8244-7592-6
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbel / Bloem | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Arbel / Bloem Hardware and Software: Verification and Testing

    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49051-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaur / Zwolinski / Singh | VLSI Design and Test | Buch | Sack Fachmedien

    Gaur / Zwolinski / Singh VLSI Design and Test

    17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-42023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Regan | Concise Guide to Software Testing | Buch | Sack Fachmedien

    O'Regan Concise Guide to Software Testing

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-28493-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boisvert / Dienstfrey | Uncertainty Quantification in Scientific Computing | Buch | Sack Fachmedien

    Boisvert / Dienstfrey Uncertainty Quantification in Scientific Computing

    10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-43293-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Vos / Nahir | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Biere / Vos / Nahir Hardware and Software: Verification and Testing

    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-39610-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goyal / Pandey | Early Software Reliability Prediction | Buch | Sack Fachmedien

    Goyal / Pandey Early Software Reliability Prediction

    A Fuzzy Logic Approach
    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer India
    ISBN: 978-81-322-1742-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baloch | Web Hacking Arsenal | Buch | Sack Fachmedien

    Baloch Web Hacking Arsenal

    A Practical Guide to Modern Web Pentesting
    1. Auflage 2024
    Verlag: CRC Press
    ISBN: 978-1-032-44717-9
    Medium: Buch
    144,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chopra | Software Testing | Buch | Sack Fachmedien

    Chopra Software Testing

    A Self-Teaching Introduction
    1. Auflage 2018
    Verlag: Mercury Learning and Information
    ISBN: 978-1-68392-166-0
    Medium: Buch
    59,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schultz / Bryant | Game Testing | eBook | Sack Fachmedien
    E-Book

    Schultz / Bryant Game Testing

    All in One
    3. Auflage 2016
    Verlag: De Gruyter
    ISBN: 978-1-944534-42-4
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    35,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Laski / Stanley | Software Verification and Analysis | Buch | Sack Fachmedien

    Laski / Stanley Software Verification and Analysis

    An Integrated, Hands-On Approach
    2009. Auflage 2009
    Verlag: Springer
    ISBN: 978-1-84882-239-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gogolla / Wolff | Tests and Proofs | Buch | Sack Fachmedien

    Gogolla / Wolff Tests and Proofs

    5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21767-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chockler / Sharygina / Kroening | Validation of Evolving Software | Buch | Sack Fachmedien

    Chockler / Sharygina / Kroening Validation of Evolving Software

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-38200-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / Blazy | Static Analysis | Buch | Sack Fachmedien

    Jensen / Blazy Static Analysis

    22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48287-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Biere | Computer Aided Verification | Buch | Sack Fachmedien

    Bloem / Biere Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eveking | Verifikation digitaler Systeme | Buch | Sack Fachmedien

    Eveking Verifikation digitaler Systeme

    Eine Einführung in den Entwurf korrekter digitaler Systeme
    1991
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02249-7
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nordio / Meyer | Tools for Practical Software Verification | Buch | Sack Fachmedien

    Nordio / Meyer Tools for Practical Software Verification

    International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    2012
    Verlag: Springer
    ISBN: 978-3-642-35745-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leavens / O'Hearn / Rajamani | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments

    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15056-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bultan / Aydin / Alkhalaf | String Analysis for Software Verification and Security | Buch | Sack Fachmedien

    Bultan / Aydin / Alkhalaf String Analysis for Software Verification and Security

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68668-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu | Model Checking Software | Buch | Sack Fachmedien

    Pasareanu Model Checking Software

    16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02651-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerny / Korchemny / Dudani | SVA: The Power of Assertions in SystemVerilog | Buch | Sack Fachmedien

    Cerny / Korchemny / Dudani SVA: The Power of Assertions in SystemVerilog

    2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07138-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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