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
 
 

Ergebnis der Suche nach: nid=4175841-9



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4175841-9
Sachbegriff Programmanalyse
Quelle Lex. Informatik
Synonyme Algorithmenanalyse
Thematischer Bezug Verwandter Begriff: Programmverstehen
DDC-Notation 005.16
005.14
005.12028
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Untergeordnet 2 Datensätze
  1. Program Slicing
    Programmanalyse
  2. Statische Analyse
    Programmanalyse
Thema in 220 Publikationen
  1. Programming languages and systems
    ESOP (26. : 2017 : Uppsala). - Berlin : Springer, [2017], [1st edition]
  2. Numeric inference of heap shapes for the automated analysis of heap-allocating programs
    Siegel, Holger. - München : Verlag Dr. Hut, 2016, 1. Auflage
  3. ...
Maschinell verknüpft mit 37 Publikationen
  1. Automated Reasoning under Weak Memory Consistency
    Kokologiannakis, Michail. - Kaiserslautern-Landau : Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2024
  2. Data Literacy als Gegenstand der Erwachsenenbildung – eine Programmanalyse
    Enthalten in Zeitschrift für Weiterbildungsforschung 18.1.2024: 1-22
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration