Limit Search Results
Author
SpringerLink (Online service)
(45)
Bonsangue, Marcello M. editor.
(6)
de Boer, Frank S. editor.
(6)
Dongarra, Jack. editor.
(4)
Müller, Matthias S. editor.
(4)
Language
Publication Date
-
Subject
Compilers (Computer programs).
(45)
Computer programming.
(27)
Computer science.
(27)
Programming Techniques.
(27)
Software engineering.
(27)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
45 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
by 
de Boer, Frank S. editor.
https://doi.org/10.1007/11804192
Format: 
Excerpt: 
Netherlands, November 1-4, 2005, Revised Lectures / de Boer, Frank S. editor.
26. 
Cover image for Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by 
de Boer, Frank S. editor.
https://doi.org/10.1007/11561163
Format: 
Excerpt: 
Netherlands, November 2-5, 2004, Revised Lectures / de Boer, Frank S. editor.
27. 
Cover image for Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
by 
Hill, Patricia M. editor.
https://doi.org/10.1007/978-3-642-02846-5
Format: 
Excerpt: 
Warren, David S. editor.
28. 
Cover image for Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings
by 
Hudak, Paul. editor.
https://doi.org/10.1007/978-3-540-77442-6
Format: 
Excerpt: 
Warren, David S. editor.
29. 
Cover image for Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
by 
Raskin, Jean-Francois. editor.
https://doi.org/10.1007/978-3-540-75454-1
Format: 
Excerpt: 
Thiagarajan, P.S. editor.
30. 
Cover image for Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
by 
Emerson, E. Allen. editor.
https://doi.org/10.1007/11609773
Format: 
Excerpt: 
Namjoshi, Kedar S. editor.
31. 
Cover image for Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
by 
DeRose, Luiz. editor.
https://doi.org/10.1007/978-3-319-11454-5
Format: 
Excerpt: 
Müller, Matthias S. editor.
32. 
Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings
by 
Rendell, Alistair P. editor.
https://doi.org/10.1007/978-3-642-40698-0
Format: 
Excerpt: 
Müller, Matthias S. editor.
33. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
by 
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
https://doi.org/10.1007/978-3-642-35887-6
Format: 
Excerpt: 
de Boer, Frank S. editor.
34. 
Cover image for Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
by 
Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-642-25271-6
Format: 
Excerpt: 
de Boer, Frank S. editor.
35. 
Cover image for OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
by 
Chapman, Barbara. editor.
https://doi.org/10.1007/978-3-642-30961-8
Format: 
Excerpt: 
Müller, Matthias S. editor.
36. 
Cover image for Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
by 
Brunst, Holger. editor.
https://doi.org/10.1007/978-3-642-31476-6
Format: 
Excerpt: 
Müller, Matthias S. editor.
Select an Action