Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: dcs=004* or dcs=005* or dcs=006*



Treffer 111 von 3242 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1202298036
Titel Reasoning about non-functional properties using compiler intrinsic function annotations / Shashank Jadhav, Mikko Julian Roth, Heiko Falk, Chris Brown, Adam Barwell
Person(en) Jadhav, Shashank (Verfasser)
Roth, Mikko (Verfasser)
Falk, Heiko (Verfasser)
Brown, Chris (Verfasser)
Barwell, Adam (Verfasser)
Verlag Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg
Zeitliche Einordnung Erscheinungsdatum: 2019
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:gbv:830-882.059842
URL http://hdl.handle.net/11420/4164 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen In: 13th Junior Researcher Workshop on Real-Time Computing (2019)
DDC-Notation 005.453 [DDC23ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 111 von 3242
< < > <


E-Mail-IconAdministration