Software Process Improvement and Capability Determination : 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings
Paul M. Clarke
Download - Immediately Available
Format: eBook (PDF)
Coordination Models and Languages : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
David Clarke
Download - Immediately Available
Format: eBook (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Edmund M. Clarke
Download - Immediately Available
Format: eBook (PDF)
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Edmund Clarke
Download - Immediately Available
Format: eBook (PDF)
Aliasing in Object-Oriented Programming : Types, Analysis and Verification
David Clarke
Download - Immediately Available
Format: eBook (PDF)
Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
Ana Moreira
Download - Immediately Available
Format: eBook (PDF)