Introduction to Software Design with Java
Martin P. Robillard
Download - Immediately Available
Format: eBook (PDF)
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Emilio Tuosto
Download - Immediately Available
Format: eBook (PDF)
Reliable Software Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Laurent George
Download - Immediately Available
Format: eBook (PDF)
Theory and Practice of Model Transformations : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Davide Di Ruscio
Download - Immediately Available
Format: eBook (PDF)
Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Martina Seidl
Download - Immediately Available
Format: eBook (PDF)
Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Jordi Cabot
Download - Immediately Available
Format: eBook (PDF)
Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
Nils Bulling
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Frederic Lang
Download - Immediately Available
Format: eBook (PDF)
Reachability Problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Joel Ouaknine
Download - Immediately Available
Format: eBook (PDF)
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)