Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
نویسندگان: Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen ناشر: سال: 2017 شابک: 9783319625683, 9783319625690 فرمت: PDF
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
نویسندگان: Jonathan P. Bowen, Huibiao Zhu ناشر: سال: 2017 شابک: 9783319522272, 9783319522289 فرمت: PDF
Computational Metrics for Soccer Analysis : Connecting the dots
Computational Metrics for Soccer Analysis : Connecting the dots
نویسندگان: Filipe Manuel Clemente, João Bernardo Sequeiros, Acácio Correia, Frutuoso G. M Silva, Fernando Manuel Lourenço Martins ناشر: سال: 2018 شابک: 9783319590288, 9783319590295 فرمت: PDF
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
نویسندگان: Erika Ábrahám, Marieke Huisman ناشر: سال: 2016 شابک: 9783319336923, 9783319336930 فرمت: PDF
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
نویسندگان: Barbara Jobstmann, K. Rustan M. Leino ناشر: سال: 2016 شابک: 9783662491218, 9783662491225 فرمت: PDF
Model-Based Systems Engineering with OPM and SysML :
Model-Based Systems Engineering with OPM and SysML :
نویسندگان: Dov Dori ناشر: سال: 2016 شابک: 9781493932948, 9781493932955 فرمت: PDF
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
نویسندگان: Sam Lindley, Conor McBride, Phil Trinder, Don Sannella ناشر: سال: 2016 شابک: 9783319309354, 9783319309361 فرمت: PDF
Numeric Computation and Statistical Data Analysis on the Java Platform :
Numeric Computation and Statistical Data Analysis on the Java Platform :
نویسندگان: Sergei V. Chekanov ناشر: سال: 2016 شابک: 9783319285290, 9783319285313 فرمت: PDF
DITA – the Topic-Based XML Standard : A Quick Start
DITA – the Topic-Based XML Standard : A Quick Start
نویسندگان: Sissi Closs ناشر: سال: 2016 شابک: 9783319283487, 9783319283494 فرمت: PDF
Cyber Security : Second International Symposium, CSS 2015, Coeur d'Alene, ID, USA, April 7-8, 2015, Revised Selected Papers
Cyber Security : Second International Symposium, CSS 2015, Coeur d'Alene, ID, USA, April 7-8, 2015, Revised Selected Papers
نویسندگان: Kristin Haltinner, Dilshani Sarathchandra, Jim Alves-Foss, Kevin Chang, Daniel Conte de Leon, Jia Song ناشر: سال: 2016 شابک: 9783319283128, 9783319283135 فرمت: PDF