Katalog der Deutschen Nationalbibliothek

Neuigkeiten Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.
 
Neuigkeiten Leipzig: Freitag, 31. Oktober 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // Friday, 31 October 2025: The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: "Max" and "Planck"



Treffer 37 von 291 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/129366460X
Titel Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness / Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani ; Department of Computer Science and Engineering, Indian Institute of Technology Delhi, India; Max Planck Institute for Software Systems, Germany; Institute of Science and Technology Austria, Austria
Person(en) Banerjee, Tamajit (Verfasser)
Majumdar, Rupak (Verfasser)
Mallik, Kaushik (Verfasser)
Schmuck, Anne-Kathrin (Verfasser)
Soudjani, Sadegh (Verfasser)
Organisation(en) Department of Computer Science and Engineering, Indian Institute of Technology Delhi, India
Max Planck Institute for Software Systems, Germany
Institute of Science and Technology Austria, Austria
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:101:1-2023062312020686912139
DOI: 10.46298/theoretics.23.4
URL https://theoretics.episciences.org/9876 (Verlag) (kostenfrei zugänglich)
Zeitliche Einordnung Erscheinungsdatum: 2023
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: TheoretiCS (Bd. 2, 2023)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 37 von 291
< < > <


E-Mail-IconAdministration