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 Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: idn=041355776



Zurück



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 634 Publikationen
  1. MBMV 2024
    MBMV (27. : 2024 : Kaiserslautern). - Berlin : VDE VERLAG GMBH, [2024]
  2. Bestimmung der Logik von Innovationsideen für technische Systeme
    Schwarberg, Thomas. - [Aachen] : Apprimus, 2023
  3. ...
Maschinell verknüpft mit 81 Publikationen
  1. Certificates for automata in a hostile environment
    Muskalla, Sebastian. - Braunschweig : Technische Universität Braunschweig, 2024
  2. Fixpoint Checks and Computations for Behavioural Metrics and Games
    Eggert, Richard Otto. - Duisburg : Universität Duisburg-Essen, 2024
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration