1. Higher education computer science : a manual of practical approaches /: a manual of practical approaches. (2018) Editors: Carter, Jenny; O'Grady, Michael; Rosen, Clive Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings /: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings. ([2015]) Editors: Drewes, Frank Other Names: CIAA (Conference), 20th Record Type: Book Extent: 1 online resource (xxiii, 316 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. (2015) Editors: Campos, Javier, 1963-; Haverkort, Boudewijn R Other Names: International Conference on the Quantitative Evaluation of Systems, 12th Record Type: Book Extent: 1 online resource (xvi, 329 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) Editors: Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Mikloš Other Names: ABZ (Conference), 5th Record Type: Book Extent: 1 online resource (xxi, 426 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. (2016) Editors: Horia Dediu, Adrian; Janousek, Jan; Martín Vide, Carlos; Truthe, Bianca Other Names: LATA (Conference), 10th Record Type: Book Extent: 1 online resource (xv, 754 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Intelligent data engineering and automated learning -- IDEAL 2016 : 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings /: 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings. (2016) Editors: Yin, Hujun, 1962-; (Software engineer), Gao, Yang; Li, Bin; Zhang, Daoqiang; Yang, Ming; Li, Yun, 1984-; Klawonn, F; Tallón-Ballesteros, Antonio J Other Names: IDEAL (Conference), 17th Record Type: Book Extent: 1 online resource (xvi, 647 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /: formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. (2016) Editors: Fitzgerald, John, 1965-; Heitmeyer, Constance L; Gnesi, Stefania, 1954-; Philippou, Anna Other Names: International Symposium of Formal Methods Europe, 21st Record Type: Book Extent: 1 online resource (xxiii, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. (2016) Editors: Agha, Gul A; Houdt, Benny van Other Names: International Conference on the Quantitative Evaluation of Systems, 13th Record Type: Book Extent: 1 online resource (xvii, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Directed algebraic topology and concurrency. (2016) Authors: Fajstrup, Lisbeth; Goubault, Eric; Haucourt, Emmanuel; Mimram, Samuel, 1983-; Raussen, Martin, 1954- Record Type: Book Extent: 1 online resource (xi, 167 pages), illustration View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Cellular automata and discrete complex systems : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised selected papers /: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised selected papers. (2015) Editors: Isokawa, Teijiro; Imai, Katsunobu; Matsui, Nobuyuki; Peper, Ferdinand, 1961-; Umeo, Hiroshi Other Names: International Workshop on Cellular Automata and Discrete Complex Systems, 20th Record Type: Book Extent: 1 online resource (xv, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗