211. Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. (2017) Editors: Gopal, T. V; Dr, Jäger, Gerhard; Steila, Silvia Other Names: TAMC (Conference), 14th Record Type: Book Extent: 1 online resource (xxvi, 698 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
212. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Johnsen, Einar Broch; Schaefer, Ina Other Names: International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
213. Mathematical software -- ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. (2018) Editors: Davenport, James Harold, 1953-; Kauers, Manuel; Labahn, G (George), 1951-; Urban, Josef Other Names: International Congress of Mathematical Software, 6th Record Type: Book Extent: 1 online resource (xix, 508 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
214. Inductive logic programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised selected papers /: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised selected papers. (2018) Editors: Lachiche, Nicolas; Vrain, Christel Other Names: ILP (Conference), 27th Record Type: Book Extent: 1 online resource (x, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
215. Modelling foundations and applications : 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /: 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. (2018) Editors: Pierantonio, Alfonso; Trujillo, Salvador Other Names: ECMFA (Conference), 14th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xvi, 311 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
216. Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. (2018) Editors: Casimiro, Antonio; Ferreira, Pedro M Other Names: Ada-Europe International Conference on Reliable Software Technologies, 23rd Record Type: Book Extent: 1 online resource (XIV, 175 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
217. Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018) Editors: Gallardo, María del Mar; Merino, Pedro Other Names: International SPIN Workshop, 25th Record Type: Book Extent: 1 online resource (xvi, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
218. Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /: 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. (2018) Editors: Durand-Lose, Jérôme; Verlan, Sergey Other Names: MCU (Conference), 8th Record Type: Book Extent: 1 online resource (xvii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
219. 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) ↗
220. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Dubois, Catherine; Wolff, Burkhart, 1962- Other Names: TAP (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗