Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Am Samstag, 21. September, ist die Deutsche Nationalbibliothek in Leipzig geschlossen.//On Saturday, 21 September, the German National Library in Leipzig will be closed.
 
 

Ergebnis der Suche nach: ubRef=040389715

Zurück zur Trefferliste


Treffer 2 von 11 < < > <



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 45 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 2 von 11
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration