Ergebnisse filtern
Fachgebiet
Medium
  • 325
  • 83
  • 1
Erscheinungsjahr
  • 11
  • 19
  • 70
  • 11
  • 11
  • 11
  • 22
  • 15
  • 17
  • 11
  • 14
  • 19
  • 26
  • 33
  • 30
  • 27
  • 13
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 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
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 5
  • 1
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 2
  • 1
  • 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
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 1
  • 25
  • 2
  • 13
  • 1
  • 3
  • 4
  • 7
  • 14
  • 63
  • 4
  • 11
  • 12
  • 1
  • 1
  • 2
  • 1
  • 5
  • 5
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 151
  • 1
  • 2
  • 8
  • 1
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 12
  • 17
  • 1
  • 1
  • 3
  • 1
Preis
  • 26
  • 108
  • 192
  • 83
Sprachen
  • 342
  • 67
Verfügbarkeit
  • 403
  • 6
Eigenschaften
  • 4
Katalog
  • 409
  • 46
409  Titel
    Xu / Xie | Essential Spectrum-based Fault Localization | Buch | Sack Fachmedien

    Xu / Xie Essential Spectrum-based Fault Localization

    1. Auflage 2021
    Verlag: Springer Nature Singapore
    ISBN: 978-981-336-178-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Nahir / Vos | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

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

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

    Winterholer / Lettnin Embedded Software Verification and Debugging

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-1-4614-2265-5
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paranj | Test Driven Development in Ruby | Buch | Sack Fachmedien

    Paranj Test Driven Development in Ruby

    A Practical Introduction to TDD Using Problem and Solution Domain Analysis
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-2637-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blazy / Jensen | Static Analysis | Buch | Sack Fachmedien

    Blazy / Jensen 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
    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
    Xu / Xie | Essential Spectrum-based Fault Localization | Buch | Sack Fachmedien

    Xu / Xie Essential Spectrum-based Fault Localization

    1. Auflage 2021
    Verlag: Springer Nature Singapore
    ISBN: 978-981-336-181-2
    Medium: Buch
    106,99 € (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
    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
    168,20 € (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
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02651-5
    Medium: Buch
    53,49 € (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
    Wei / Wang / Huang | Industrial Internet Security | Buch | Sack Fachmedien

    Wei / Wang / Huang Industrial Internet Security

    Architecture and Defense
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-965134-4
    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
    Kuhn / Kacker / Lei | Introduction to Combinatorial Testing | eBook | Sack Fachmedien
    E-Book

    Kuhn / Kacker / Lei Introduction to Combinatorial Testing

    1. Auflage 2013
    Verlag: Taylor & Francis
    ISBN: 978-1-4665-5230-2
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    96,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dubois / Wolff | Tests and Proofs | Buch | Sack Fachmedien

    Dubois / Wolff Tests and Proofs

    12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92993-4
    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
    Meyer / Nordio | Tools for Practical Software Verification | Buch | Sack Fachmedien

    Meyer / Nordio Tools for Practical Software Verification

    International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35745-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bitsch / Guiochet / Kaâniche | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bitsch / Guiochet / Kaâniche Computer Safety, Reliability, and Security

    32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40792-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dienstfrey / Boisvert | Uncertainty Quantification in Scientific Computing | Buch | Sack Fachmedien

    Dienstfrey / Boisvert Uncertainty Quantification in Scientific Computing

    10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-43293-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iyoda / de Moura | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Iyoda / de Moura Formal Methods: Foundations and Applications

    16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41070-3
    Medium: Buch
    49,22 € (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
    Chopra | Software Quality Assurance | Buch | Sack Fachmedien

    Chopra Software Quality Assurance

    A Self-Teaching Introduction
    1. Auflage 2018
    Verlag: Mercury Learning and Information
    ISBN: 978-1-68392-168-4
    Medium: Buch
    54,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greffier | Practical Playwright Test | Buch | Sack Fachmedien

    Greffier Practical Playwright Test

    Next-Generation Web Testing and Automation
    1. Auflage 2026
    Verlag: Apress
    ISBN: 979-8-8688-2159-2
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    Biere / Bloem 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
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Di Giandomenico | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bondavalli / Di Giandomenico Computer Safety, Reliability, and Security

    33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10505-5
    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