Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.
 
 

Ergebnis der Suche nach: dcs=004*

Zurück zur Trefferliste


Treffer 11788 von 12218 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4194895-6
Sachbegriff Reduktionssystem
Quelle Lex. Informatik als "Ersetzungssystem"
Erläuterungen Definition: R. dienen zum effektiven Rechnen in Strukturen, die durch Gleichungen definiert sind
Synonyme Rewrite-System
Ersetzungssystem
Rewriting System (Spektrum Lex. Mathematik)
Rewrite-Rule-System
Replacement System
Reduction System
DDC-Notation 004.015113
005.131
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Rewriting systems (Computer science)
RAMEAU: Réécriture, Systèmes de (informatique)
Untergeordnet 4 Datensätze
  1. Graphersetzungssystem
    Reduktionssystem
  2. Spurersetzungssystem
    Reduktionssystem
  3. ...
Thema in 78 Publikationen
  1. Typed lambda calculi and applications
    Heidelberg : Springer, 2013
  2. Typed Lambda Calculi and Applications
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
  3. ...
Maschinell verknüpft mit 6 Publikationen
  1. Kardiale Unterstützungs- und Ersatzsysteme
    Enthalten in Medizinische Klinik, Intensivmedizin und Notfallmedizin 2.5.2017: 1-8
  2. Vergleichende Untersuchung der Zellapoptose mononukleärer Zellen aus Leukozytapheresen und Leukozyten-Reduktion-System-Kammern
    Ziehe, Bettina. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2015
  3. ...





Treffer 11788 von 12218
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration