21. Conceptual modeling : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings /: 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings. ([2016]) Editors: Comyn-Wattiau, Isabelle; Tanaka, Katsumi; Song, Il-Yeol; Yamamoto, Shuichiro; Saeki, Motoshi Other Names: International Conference on Conceptual Modeling, 35th Record Type: Book Extent: 1 online resource (xxii, 562 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday /: essays dedicated to Franz Baader on the occasion of his 60th birthday. ([2019]) Editors: Lutz, Carsten, 1971- Other Names: Baader, Franz honouree. Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Digital logic for computing. (2017) Authors: Seiffertt, John Record Type: Book Extent: 1 online resource (xvi, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /: new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. (2018) Editors: Madeira, Alexandre; Benevides, Mário Other Names: International Workshop on Dynamic Logic, 1st Record Type: Book Extent: 1 online resource (ix, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings. (2020) Editors: Soares Barbosa, Luís; Baltag, Alexandru Record Type: Book Extent: 1 online resource (227 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Extension innovation method. (2018) Authors: Yang, Chunyan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Blass, Andreas, 1947-; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram Other Names: Gurevich, Yuri honouree.; Yurifest (Symposium), 2nd Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. (2020) Other Names: Blass, Andreas, 1947-; Cégielski, Patrick, 1954-; Dershowitz, Nachum; Droste, Manfred, 1956-; Finkbeiner, Bernd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Albert, Elvira; Lanese, Ivan Other Names: FORTE Conference, 36th Record Type: Book Extent: 1 online resource (XVI, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗