Title: Understanding Your Users: A Practical Guide to User Research Methods, Author: Kathy Baxter
Title: Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers, Author: Jonathan P. Bowen
Title: Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings, Author: Pedro Ribeiro
Title: Universal Algebra: Fundamentals and Selected Topics, Author: Clifford Bergman
Explore Series
Title: Up and Running on Microsoft Viva Connections: Engage, Inform, and Empower Your Hybrid Workforce, Author: Nanddeep Sadanand Nachan
Title: Up and Running with DAX for Power BI: A Concise Guide for Non-Technical Users, Author: Alison Box
Title: Up Up and Array!: Dynamic Array Formulas for Excel 365 and Beyond, Author: Abbott Ira Katz
Title: Variable Neighborhood Search: 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018, Revised Selected Papers, Author: Angelo Sifaleras
Title: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, Author: Kamel Barkaoui
Title: Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Author: Mohamed Faouzi Atig
Title: Verification and Validation in Scientific Computing, Author: William L. Oberkampf
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: Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, Author: Constantin Enea
Title: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, Author: Dirk Beyer
Title: Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, Author: Akash Lal
Title: Version Control with Git: Powerful Tools and Techniques for Collaborative Software Development, Author: Prem Kumar Ponuthorai
Title: Visual Studio Code Distilled: Evolved Code Editing for Windows, macOS, and Linux, Author: Alessandro Del Sole
Title: Visual Studio Code Distilled: Evolved Code Editing for Windows, macOS, and Linux, Author: Alessandro Del Sole
Title: Visual Studio Extensibility Development: Extending Visual Studio IDE for Productivity, Quality, Tooling, and Analysis, Author: Rishabh Verma
Title: VLSI Synthesis of DSP Kernels: Algorithmic and Architectural Transformations, Author: Mahesh Mehendale

Pagination Links