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
13. 
Cover image for The Best of Verity Stob Highlights of Verity Stob's Famous Columns from .EXE, Dr. Dobb's Journal, and The Register
The Best of Verity Stob Highlights of Verity Stob's Famous Columns from .EXE, Dr. Dobb's Journal, and The Register
by 
Stob, Verity. author.
https://doi.org/10.1007/978-1-4302-0003-1
Format: 
Excerpt: 
The Best of Verity Stob Highlights of Verity Stob's Famous Columns from .EXE, Dr. Dobb's Journal
14. 
Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
by 
Pasareanu, Corina S. editor.
https://doi.org/10.1007/978-3-642-35861-6
Format: 
Excerpt: 
, September 11-13, 2012. Revised Selected Papers / Pasareanu, Corina S. editor.
15. 
Cover image for Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
by 
Taft, S. Tucker. editor.
https://doi.org/10.1007/978-3-642-45419-6
Format: 
Excerpt: 
(E) / Taft, S. Tucker. editor.
16. 
Cover image for Specification of Software Systems
Specification of Software Systems
by 
Alagar, V.S. author.
https://doi.org/10.1007/978-0-85729-277-3
Format: 
Excerpt: 
Specification of Software Systems Alagar, V.S. author.
17. 
Cover image for Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
by 
Rosenblum, David S. editor.
https://doi.org/10.1007/978-3-642-12029-9
Format: 
Excerpt: 
, March 20-28, 2010, Proceedings / Rosenblum, David S. editor.
18. 
Cover image for Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
by 
Pasareanu, Corina S. editor.
https://doi.org/10.1007/978-3-642-02652-2
Format: 
Excerpt: 
, Proceedings / Pasareanu, Corina S. editor.
19. 
Cover image for Guide to Fortran 2003 Programming
Guide to Fortran 2003 Programming
by 
Brainerd, Walter S. author.
https://doi.org/10.1007/978-1-84882-543-7
Format: 
Excerpt: 
Guide to Fortran 2003 Programming Brainerd, Walter S. author.
20. 
Cover image for Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
by 
Ravi, Sekharipuram S. editor.
https://doi.org/10.1007/978-1-4020-9688-4
Format: 
Excerpt: 
Ravi, Sekharipuram S. editor.
21. 
Cover image for Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1
Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1
by 
Taft, S. Tucker. editor.
https://doi.org/10.1007/978-3-540-69336-9
Format: 
Excerpt: 
(E) with Technical Corrigendum 1 and Amendment 1 / Taft, S. Tucker. editor.
22. 
Cover image for FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
by 
Arun-Kumar, S. editor.
https://doi.org/10.1007/11944836
Format: 
Excerpt: 
Conference, Kolkata, India, December 13-15, 2006, Proceedings / Arun-Kumar, S. editor.
23. 
Cover image for Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
by 
de Boer, Frank S. editor.
https://doi.org/10.1007/978-3-642-17071-3
Format: 
Excerpt: 
Netherlands, November 4-6, 2009. Revised Selected Papers / de Boer, Frank S. editor.
24. 
Cover image for Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
by 
de Boer, Frank S. editor.
https://doi.org/10.1007/978-3-540-74792-5
Format: 
Excerpt: 
, Netherlands, November 7-10,2006, Revised Lectures / de Boer, Frank S. editor.
Select an Action