Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems

URL:	http://citeseerx.ist.psu.edu/viewdoc/download?doi=...
Dokumenttyp:	Konferenzveröffentlichung
Erscheinungsjahr:	2000
Buchtitel:	Informatik 2000 : Neue Horizonte im neuen Jahrhundert; Berlin, 19. - 22. September 2000
Titel einer Zeitschrift oder einer Reihe:	Informatik
Band/Volume:	30
Seitenbereich:	165-180
Herausgeber:	Mehlhorn, Kurt
Ort der Veröffentlichung:	Berlin
Verlag:	Springer
ISBN:	3-540-67880-8
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik I (Freiling 2005-2010)
Fachgebiet:	004 Informatik

Dieser Eintrag ist Teil der Universitätsbibliographie.

BASE: Theisen, Marc ; Freiling, Felix

Google Scholar: Theisen, Marc ; Freiling, Felix

Aufrufe im letzten Jahr

Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail

Eintrag anzeigen