Title: Beginning Windows Mixed Reality Programming: For HoloLens and Mixed Reality Headsets, Author: Sean Ong
Title: Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bor-Yuh Evan Chang
Title: Approximation and Online Algorithms: 15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers, Author: Roberto Solis-Oba
Title: Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, Author: Vladimir P. Gerdt
Title: The Lattice of Subquasivarieties of a Locally Finite Quasivariety, Author: Jennifer Hyndman
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: Advances in Swarm Intelligence: 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I, Author: Ying Tan
Title: Getting Started with Visual Studio 2022: Learning and Implementing New Features, Author: Dirk Strauss
Title: Azure Cloud Security for Absolute Beginners: Enabling Cloud Infrastructure Security with Multi-Level Security Options, Author: Pushpa Herath
Title: The Complete ASP.NET Core 3 API Tutorial: Hands-On Building, Testing, and Deploying, Author: Les Jackson
Title: Expert F# 2.0, Author: Don Syme
Title: A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof, Author: Mikhail Kovalev
Title: Pro Azure Governance and Security: A Comprehensive Guide to Azure Policy, Blueprints, Security Center, and Sentinel, Author: Peter De Tender
Title: Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, Author: Claude-Guy Quimper
Title: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, Author: Barbara Jobstmann
Title: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, Author: Rupak Majumdar
Title: Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings, Author: Ralf Hinze
Title: Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings, Author: Liesbeth De Mol
Title: Theoretical Computer Science: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings, Author: Dingzhu Du
Title: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications, Author: Abdelkader Hameurlain

Pagination Links