Ergebnisse filtern
Fachgebiet
Medium
  • 277
  • 29
Erscheinungsjahr
  • 11
  • 17
  • 11
  • 12
  • 20
  • 12
  • 13
  • 12
  • 14
  • 21
  • 27
  • 31
  • 28
  • 22
  • 7
  • 17
  • 9
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
Verlag
  • 1
  • 17
  • 2
  • 2
  • 1
  • 4
  • 3
  • 6
  • 22
  • 4
  • 4
  • 18
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 75
  • 5
  • 2
  • 54
  • 1
  • 2
  • 6
  • 2
  • 1
  • 2
  • 1
  • 2
  • 11
  • 1
  • 3
  • 1
  • 12
  • 13
  • 1
  • 2
  • 1
Preis
  • 4
  • 80
  • 160
  • 62
Sprachen
  • 247
  • 59
Verfügbarkeit
  • 296
  • 10
Katalog
  • 306
  • 29
306  Titel
    Watkins / Mills | Testing IT | Buch | Sack Fachmedien

    Watkins / Mills Testing IT

    2. Auflage 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-14801-6
    Medium: Buch
    97,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schirner / Götz / Rammig | Embedded Systems: Design, Analysis and Verification | Buch | Sack Fachmedien

    Schirner / Götz / Rammig Embedded Systems: Design, Analysis and Verification

    4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38852-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stanley / Laski | Software Verification and Analysis | Buch | Sack Fachmedien

    Stanley / Laski Software Verification and Analysis

    An Integrated, Hands-On Approach
    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer
    ISBN: 978-1-84996-829-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schirner / Götz / Rammig | Embedded Systems: Design, Analysis and Verification | Buch | Sack Fachmedien

    Schirner / Götz / Rammig Embedded Systems: Design, Analysis and Verification

    4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-43028-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Droste | Testmanagement in der Praxis | Buch | Sack Fachmedien

    Merz / Droste Testmanagement in der Praxis

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-49652-7
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled | Software Reliability Methods | Buch | Sack Fachmedien

    Peled Software Reliability Methods

    2001
    Verlag: Springer
    ISBN: 978-1-4419-2876-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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-2771-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrinja / Sillitti / Succi | Open Source Software: Quality Verification | Buch | Sack Fachmedien

    Petrinja / Sillitti / Succi Open Source Software: Quality Verification

    9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-42743-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharma / Gulati | Java Unit Testing with JUnit 5 | Buch | Sack Fachmedien

    Sharma / Gulati Java Unit Testing with JUnit 5

    Test Driven Development with JUnit 5
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-3014-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ostermueller | Troubleshooting Java Performance | Buch | Sack Fachmedien

    Ostermueller Troubleshooting Java Performance

    Detecting Anti-Patterns with Open Source Tools
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-2978-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsadok | Pro iOS Testing | Buch | Sack Fachmedien

    Tsadok Pro iOS Testing

    XCTest Framework for UI and Unit Testing
    1. Auflage 2020
    Verlag: Apress
    ISBN: 978-1-4842-6381-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Norrish / Gonthier | Certified Programs and Proofs | Buch | Sack Fachmedien

    Norrish / Gonthier Certified Programs and Proofs

    Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03544-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrucci / Cavalcanti / Seceleanu | Critical Systems: Formal Methods and Automated Verification | Buch | Sack Fachmedien

    Petrucci / Cavalcanti / Seceleanu Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18¿20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67112-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka / Bonakdarpour | Runtime Verification | Buch | Sack Fachmedien

    Smolka / Bonakdarpour Runtime Verification

    5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11163-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Großmann / Wendland | Risk Assessment and Risk-Driven Testing | Buch | Sack Fachmedien

    Bauer / Großmann / Wendland Risk Assessment and Risk-Driven Testing

    First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07075-9
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woodcock / Shankar | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Woodcock / Shankar Verified Software: Theories, Tools, Experiments

    Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87872-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woodcock / Meyer | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Woodcock / Meyer Verified Software: Theories, Tools, Experiments

    First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69147-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Gurov / Damiani | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

    Beckert / Gurov / Damiani Formal Verification of Object-Oriented Software

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-31761-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parker / Donaldson | Model Checking Software | Buch | Sack Fachmedien

    Parker / Donaldson Model Checking Software

    19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31758-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Mine | Static Analysis | Buch | Sack Fachmedien

    Schmidt / Mine Static Analysis

    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33124-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Julliand / Brucker | Tests and Proofs | Buch | Sack Fachmedien

    Julliand / Brucker Tests and Proofs

    6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30472-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khurshid / Sen | Runtime Verification | Buch | Sack Fachmedien

    Khurshid / Sen Runtime Verification

    Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-29859-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weise / Nielsen | Testing Software and Systems | Buch | Sack Fachmedien

    Weise / Nielsen Testing Software and Systems

    24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-34690-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bisi / Goyal | Artificial Neural Network Applications for Software Reliability Prediction | Buch | Sack Fachmedien

    Bisi / Goyal Artificial Neural Network Applications for Software Reliability Prediction

    1. Auflage 2017
    Verlag: Wiley
    ISBN: 978-1-119-22354-2
    Medium: Buch
    219,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kramer / Legeard | Model-Based Testing Essentials - Guide to the Istqb Certified Model-Based Tester | Buch | Sack Fachmedien

    Kramer / Legeard Model-Based Testing Essentials - Guide to the Istqb Certified Model-Based Tester

    Foundation Level
    1. Auflage 2016
    Verlag: Wiley
    ISBN: 978-1-119-13001-7
    Medium: Buch
    76,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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