Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: cod="rb"

Zurück zur Trefferliste


Treffer 98419 von 242374 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1366686977
Titel Synthesizing Computable Functions from Rational Specifications over Infinite Words / Emmanuel Filiot, Sarah Winter
Person(en) Filiot, Emmanuel (Verfasser)
Winter, Sarah (Verfasser)
Verlag Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung Erscheinungsdatum: 2021
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-155541
DOI: 10.4230/LIPIcs.FSTTCS.2021.43
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.43 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Leibniz International Proceedings in Informatics, 2021, Volume 213, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), page 43:1-43:16
DDC-Notation 004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 98419 von 242374
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration