621. Symbolic and quantitative approaches to reasoning with uncertainty : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings /: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. (2015) Editors: Destercke, Sébastien; Denoeux, Thierry Other Names: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 13th Record Type: Book Extent: 1 online resource (xiii, 554 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
622. 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) ↗
623. System analysis and modeling : technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings /: technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings. (2016) Editors: Grabowski, Jens; Herbold, Steffen Other Names: SAM (Workshop : System analysis), 9th Record Type: Book Extent: 1 online resource (x, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
624. Systems programming in Unix/Linux. (2018) Other Names: Wang, K. C Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
625. 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) ↗
626. Testing software and systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings. (2015) Editors: El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina Other Names: IFIP Working Group 6.1, organizer.; ICTSS (Conference), 27th Record Type: Book Extent: 1 online resource (269 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
627. Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. (2016) Editors: Wotawa, Franz; Nica, Mihai; Kushik, Natalia Other Names: ICTSS (Conference), 28th Record Type: Book Extent: 1 online resource (xviii, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
628. 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) ↗
629. Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. (2018) Editors: Medina-Bulo, Inmaculada; Merayo, M. G (Mercedes G.); Hierons, Robert M Other Names: ICTSS (Conference), 30th Record Type: Book Extent: 1 online resource (xii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
630. Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /: 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings. (2016) Editors: Aichernig, Bernhard K, 1969-; Furia, Carlo A, 1979- Other Names: TAP (Conference), 10th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗