471. SQL Server T-SQL recipes. (2015) Authors: Brimhall, Jason; Gennick, Jonathan; Sheffield, Wayne Record Type: Book Extent: 1 online resource (lxxix, 972 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
472. Static analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings /: 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings. (2017) Editors: Ranzato, Francesco Other Names: International Static Analysis Symposium, 24th Record Type: Book Extent: 1 online resource (XIV, 473 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
473. Static analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings /: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. (2018) Editors: Podelski, Andreas Other Names: International Static Analysis Symposium, 25th Record Type: Book Extent: 1 online resource (x, 445 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
474. String analysis for software verification and security. ([2017]) Authors: Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath Abdullah; Aydin, Abdulbaki Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
475. Stripes by example. (2015) Authors: Watson, Brent Record Type: Book Extent: 1 online resource (xvii, 140 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
476. Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers. (2015) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 4th Record Type: Book Extent: 1 online resource (viii, 189 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
477. Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers. (2016) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 5th Record Type: Book Extent: 1 online resource (viii, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
478. Sudoku programming with C. (2015) Authors: Zambon, Giulio Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
479. Swift 3 for absolute beginners. (2016) Authors: Bennett, Gary; Lees, Brad Record Type: Book Extent: 1 online resource (322 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
480. Swift 4 for Absolute Beginners : Develop Apps for iOS /: Develop Apps for iOS. (2018) Authors: Kaczmarek, Stefan; Lees, Brad; Bennett, Gary Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗