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
    Bultan / Bravetti | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bultan / Bravetti Web Services and Formal Methods

    7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
    2011
    Verlag: Springer
    ISBN: 978-3-642-19588-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palani | The Web Accessibility Project | Buch | Sack Fachmedien

    Palani The Web Accessibility Project

    Development and Testing Best Practices
    1. Auflage 2022
    Verlag: Auerbach Publications
    ISBN: 978-1-032-20200-6
    Medium: Buch
    101,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bärisch | Domain-Specific Model-Driven Testing | Buch | Sack Fachmedien

    Bärisch Domain-Specific Model-Driven Testing

    2010
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-0931-5
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liggesmeyer | Software-Qualität | Buch | Sack Fachmedien

    Liggesmeyer Software-Qualität

    Testen, Analysieren und Verifizieren von Software
    2. Auflage 2009
    Verlag: Spektrum Akademischer Verlag
    ISBN: 978-3-8274-2056-5
    Medium: Buch
    119,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beilner / Bause | Quantitative Evaluation of Computing and Communication Systems | Buch | Sack Fachmedien

    Beilner / Bause Quantitative Evaluation of Computing and Communication Systems

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60300-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codescu / ?u?u / Diaconescu | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Codescu / ?u?u / Diaconescu Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28113-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fähndrich / Logozzo | Static Analysis | Buch | Sack Fachmedien

    Fähndrich / Logozzo Static Analysis

    20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38855-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sebastiani / Cimatti | Theory and Applications of Satisfiability Testing -- SAT 2012 | Buch | Sack Fachmedien

    Sebastiani / Cimatti Theory and Applications of Satisfiability Testing -- SAT 2012

    15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31611-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Magedanz / Gavras / Nguyen | Testbeds and Research Infrastructures, Development of Networks and Communities | Buch | Sack Fachmedien

    Magedanz / Gavras / Nguyen Testbeds and Research Infrastructures, Development of Networks and Communities

    6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17850-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner | Software Product Quality Control | Buch | Sack Fachmedien

    Wagner Software Product Quality Control

    2013
    Verlag: Springer
    ISBN: 978-3-642-38570-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barner / Raz / Harris | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Barner / Raz / Harris Hardware and Software: Verification and Testing

    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    2011
    Verlag: Springer
    ISBN: 978-3-642-19582-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hierons / Harman / Bowen | Formal Methods and Testing | Buch | Sack Fachmedien

    Hierons / Harman / Bowen Formal Methods and Testing

    An Outcome of the FORTEST Network. Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78916-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pecheur / Dierkes | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Pecheur / Dierkes Formal Methods for Industrial Critical Systems

    18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41009-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pajankar | Python Unit Test Automation | Buch | Sack Fachmedien

    Pajankar Python Unit Test Automation

    Automate, Organize, and Execute Unit Tests in Python
    2. Auflage 2021
    Verlag: Apress
    ISBN: 978-1-4842-7853-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofer / Böhm | Physical Unclonable Functions in Theory and Practice | Buch | Sack Fachmedien

    Hofer / Böhm Physical Unclonable Functions in Theory and Practice

    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-1-4939-4498-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmitt | Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance | Buch | Sack Fachmedien

    Schmitt Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

    16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28539-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischbach / Bergsmann / Ramler | Balancing Software Innovation and Regulatory Compliance | Buch | Sack Fachmedien

    Fischbach / Bergsmann / Ramler Balancing Software Innovation and Regulatory Compliance

    17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-89276-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bultan / Aydin / Yu | String Analysis for Software Verification and Security | Buch | Sack Fachmedien

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

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-88637-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gühmann / von Rüden / Riese | Simulation and Testing for Vehicle Technology | Buch | Sack Fachmedien

    Gühmann / von Rüden / Riese Simulation and Testing for Vehicle Technology

    7th Conference, Berlin, May 12-13, 2016
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-32344-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poess / Nambiar | Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Poess / Nambiar Performance Evaluation and Benchmarking

    Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-10423-7
    Medium: Buch
    53,49 € (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
    2011. Auflage 2011
    Verlag: Springer
    ISBN: 978-0-85729-017-5
    Medium: Buch
    37,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang | Software Error Detection Through Testing and Analysis | Buch | Sack Fachmedien

    Huang Software Error Detection Through Testing and Analysis

    1. Auflage 2009
    Verlag: Wiley
    ISBN: 978-0-470-40444-7
    Medium: Buch
    117,50 € (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
    2013
    Verlag: Springer India
    ISBN: 978-81-322-1175-4
    Medium: Buch
    106,99 € (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-32676-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hubertz | Softwaretests mit Python | Buch | Sack Fachmedien

    Hubertz Softwaretests mit Python

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-48602-3
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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