Limit Search Results
Author
SpringerLink (Online service)
(1061)
Lopez, Cesar. author.
(11)
Bernardo, Marco. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Barthe, Gilles. editor.
(8)
Language
Publication Date
-
2010
(140)
2008
(110)
2012
(110)
2009
(109)
2013
(106)
Subject
Compilers (Computer programs).
(1051)
Compilers and Interpreters.
(1051)
Software engineering.
(777)
Computer science.
(627)
Computer programming.
(535)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1083 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
by 
Bonakdarpour, Borzoo. editor.
https://doi.org/10.1007/978-3-319-11164-3
Format: 
Excerpt: 
Compilers (Computer programs).
2. 
Cover image for ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
by 
Jones, Richard. editor.
https://doi.org/10.1007/978-3-662-44202-9
Format: 
Excerpt: 
Compilers (Computer programs).
3. 
Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
by 
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421
https://doi.org/10.1007/978-3-642-54804-8
Format: 
Excerpt: 
Compilers (Computer programs).
4. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
by 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Excerpt: 
Compilers (Computer programs).
5. 
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
by 
Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Excerpt: 
Compilers (Computer programs).
6. 
Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
by 
Poole, Stephen. editor. (orcid)0000-0002-4531-7453
https://doi.org/10.1007/978-3-319-05215-1
Format: 
Excerpt: 
Compilers (Computer programs).
7. 
Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
by 
Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-04915-1
Format: 
Excerpt: 
Compilers (Computer programs).
8. 
Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
by 
Silva, Fernando. editor.
https://doi.org/10.1007/978-3-319-09873-9
Format: 
Excerpt: 
Compilers (Computer programs).
9. 
Cover image for Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
by 
Garrigue, Jacques. editor.
https://doi.org/10.1007/978-3-319-12736-1
Format: 
Excerpt: 
Compilers (Computer programs).
10. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
by 
Codish, Michael. editor.
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Excerpt: 
Compilers (Computer programs).
11. 
Cover image for Transactions on Aspect-Oriented Software Development XI
Transactions on Aspect-Oriented Software Development XI
by 
Chiba, Shigeru. editor.
https://doi.org/10.1007/978-3-642-55099-7
Format: 
Excerpt: 
Compilers (Computer programs).
12. 
Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
by 
Anderson, Neal G. editor.
https://doi.org/10.1007/978-3-662-43722-3
Format: 
Excerpt: 
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives / Anderson, Neal G. editor.
Go to:Search Results
|
Search Facets
|
Top of Page