Title: Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, Author: Maria Christakis
Title: Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers, Author: Roderick Bloem
Title: Software War Stories: Case Studies in Software Management, Author: Donald J. Reifer
Title: Spatial Audio Reproduction with Primary Ambient Extraction, Author: JianJun He
Title: Spatial Context: An Introduction to Fundamental Computer Algorithms for Spatial Analysis, Author: Christopher Gold
Explore Series
Title: Spatial Econometrics using Microdata, Author: Jean DubƩ
Title: Spatial Gems, Volume 1, Author: John Krumm
Title: SQL for eServer i5 and iSeries, Author: Kevin Forsythe
Title: SQL Server 2022 Revealed: A Hybrid Data Platform Powered by Security, Performance, and Availability, Author: Bob Ward
Title: SQL Server Analytical Toolkit: Using Windowing, Analytical, Ranking, and Aggregate Functions for Data and Statistical Analysis, Author: Angelo Bobak
Title: SQL Server Database Programming with Java: Concepts, Designs and Implementations, Author: Ying Bai
Title: SQL Server on Kubernetes: Designing and Building a Modern Data Platform, Author: Anthony E. Nocentino
Title: Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings, Author: Sandrine Blazy
Title: Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, Author: Xavier Rival
Title: Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings, Author: Francesco Ranzato
Title: Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, Author: Andreas Podelski
Title: Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bor-Yuh Evan Chang
Title: Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, Author: David Pichardie
Title: Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, Author: Cezara Dragoi
Title: Statistical Data Mining and Knowledge Discovery, Author: Hamparsum Bozdogan

Pagination Links