Emmelmann, Helmut: Codeselektion mit regulär gesteuerter Termersetzung
/ Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - 228 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 241)
ISBN 978-3-486-23252-3 / 3-486-23252-5 kart. : DM 59.00, sfr 59.00, S 461.00
Quelle: DNB
Brugger, Hermann: Implementierung eines echtzeitfähigen Rechnersystems zur Bewegungsregelung eines autonomen mobilen Roboters
/ Hermann Brugger. - Als Ms. gedr. - Düsseldorf : VDI-Verl., 2005. - X, 118 S. : Ill., graph. Darst.; 21 cm - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1056)
ISBN 978-3-18-505608-6 / 3-18-505608-6 kart. : EUR 41.00 (nicht im Sortimentsbuchh.), EUR 36.90 (VDI-Mitgliederpr.)
Quelle: DNB
Müller-Olm, Markus: Modular compiler verification
: a refinement algebraic approach advocating stepwise abstraction / Markus Müller-Olm. - Berlin : Springer, 1997. - XII, 250 S.; 24 cm - (Lecture notes in computer science; Vol. 1283)
ISBN 978-3-540-63406-5 / 3-540-63406-1 kart. : DM 66.00
Literaturverz. S. 239 - 243
Quelle: DNB
Mayer, Herbert Georg: Parallel execution enabled by refined source analysis
: cost and benefits in a supercompiler / Herbert Georg Mayer. - München : Oldenbourg, 1996. - 212 S. in getr. Zählung : graph. Darst.; 24 cm - (GMD-Bericht; Nr. 272)
ISBN 978-3-486-24076-4 / 3-486-24076-5 kart. : DM 67.00, sfr 58.00, S 489.00
Quelle: DNB
Kluge, Oliver: Praktische Informationstechnik mit C#
: Anwendungen und Grundlagen ; mit 18 Tabellen / Oliver Kluge. - Berlin : Springer, 2006. - X, 304 S. : Ill., graph. Darst.; 24 cm - (Xpert.press)
ISBN 978-3-540-20812-9 / 3-540-20812-7 Pp. : EUR 44.95, sfr 72.00
Quelle: DNB Verlagsmeldungen
Software and compilers for embedded systems
: 7th international workshop ; proceedings / SCOPES 2003, Vienna, Austria, September 24 - 26, 2003. Andreas Krall (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2826)
ISBN 978-3-540-39920-9
Lizenzpflichtig
Quelle: DNB
Software and compilers for embedded systems
: 7th international workshop ; proceedings / SCOPES 2003, Vienna, Austria, September 24 - 26, 2003. Andreas Krall (ed.). - Berlin : Springer, 2003. - XI, 402 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2826)
ISBN 978-3-540-20145-8 / 3-540-20145-9 kart. : EUR 57.78, sfr 92.50
Literaturangaben
Quelle: DNB
Fülöp, Zoltán: Syntax directed semantics
: formal models based on tree transducers / Zoltán Fülöp ; Heiko Vogler. - Berlin : Springer, 1998. - X, 269 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-64607-5 / 3-540-64607-8 Pp. : DM 89.00
Literaturverz. S. 257 - 263
Quelle: DNB
Types in compilation
: second international workshop ; proceedings / TIC '98, Kyoto, Japan, March 1998. Xavier Leroy ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1473)
ISBN 978-3-540-68308-7
Lizenzpflichtig
Quelle: DNB
