Abstract state machines
: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 19 - 24, 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2000. - X, 379 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1912)
ISBN 978-3-540-67959-2 / 3-540-67959-6 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Abstract state machines
: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1912)
ISBN 978-3-540-44518-0
Lizenzpflichtig
Quelle: DNB
Fahringer, Thomas: Advanced symbolic analysis for compilers
: new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer ; Bernhard Scholz. - Berlin : Springer, 2003. - XII, 129 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2628)
ISBN 978-3-540-01185-9 / 3-540-01185-4 kart. : EUR 36.38
Literaturverz. S. 119 - 125
Quelle: DNB
Compiler optimizations for scalable parallel systems
: languages, compilation techniques, and run time systems / S. Pande ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1808)
ISBN 978-3-540-45403-8
Lizenzpflichtig
Quelle: DNB
Dobler, Heinz: Crosscompiler am Beispiel der Übersetzung von Fortran nach Ada
/ Heinz Dobler. - Linz : Trauner, 1994. - IV, 212 S. : graph. Darst.; 21 cm - (Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften; 4)
ISBN 978-3-85320-671-3 / 3-85320-671-9 kart.
Quelle: DNB
High performance embedded architectures and compilers
: second international conference ; proceedings / HiPEAC 2007, Ghent, Belgium, January 28 - 30, 2007. Koen De Bosschere ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4367)
ISBN 978-3-540-69338-3
Lizenzpflichtig
Quelle: DNB
High performance embedded architectures and compilers
: first international conference ; proceedings / HiPEAC 2005, Barcelona, Spain, November 17 - 18, 2005. Tom Conte ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3793)
ISBN 978-3-540-32272-6
Lizenzpflichtig
Quelle: DNB
High performance embedded architectures and compilers
: fourth international conference ; proceedings / HiPEAC 2009, Paphos, Cyprus, January 25 - 28, 2009. André Seznec ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5409)
ISBN 978-3-540-92990-1
Lizenzpflichtig
Quelle: DNB
Implementation of functional languages
: 11th international workshop ; selected papers / IFL '99, Lochem, The Netherlands, September 7 - 10, 1999. Pieter Koopman ; Chris Clack (ed.). - Berlin : Springer, 2000. - VII, 198 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1868)
ISBN 978-3-540-67864-9 / 3-540-67864-6 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Implementation of functional languages
: 9th international workshop ; selected papers / IFL '97, St. Andrews, Scotland, UK, September 1997. C. Clack ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1467)
ISBN 978-3-540-68528-9
Lizenzpflichtig
Quelle: DNB
