631. 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) ↗
632. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Dubois, Catherine; Wolff, Burkhart, 1962- Other Names: TAP (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
633. The 2-tuple linguistic model : computing with words in decision making /: computing with words in decision making. ([2016]) Authors: Martínez, Luis, 1970-; Rodriguez, Rosa M; Dr, Herrera, Francisco Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
634. The Agile developer's handbook : get more value from your software development : get the best out of the Agile methodology /: get more value from your software development : get the best out of the Agile methodology. (2018) Authors: Flewelling, Paul Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
635. The Complete Rust Programming Reference Guide : Design, develop, and deploy effective software systems using the advanced constructs of Rust /: Design, develop, and deploy effective software systems using the advanced constructs of Rust. (2019) Authors: Sharma, Rahul; Kaihlavirta, Vesa; Matzinger, Claus Record Type: Book Extent: 1 online resource (698 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
636. The definitive guide to AdonisJs : building Node.js applications with JavaScript /: building Node.js applications with JavaScript. (2018) Authors: Pitt, Christopher Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
637. The Sam Coupé Users' Manual. (2022) Authors: Croucher, Mel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
638. The Successful Software Manager : The definitive guide to growing from developer to manager /: The definitive guide to growing from developer to manager. (2019) Authors: Fung, Herman Record Type: Book Extent: 1 online resource (442 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
639. Theoretical aspects of computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings /: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings. (2015) Editors: Leucker, Martin; Rueda, Camilo; Valencia, F. D (Frank D.) Other Names: ICTAC (Colloquium), 12th Record Type: Book Extent: 1 online resource (620 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
640. Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings /: 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. (2016) Editors: Sampaio, Augusto; Wang, Farn Other Names: ICTAC (Colloquium), 13th Record Type: Book Extent: 1 online resource (xvii, 479 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗