Using and Improving OpenMP for Devices, Tasks, and More : 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Luiz DeRose
Download - Immediately Available
Format: eBook (PDF)
Programming Languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Fernando Magno Quintao Pereira
Download - Immediately Available
Format: eBook (PDF)
Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Dimitra Giannakopoulou
Download - Immediately Available
Format: eBook (PDF)
Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Frank Ortmeier
Download - Immediately Available
Format: eBook (PDF)
Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Ugo Dal Lago
Download - Immediately Available
Format: eBook (PDF)
Foundations of Programming Languages
Kent D. Lee
Download - Immediately Available
Format: eBook (PDF)
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
Christiano Braga
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Ad
Marco Bernardo
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Manuel Nunez
Download - Immediately Available
Format: eBook (PDF)
Reliable Software Technologies - Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Juan Antonio de la Puente
Download - Immediately Available
Format: eBook (PDF)
Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Enrico Pontelli
Download - Immediately Available
Format: eBook (PDF)
Modelling Foundations and Applications : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Gabriele Taentzer
Download - Immediately Available
Format: eBook (PDF)
Theory and Practice of Model Transformations : 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Dimitris Kolovos
Download - Immediately Available
Format: eBook (PDF)
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Jasmin Christian Blanchette
Download - Immediately Available
Format: eBook (PDF)
Correct System Design : Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Roland Meyer
Download - Immediately Available
Format: eBook (PDF)
Programming Languages : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Alberto Pardo
Download - Immediately Available
Format: eBook (PDF)
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
Manjunath Gorentla Venkata
Download - Immediately Available
Format: eBook (PDF)
Mathematica(R): A Problem-Centered Approach
Roozbeh Hazrat
Download - Immediately Available
Format: eBook (PDF)
Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Marco Gavanelli
Download - Immediately Available
Format: eBook (PDF)
Software Engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Bertrand Meyer
Download - Immediately Available
Format: eBook (PDF)
Data Structures and Algorithms with Scala : A Practitioner's Approach with Emphasis on Functional Programming
Bhim P. Upadhyaya
Download - Immediately Available
Format: eBook (PDF)
Introduction to Software Design with Java
Martin P. Robillard
Download - Immediately Available
Format: eBook (PDF)
ECOOP '87. European Conference on Object-Oriented Programming : Paris, France, June 15-17, 1987. Proceedings
Jean Bezivin
Download - Immediately Available
Format: eBook (PDF)