Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag 31. Oktober 2019 (Reformationstag): Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums im Erweiterungsbau sind von 10 bis 18 Uhr geöffnet. Die Präsentation „Fonts for Freedom“ ist geschlossen. // Thursday 31 October (Reformation Day): The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing in the annex will remain opened. The presentation “Fonts for Freedom” will be closed.
 
Neuigkeiten Samstag 26. Oktober 2019: Die Deutsche Nationalbibliothek in Leipzig schließt wegen einer Veranstaltung bereits um 15:30 Uhr. Die Ausstellungen des Deutschen Buch- und Schriftmuseums im Erweiterungsbau sind bis 18:00 Uhr geöffnet, die Präsentation „Fonts for Freedom“ bis 15:30 Uhr. // Saturday 26 October: The German National Library in Leipzig will close due to an event at 15:30. The exhibitions of the German Museum of Books and Writing in the annex shall remain open until 18:00, the presentation “Fonts for Freedom” until 15:30.
 
 

Ergebnis der Suche nach: nid=4017848-1



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/4017848-1
Sachbegriff Formale Sprache
Quelle M, Au=DB
Synonyme Formalsprache
Kalkülsprache
Künstliche Sprache <Formale Sprache>
Oberbegriffe Kunstsprache
Thematischer Bezug Verwandter Begriff: Logische Sprache
DDC-Notation 005.131
511.3
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Formal languages
RAMEAU: Langages formels
Untergeordnet 12 Datensätze
  1. Authomath
    Formale Sprache
  2. Bildbeschreibungssprache
    Formale Sprache
  3. ...
Thema in 221 Publikationen
  1. Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
    Gumm, Heinz-Peter. - Berlin/Boston : De Gruyter, 2019, 1. Auflage
  2. Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
    Gumm, Heinz-Peter. - Berlin : De Gruyter, [2019], [1. Auflage]
  3. ...
Maschinell verknüpft mit 6 Publikationen
  1. Terminologie des Übersetzerbaus
    Knauber, Peter. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 2017
  2. Spiking Neural P-Systeme
    Püschel, Andy. - Saarbrücken : AV Akademikerverlag, 2016, 1. Auflage
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration