Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: dcs=1*

Zurück zur Trefferliste


Treffer 96512 von 96892 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4135577-5
Sachbegriff Verifikation
Quelle M 1.
Erläuterungen Definition: verknüpfe mit Anwendungsgebiet
Synonyme Verifizierung
Verifizierbarkeit
Oberbegriffe Logik
Erkenntnis
Thematischer Bezug Verwandter Begriff: Wahrheit
DDC-Notation 121
160
111.8
Systematik 4.3 Erkenntnistheorie, Logik
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Verification (Empiricism)
RAMEAU: Vérifiabilité (épistémologie)
Untergeordnet 4 Datensätze
  1. Autopsie
    Verifikation
  2. Hardwareverifikation
    Verifikation
  3. ...
Thema in 683 Publikationen
  1. MBMV 2023
    Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (26. : 2023 : Freiburg im Breisgau). - Leipzig : Deutsche Nationalbibliothek, 2025
  2. MBMV 2024
    Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern). - Leipzig : Deutsche Nationalbibliothek, 2025
  3. ...
Maschinell verknüpft mit 140 Publikationen
  1. Advancing security protocol verification
    Dax, Alexander. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2025
  2. Computational Limits of Population Protocols: Space Complexity, Robustness and Expressive Power
    Czerner, Philipp. - München : Universitätsbibliothek der TU München, 2025
  3. ...





Treffer 96512 von 96892
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration