HEIDI

Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.

Suchhistorie (1 Recherche)

Sortierung: Kein Fach bevorzugen

1.	Klemm, Michael: High performance parallel runtimes : design and implementation / Michael Klemm, Jim Cownie. - Berlin ; Boston: De Gruyter, [2021]. - XXVII, 328 Seiten : Diagramme, ISBN 978-3-11-063268-2 (De Gruyter Graduate) Themen: Compiler \| Computerarchitektur \| Hochleistungsrechnen \| Laufzeitsystem \| Mehrkernprozessor \| Parallelverarbeitung \| Programmierung \| Übersetzerbau Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: LN-U 10-19472 → Andere Auflagen/Ausgaben
2.	Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez. - Cham: Springer, 2016. - Online-Ressource (XXI, 512 p. 111 illus, online resource), ISBN 978-3-319-46982-9 (Lecture Notes in Computer Science ; 10012) (Programming and Software Engineering ; 10012) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-46982-9 Themen: Computerarchitektur \| Formale Methode \| Hardwareverifikation \| Laufzeitsystem \| Programmanalyse \| Programmlaufzeit \| Programmverifikation \| Softwarearchitektur \| Systemanalyse Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben

Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.

Impressum / Datenschutz Design