Title: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Author: Alessandro Abate
Title: Numerical Analysis and Its Applications: 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers, Author: Ivan Dimov
Title: Algorithm Engineering: Selected Results and Surveys, Author: Lasse Kliemann
Title: Complexity and Approximation: In Memory of Ker-I Ko, Author: Ding-Zhu Du
Title: Advances in Swarm Intelligence: 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II, Author: Ying Tan
Title: Advances in Computers, Author: Atif Memon
Title: Deep-Dive Terraform on Azure: Automated Delivery and Deployment of Azure Solutions, Author: Ritesh Modi
Title: Programming in Two Semesters: Using Python and Java, Author: Quentin Charatan
Title: Approximation and Online Algorithms: 18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers, Author: Christos Kaklamanis
Title: Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings, Author: Dimitris Fotakis
Title: Verification and Validation in Scientific Computing, Author: William L. Oberkampf
Title: Algorithms for Sensor Systems: 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers, Author: Falko Dressler
Title: Building Applications with Azure Resource Manager (ARM): Leverage IaC to Vastly Improve the Life Cycle of Your Applications, Author: David Rendïn
Title: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers, Author: Cyrille Artho
Title: Beyond BIOS: Developing with the Unified Extensible Firmware Interface, Third Edition, Author: Vincent Zimmer
Title: Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers, Author: Gianni A. Di Caro
Title: Learn Data Mining Through Excel: A Step-by-Step Approach for Understanding Machine Learning Methods, Author: Hong Zhou
Title: Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, Author: Manuel V Hermenegildo
Title: Beginning Azure Cognitive Services: Data-Driven Decision Making Through Artificial Intelligence, Author: Alicia Moniz
Title: Algorithmic Combinatorics on Partial Words, Author: Francine Blanchet-Sadri

Pagination Links