Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt bleibt vom 10.03. bis 22.03.2025 wegen Umbauarbeiten geschlossen.
The German National Library in Frankfurt will remain closed from March 10 to March 22, 2025, due to renovation work.
 
 

Ergebnis der Suche nach: nid=4242777-0



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4242777-0
Sachbegriff Terminierung <Informatik>
Quelle Du. Informatik
Oberbegriffe Berechnungstheorie
Thematischer Bezug Verwandter Begriff: Halteproblem
DDC-Notation 004.0151
511.352
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 24 Publikationen
  1. Semantics of probabilistic typed lambda calculus
    Draheim, Dirk. - Berlin : Springer, [2017]
  2. On the understanding of protograph-based low-density parity-check convolutional code design
    Grosa, Patrick. - Dresden : Vogt, 2014
  3. ...
Maschinell verknüpft mit 4 Publikationen
  1. Automated termination analysis of C programs
    Hensel, Jera. - Aachen : Universitätsbibliothek der RWTH Aachen, 2023
  2. Telefonische Terminierung von Vorgestellungsgesprächen (Unterweisung Industriekaufmann/-frau)
    München : GRIN Verlag, 2016, 1. Auflage
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration