Zum Inhalt springen

  1. Kounev, Samuel [VerfasserIn]; Lange, Klaus-Dieter [VerfasserIn]; von Kistowski, Jóakim Gunnarsson [VerfasserIn]

    Systems benchmarking : for scientists and engineers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham, Switzerland: Springer, [2020]

  2. Clarke, Edmund M. [HerausgeberIn]; Henzinger, Thomas [HerausgeberIn]; Veith, Helmut [HerausgeberIn]; Bloem, Roderick [HerausgeberIn]

    Handbook of model checking

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2018]

  3. Steirer, Thomas [Sonstige Person, Familie und Körperschaft]; Baumgartner, Manfred [Sonstige Person, Familie und Körperschaft]; Seidl, Richard [Sonstige Person, Familie und Körperschaft]; Gwihs, Stefan [Sonstige Person, Familie und Körperschaft]

    Basiswissen Testautomatisierung : Konzepte, Methoden und Techniken - [2., aktualisierte und überarb. Aufl.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Heidelberg: dpunkt.verl., 2015