181. Spring Boot messaging : messaging APIs for enterprise and integration solutions /: messaging APIs for enterprise and integration solutions. (2017) Authors: Gutiérrez, Felipe Record Type: Book Extent: 1 online resource (xvii, 196 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
182. 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) ↗
183. 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) ↗
184. Supercomputing : third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised selected papers /: third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised selected papers. (2017) Editors: Voevodin, Vladimir; Sobolev, Sergey Other Names: Russian Supercomputing Days, 3rd Record Type: Book Extent: 1 online resource (xvi, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
185. Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings. (2017) Editors: Antonucci, Alessandro; Cholvy, Laurence; Papini, Odile Other Names: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 14th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
186. Test driven development in Ruby : a practical introduction to TDD using problem and solution domain analysis /: a practical introduction to TDD using problem and solution domain analysis. (2017) Authors: Paranj, Bala Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
187. Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. (2017) Editors: Yevtushenko, Nina; Cavalli, Ana; Yenigun, Husnu Other Names: ICTSS (Conference), 29th Record Type: Book Extent: 1 online resource (xiii, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
188. Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Gabmeyer, Sebastian; Johnsen, Einar Broch Other Names: TAP (Conference), 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
189. The C# programmer's study guide (MCSD) : exam 70-483 /: exam 70-483. (2017) Authors: Asʿad, ʿAlī; Ali, Hamza Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
190. Theoretical computer science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings. (2017) Editors: Du, Dingzhu; Li, Lian; Zhu, En; He, Kun Other Names: NCTCS (Conference), 35th Record Type: Book Extent: 1 online resource (xxi, 356 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗