1. Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, proceedings /: 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, proceedings. (2019) Editors: (Computer scientist), Hospodár, Michal; Jirásková, Galina; Konstantinidis, Stavros Other Names: DCFS (Workshop), 21st Record Type: Book Extent: 1 online resource (x, 299 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal Concept Analysis : 15th International Conference, ICFCA 2019: Frankfurt, Germany, June 25{u2013}28, 2019: proceedings /: 15th International Conference, ICFCA 2019: Frankfurt, Germany, June 25{u2013}28, 2019: proceedings. ([2019]) Editors: Cristea, Diana; Le Ber, Florence; Cellier, Peggy; Sertkaya, Bariș Other Names: International Conference on Formal Concept Analysis, 15th Record Type: Book Extent: 1 online resource (xiii, 349 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /: third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. (2019) Editors: Beek, Maurice H. ter; McIver, Annabelle; Oliveira, José N Other Names: International Symposium of Formal Methods Europe, 23rd Record Type: Book Extent: 1 online resource (xxi, 774 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. (2019) Editors: Aït-Ameur, Yamine; Qin, Shengchao Other Names: International Conference on Formal Engineering Methods, 21st Record Type: Book Extent: 1 online resource (xxi, 528 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /: 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings. ([2019]) Editors: Larsen, K. G (Kim G.), 1957-; Willemse, Tim Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 24th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /: third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. (2019) Editors: Dongol, Brijesh; Petre, Luigia, 1974-; Smith, Graeme, 1966- Other Names: FMTea (Workshop), 3rd; International Symposium of Formal Methods Europe, 3rd Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings /: 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings. ([2019]) Editors: André, Etienne; Stoelinga, Mariëlle Other Names: FORMATS (Conference), 17th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /: 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. ([2019]) Editors: Pérez, Jorge A; Yoshida, Nobuko Other Names: FORTE Conference, 39th; International Federated Conferences on Distributed Computing Techniques, 14th, jointly held conference Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers. (2019) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: FTSCS (Workshop), 6th Record Type: Book Extent: 1 online resource (xii, 179 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. ([2019]) Other Names: Badger, Julia M; Rozier, Kristin Yvonne; NFM (Symposium), 11th Record Type: Book Extent: 1 online resource (xxi, 392 p.), ill. (some colour) View Content: Available online (eLD content is only available in our Reading Rooms) ↗