Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund von Baumaßnahmen ist die Deutsche Nationalbibliothek in Frankfurt am Main vom 28. Oktober bis 9. November 2024 geschlossen.
Due to construction work, the German National Library in Frankfurt am Main will be closed from 28 October to 9 November 2024.
 
 

Ergebnis der Suche nach: idn=940624109






Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4333722-3
Sachbegriff Formale Methode
Quelle analog
Erläuterungen Verwendungshinweis: Möglichst spezifischer indexieren, z.B. Formale Spezifikationstechnik
Synonyme Formales Verfahren
Oberbegriffe Methode
DDC-Notation 004.0151
005.131
Systematik 1 Allgemeines, Interdisziplinäre Allgemeinwörter
Typ Allgemeinbegriff (saz)
Thema in 820 Publikationen
  1. Modellierung komplexer Prozesse durch naturanaloge Verfahren
    Klüver, Christina. - Wiesbaden : Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg, 2024, 4th ed. 2024
  2. Modellierung komplexer Prozesse durch naturanaloge Verfahren
    Klüver, Christina. - Wiesbaden, Germany : Springer Vieweg, [2024], 4. Auflage
  3. ...
Maschinell verknüpft mit 46 Publikationen
  1. Accurate binary-level symbolic execution of embedded firmware
    Tempel, Sören. - Bremen : Staats- und Universitätsbibliothek Bremen, 2024
  2. Certificates for automata in a hostile environment
    Muskalla, Sebastian. - Braunschweig : Technische Universität Braunschweig, 2024
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration