591. Learn to program with Python 3 : a step-by-step guide to programming /: a step-by-step guide to programming. (2018) Authors: Kalb, Irv Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
592. Guide to programming for the digital humanities : lessons for introductory Python /: lessons for introductory Python. (2018) Authors: Kokensparger, Brian Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
593. Inductive logic programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings /: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings. (2018) Editors: Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo Other Names: ILP (Conference), 28th Record Type: Book Extent: 1 online resource (ix, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
594. Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /: second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings. (2018) Editors: Benzmüller, Christoph; Ricca, Francesco; Parent, Xavier; (Research scientist), Roman, Dumitru Other Names: RuleML+RR (Joint Conference), 2nd Record Type: Book Extent: 1 online resource (xxiii, 328 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
595. Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /: theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings. (2018) Editors: Feng, Xinyu; Müller-Olm, Markus; Yang, Zijiang Other Names: SETTA (Symposium), 4th Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
596. 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) ↗
597. Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. (2018) Editors: Furia, Carlo A; Winter, Kirsten Record Type: Book Extent: 1 online resource (420 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
598. Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings. (2018) Editors: Kari, J (Jarkko); Ulidowski, Irek Other Names: RC (Workshop : Reversible Computation), 10th Record Type: Book Extent: 1 online resource (xiii, 353 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
599. Fundamentals of Java programming. (2018) Authors: Ogihara, Mitsunori, 1963- Record Type: Book Extent: 1 online resource (xvii, 515 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
600. Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. (2018) Editors: Howar, Falk; Barnat, Jiří Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 23rd Record Type: Book Extent: 1 online resource (xvi, 291 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗