1. Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. (2015) Editors: Butler, Michael, 1967-; Conchon, Sylvain; Zaïdi, Fatiha Other Names: International Conference on Formal Engineering Methods, 17th Record Type: Book Extent: 1 online resource (436 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. Foundations of information and knowledge systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings /: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. (2016) Editors: Gyssens, M (Marc), 1959-; Simari, Guillermo R Other Names: FoIKS (Symposium), 9th Record Type: Book Extent: 1 online resource (xviii, 355 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Principles and practice of constraint programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. (2018) Editors: Hooker, John, 1949- Other Names: CP (Conference), 24th Record Type: Book Extent: 1 online resource (xxvii, 764 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Rigorous state-based methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings /: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. (2020) Editors: Raschke, Alexander; Méry, Dominique; Houdek, Frank Other Names: ABZ (Conference), 7th Record Type: Book Extent: 1 online resource (xii, 428 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Principles and practice of constraint programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30-October 4, 2019, Proceedings /: 25th International Conference, CP 2019, Stamford, CT, USA, September 30-October 4, 2019, Proceedings. (2019) Editors: Schiex, Thomas; Givry, Simon de Other Names: CP (Conference), 25th Record Type: Book Extent: 1 online resource (xxvi, 788 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Logic, language, information, and computation : 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, proceedings /: 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, proceedings. (2019) Editors: Iemhoff, Rosalie; Moortgat, Michael; Queiroz, Ruy J. G. B. de Other Names: Workshop on Logic, Language, Information and Computation, 26th Record Type: Book Extent: 1 online resource (662 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings /: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings. ([2019]) Editors: Bernardi, Raffaella; Kobele, Greg; Pogodalla, Sylvain Other Names: FG (Conference), 24rd Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings /: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings. (2020) Editors: Komendantskaya, Ekaterina; Liu, Yanhong Annie Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Formal languages and computation : models and their applications /: models and their applications. (2014) Authors: Meduna, Alexander, 1957- Record Type: Book Extent: 1 online resource (315 pages), (59 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗