Nur in Feld suchen:

  • Alles
  • Person/Institution
  • Titel
  • Schlagwort/Stichwort
  • Barcode
  • ISBN/ISSN/ISMN/DOI
  • RVK-Notation
  • Signatur
  • Verlag/Ort
  • Serie/Reihe
  • Provenienz

Zuletzt gesuchte Begriffe:

Ergebnisse

1 – 20 von 546
Zum Inhalt springen
  1. Aniculăesei, Adina [Verfasser:in] ; Rausch, Andreas [Akademische:r Betreuer:in] ; Verlag Dr. Hut, München [Verlag] ; Technische Universität Clausthal [Grad-verleihende Institution]

    Engineering of safety in automated safety-critical systems through design-time verification and runtime validation of environment assumptions - [1. Auflage]

    Medientyp: Bücher
    Online ansehen
    Schließen
    Merkliste Schließen
    Merkliste
    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München: Dr. Hut, 2025

    Erschienen in: ISSE-Dissertation ; 29
  9. Clarke, Edmund M. [Herausgeber:in] ; Henzinger, Thomas [Herausgeber:in] ; Veith, Helmut [Herausgeber:in] ; Bloem, Roderick [Herausgeber:in]

    Handbook of model checking

    Medientyp: Bücher
    Online ansehen
    Schließen
    Merkliste Schließen
    Merkliste
    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2018]

  14. Kurze, Albrecht [Verfasser:in]

    Modellierung des QoS-QoE-Zusammenhangs für mobile Dienste und empirische Bestimmung in einem Netzemulations-Testbed

    Medientyp: Bücher
    Online ansehen
    Schließen
    Merkliste Schließen
    Merkliste
    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Chemnitz: Universitätsverlag Chemnitz, 2016

    Erschienen in: Wissenschaftliche Schriftenreihe Dissertationen der Medieninformatik ; Band 4
  20. 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.]

    Medientyp: Bücher
    Online ansehen
    Schließen
    Merkliste Schließen
    Merkliste
    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Heidelberg: dpunkt.Verlag, [2015]

1 – 20 von 546

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.
Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.