Ergebnisse filtern
Fachgebiet
Medium
  • 340
  • 85
  • 1
Erscheinungsjahr
  • 16
  • 19
  • 71
  • 11
  • 12
  • 11
  • 22
  • 15
  • 17
  • 15
  • 14
  • 20
  • 28
  • 32
  • 32
  • 27
  • 14
  • 19
  • 10
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 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
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 10
  • 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
  • 3
  • 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
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 3
  • 1
  • 1
  • 2
  • 1
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 6
  • 2
  • 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
  • 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
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 3
  • 1
  • 1
  • 1
  • 5
  • 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
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 1
  • 27
  • 2
  • 13
  • 1
  • 5
  • 5
  • 7
  • 13
  • 63
  • 4
  • 12
  • 13
  • 1
  • 1
  • 2
  • 1
  • 3
  • 5
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 168
  • 1
  • 3
  • 1
  • 10
  • 2
  • 5
  • 12
  • 16
  • 1
  • 1
  • 3
  • 1
Preis
  • 26
  • 112
  • 202
  • 86
Sprachen
  • 358
  • 68
Verfügbarkeit
  • 416
  • 10
Eigenschaften
  • 1
Katalog
  • 426
  • 50
426  Titel
    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
    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
    Gupta | Pro Apache Log4j | Buch | Sack Fachmedien

    Gupta Pro Apache Log4j

    2. Auflage 2014
    Verlag: Apress
    ISBN: 978-1-4302-1159-4
    Medium: Buch
    54,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 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
    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
    Blunden | Software Exorcism | Buch | Sack Fachmedien

    Blunden Software Exorcism

    A Handbook for Debugging and Optimizing Legacy Code
    Softcover Nachdruck of the Original 1. Auflage 2013
    Verlag: Apress
    ISBN: 978-1-4302-5423-2
    Medium: Buch
    26,74 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Bloem / Arbel | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Bloem / Arbel 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
    ISBN: 978-3-319-49051-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
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    L Bratcher | Creating iOS apps with Xcode | eBook | Sack Fachmedien
    E-Book

    L Bratcher Creating iOS apps with Xcode

    Learn how to develop your own app (English Edition)
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-93-5551-944-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    23,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Zhu | Data Plane Development Kit (DPDK) | Buch | Sack Fachmedien

    Zhu Data Plane Development Kit (DPDK)

    A Software Optimization Guide to the User Space-Based Network Applications
    1. Auflage 2020
    Verlag: CRC Press
    ISBN: 978-0-367-37395-5
    Medium: Buch
    78,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deshmukh / Nickovic | Runtime Verification | Buch | Sack Fachmedien

    Deshmukh / Nickovic Runtime Verification

    20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60507-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bhanushali / Achanta | Continuous Integration and Delivery with Test-driven Development | eBook | Sack Fachmedien
    E-Book

    Bhanushali / Achanta Continuous Integration and Delivery with Test-driven Development

    Cultivating quality, speed, and collaboration through automated pipelines (English Edition)
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-93-5551-920-7
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    23,99 € (inkl. MwSt.)
    sofort verfügbar
    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
    Bertacco / Legay | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Bertacco / Legay Hardware and Software: Verification and Testing

    9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03076-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watkins | Agile Testing | Buch | Sack Fachmedien

    Watkins Agile Testing

    How to Succeed in an Extreme Testing Environment
    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-19181-4
    Medium: Buch
    101,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Wagner / Speichert / Fedtke | Penetrationstests erfolgreich umsetzen | Buch | Sack Fachmedien

    Wagner / Speichert / Fedtke Penetrationstests erfolgreich umsetzen

    Praxisleitfaden - Regulatorik - KI-Einflüsse
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-658-47261-0
    Medium: Buch
    49,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singh | Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication | Buch | Sack Fachmedien

    Singh Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication

    1. Auflage 2017
    Verlag: Wiley
    ISBN: 978-1-119-23805-8
    Medium: Buch
    124,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Blunden | Software Exorcism | Buch | Sack Fachmedien

    Blunden Software Exorcism

    1. Auflage 2012
    Verlag: Apress
    ISBN: 978-1-4302-5107-1
    Medium: Buch
    40,65 € (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
    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
    Chockler / Kroening / Mariani | Validation of Evolving Software | Buch | Sack Fachmedien

    Chockler / Kroening / Mariani Validation of Evolving Software

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-38200-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bultan / Yu / Alkhalaf | String Analysis for Software Verification and Security | Buch | Sack Fachmedien

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

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68668-4
    Medium: Buch
    96,29 € (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
    Xie / Xu | Essential Spectrum-based Fault Localization | Buch | Sack Fachmedien

    Xie / Xu Essential Spectrum-based Fault Localization

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-981-336-178-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xie / Xu | Essential Spectrum-based Fault Localization | Buch | Sack Fachmedien

    Xie / Xu Essential Spectrum-based Fault Localization

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-981-336-181-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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