Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Dienstag, 17. Juni 2025: Die Deutsche Nationalbibliothek ist wegen eines Beschäftigtentreffens an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 in Frankfurt sind geschlossen. // Tuesday, 17 June 2025: The German National Library will be closed at both locations due to a staff meeting. The exhibitions of the German Museum of Books and Writing in Leipzig will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933-1945 in Frankfurt will be closed.
 
 

Ergebnis der Suche nach: "11801109X"

Zurück zur Trefferliste


Treffer 1 von 54 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1366751884
Titel Enhancing the effectiveness of STLs for GPUs via bounded model checking
Person(en) Deligiannis, Nikolaos Ioannis (Verfasser)
Faller, Tobias (Verfasser)
Rodriguez Condia, Josie Esteban (Verfasser)
Cantoro, Riccardo (Verfasser)
Becker, Bernd (Verfasser)
Sonza Reorda, Matteo (Verfasser)
Verlag Freiburg : Universität
Zeitliche Einordnung Erscheinungsdatum: 2025
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:bsz:25-freidok-2644662
DOI: 10.1145/3706635
URL https://freidok.uni-freiburg.de/data/264466 (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen ACM transactions on design automation of electronic systems. - 30, 2 (2025) , 1-24, ISSN: 1557-7309
DDC-Notation 006.6 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 54
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration