1. 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) ↗
2. Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday /: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. (2017) Editors: Aceto, Luca; Bacci, Giorgio; (Computer scientist), Bacci, Giovanni; Legay, Axel; Mardare, Radu; Anna Ingólfsdóttir, 1952- Other Names: Larsen, K. G (Kim G.) 1957- honouree. Record Type: Book Extent: 1 online resource (662 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Language and automata theory and applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. ([2018]) Editors: Klein, Shmuel Tomi; Martín Vide, Carlos; Shapira, Dana Other Names: LATA (Conference), 12th Record Type: Book Extent: 1 online resource (x, 321 pages), 39 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Descriptional complexity of formal systems : 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /: 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings. ([2016]) Editors: Câmpeanu, Cezar; Manea, Florin; Shallit, Jeffrey Other Names: DCFS (Workshop), 18th Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Grammatical inference : algorithms, routines and applications /: algorithms, routines and applications. (2016) Authors: Wieczorek, Wojciech, 1928- Record Type: Book Extent: 1 online resource (145 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings /: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. (2017) Editors: Drewes, Frank; Martín Vide, Carlos; Truthe, Bianca Other Names: LATA (Conference), 11th Record Type: Book Extent: 1 online resource (xxiii, 462 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings. (2018) Editors: Konstantinidis, Stavros; Pighizzini, Giovanni Other Names: DCFS (Workshop), 20th Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. (2017) Editors: Pighizzini, Giovanni; Câmpeanu, Cezar Other Names: DCFS (Workshop), 19th Record Type: Book Extent: 1 online resource (x, 311 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. (2015) Editors: Shallit, Jeffrey Outlaw; Okhotin, Alexander Other Names: DCFS (Workshop), 17th Record Type: Book Extent: 1 online resource (xii, 293 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Developments in language theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. (2017) Editors: Charlier, Émilie; Leroy, Julien; Rigo, Michel Other Names: Conference on Developments in Language Theory, 21st Record Type: Book Extent: 1 online resource (xxiii, 379 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗