Ergebnisse filtern
Fachgebiet
Medium
  • 357
  • 85
  • 1
Erscheinungsjahr
  • 4
  • 31
  • 32
  • 68
  • 11
  • 11
  • 9
  • 18
  • 11
  • 16
  • 15
  • 14
  • 21
  • 28
  • 32
  • 32
  • 27
  • 14
  • 19
  • 9
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 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
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 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
  • 9
  • 1
  • 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
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 4
  • 3
  • 2
  • 1
  • 2
  • 1
  • 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
  • 29
  • 2
  • 2
  • 10
  • 1
  • 5
  • 5
  • 7
  • 18
  • 63
  • 4
  • 12
  • 14
  • 6
  • 1
  • 2
  • 5
  • 1
  • 12
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 177
  • 3
  • 1
  • 1
  • 10
  • 1
  • 5
  • 1
  • 12
  • 6
  • 1
  • 1
  • 1
Preis
  • 26
  • 116
  • 210
  • 91
Sprachen
  • 369
  • 74
Verfügbarkeit
  • 421
  • 22
Katalog
  • 443
  • 51
443  Titel
    DeRoche | Cybersecurity Controls | Buch | Sack Fachmedien

    DeRoche Cybersecurity Controls

    Design, Implement, and Audit to Protect Your Organization
    1. Auflage 2026
    Verlag: Kogan Page Ltd
    ISBN: 978-1-3986-2936-3
    Medium: Buch
    41,50 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Witte | Testmanagement und Softwaretest | Buch | Sack Fachmedien

    Witte Testmanagement und Softwaretest

    Theoretische Grundlagen und praktische Umsetzung
    2. erweiterte Auflage 2019
    Verlag: Springer
    ISBN: 978-3-658-25086-7
    Medium: Buch
    69,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iqbal / Masoodi / Ahmad Malik | System Reliability and Security | Buch | Sack Fachmedien

    Iqbal / Masoodi / Ahmad Malik System Reliability and Security

    Techniques and Methodologies
    1. Auflage 2023
    Verlag: Auerbach Publications
    ISBN: 978-1-032-38691-1
    Medium: Buch
    93,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herdt | Complete Symbolic Simulation of SystemC Models | Buch | Sack Fachmedien

    Herdt Complete Symbolic Simulation of SystemC Models

    Efficient Formal Verification of Finite Non-Terminating Programs
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-658-12679-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerone / Pihlajasaari | Theoretical Aspects of Computing -- ICTAC 2011 | Buch | Sack Fachmedien

    Cerone / Pihlajasaari Theoretical Aspects of Computing -- ICTAC 2011

    8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23282-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albrecht-Zölch | Testdaten und Testdatenmanagement | Buch | Sack Fachmedien

    Albrecht-Zölch Testdaten und Testdatenmanagement

    Vorgehen, Methoden und Praxis
    1. Auflage 2018
    Verlag: dpunkt.verlag
    ISBN: 978-3-86490-486-8
    Medium: Buch
    42,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almeida / Frade / Pinto | Rigorous Software Development | Buch | Sack Fachmedien

    Almeida / Frade / Pinto Rigorous Software Development

    An Introduction to Program Verification
    2. Auflage 2026
    Verlag: Springer
    ISBN: 978-1-4471-7557-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giannakopoulou / Kroening | Verified Software: Theories, Tools and Experiments | Buch | Sack Fachmedien

    Giannakopoulou / Kroening Verified Software: Theories, Tools and Experiments

    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12153-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Daigl / Glunz | ISO 29119 - Die Softwaretest-Normen verstehen und anwenden | eBook | Sack Fachmedien
    E-Book

    Daigl / Glunz ISO 29119 - Die Softwaretest-Normen verstehen und anwenden

    aktualisierte und erweiterte Auflage
    Verlag: dpunkt.verlag
    ISBN: 978-3-98890-159-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    35,90 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Spillner / Linz | Basiswissen Softwaretest | eBook | Sack Fachmedien
    E-Book

    Spillner / Linz Basiswissen Softwaretest

    Aus- und Weiterbildung zum Certified Tester – Foundation Level nach ISTQB-Standard
    überarbeitete und aktualisierte Auflage
    Verlag: dpunkt.verlag
    ISBN: 978-3-98890-140-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    31,90 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Zhang / Ma | Automatic Generation of Combinatorial Test Data | Buch | Sack Fachmedien

    Zhang / Ma Automatic Generation of Combinatorial Test Data

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43428-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stoelinga / Ruijters / Krcál | Concise Guide to Fault Tree Analysis | Buch | Sack Fachmedien

    Stoelinga / Ruijters / Krcál Concise Guide to Fault Tree Analysis

    Models, Methods and Algorithms
    Erscheinungsjahr 2026
    Verlag: Birkhäuser
    ISBN: 978-3-031-78286-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enea / Piskac | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Enea / Piskac Verification, Model Checking, and Abstract Interpretation

    20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-11244-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parthasarathy / Seshia | Computer Aided Verification | Buch | Sack Fachmedien

    Parthasarathy / Seshia Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legay / Bensalem | Runtime Verification | Buch | Sack Fachmedien

    Legay / Bensalem Runtime Verification

    4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40786-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pinho / González Harbour | Reliable Software Technologies -- Ada-Europe 2006 | Buch | Sack Fachmedien

    Pinho / González Harbour Reliable Software Technologies -- Ada-Europe 2006

    11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34663-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stapp / Roman / Pilaeten | ISTQB® Certified Tester Foundation Level | Buch | Sack Fachmedien

    Stapp / Roman / Pilaeten ISTQB® Certified Tester Foundation Level

    Ein Handbuch zum Selbststudium und zur Prüfungsvorbereitung
    2025
    Verlag: Springer
    ISBN: 978-3-031-64976-9
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crotts | Learning Java | Buch | Sack Fachmedien

    Crotts Learning Java

    A Test-Driven Approach
    2. Auflage 2027
    Verlag: Springer
    ISBN: 978-3-032-40091-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Yamada | Software Reliability Modeling | Buch | Sack Fachmedien

    Yamada Software Reliability Modeling

    Fundamentals and Applications
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-4-431-54564-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Tse | Handbook of Software Fault Localization | Buch | Sack Fachmedien

    Wong / Tse Handbook of Software Fault Localization

    1. Auflage 2023
    Verlag: John Wiley & Sons
    ISBN: 978-1-119-29180-0
    Medium: Buch
    117,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Yin / Jiang | Embedded Software System Testing | Buch | Sack Fachmedien

    Yin / Jiang Embedded Software System Testing

    Automatic Testing Solution Based on Formal Method
    1. Auflage 2025
    Verlag: CRC Press
    ISBN: 978-1-032-48819-6
    Medium: Buch
    82,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murray-Smith | Testing and Validation of Computer Simulation Models | Buch | Sack Fachmedien

    Murray-Smith Testing and Validation of Computer Simulation Models

    Principles, Methods and Applications
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-36266-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palani | Automated Software Testing with Cypress | Buch | Sack Fachmedien

    Palani Automated Software Testing with Cypress

    1. Auflage 2021
    Verlag: Taylor & Francis
    ISBN: 978-0-367-75968-1
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite
    Baumgartner / Klonk / Mastnak | Agile Testing | Buch | Sack Fachmedien

    Baumgartner / Klonk / Mastnak Agile Testing

    Der agile Weg zur Qualität
    3. überarbeitete Auflage 2023
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-47767-4
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Hung / Sokolsky | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Hung / Sokolsky Automated Technology for Verification and Analysis

    18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-59151-9
    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