Title: Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings, Author: David Parker
Title: Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Javier Esparza
Title: Designing Evolutionary Algorithms for Dynamic Environments, Author: Ronald Morrison
Title: SOFSEM 2018: Theory and Practice of Computer Science: 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings, Author: A Min Tjoa
Title: Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings, Author: Dimitris Fotakis
Title: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications, Author: Abdelkader Hameurlain
Title: Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, Author: David Van Horn
Title: Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bor-Yuh Evan Chang
Title: Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings, Author: Galina Jirásková
Title: High-Performance Scientific Computing: First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers, Author: Edoardo Di Napoli
Title: Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity, Author: Thomas Zeume
Title: Azure Cloud Security for Absolute Beginners: Enabling Cloud Infrastructure Security with Multi-Level Security Options, Author: Pushpa Herath
Title: Advanced Analytics in Power BI with R and Python: Ingesting, Transforming, Visualizing, Author: Ryan Wade
Title: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, Author: Rupak Majumdar
Title: A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof, Author: Mikhail Kovalev
Title: Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, Author: Thomas Gibson-Robinson
Title: Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers, Author: Shaoying Liu
Title: SOFSEM 2019: Theory and Practice of Computer Science: 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings, Author: Barbara Catania
Title: Expert Oracle and Java Security: Programming Secure Oracle Database Applications With Java, Author: David Coffin
Title: Practical Paint.NET: The Powerful No-Cost Image Editor for Microsoft Windows, Author: Phillip Whitt

Pagination Links