301. Model and data engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings /: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings. (2017) Editors: Ouhammou, Yassine; Ivanović, Mirjana; (Computer scientist), Abelló, Alberto; Bellatreche, Ladjel, 1968- Other Names: MEDI (Conference), 7th Record Type: Book Extent: 1 online resource (xiv, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
302. Model and data engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings /: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. (2018) Editors: Abdelwahed, El Hassan; Bellatreche, Ladjel, 1968-; Golfarelli, Matteo; Méry, Dominique; (Computer scientist), Ordonez, Carlos Other Names: MEDI (Conference), 8th Record Type: Book Extent: 1 online resource (xix, 436 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
303. Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. (2015) Editors: Fischer, Bernd; Geldenhuys, Jaco Other Names: International SPIN Workshop, 22nd Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
304. Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /: 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. (2016) Editors: Bošnački, Dragan, 1963-; Wijs, Anton Other Names: International SPIN Workshop, 23rd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
305. 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) ↗
306. Model-based systems engineering with OPM and SysML. (2016) Authors: Dori, Dov Record Type: Book Extent: 1 online resource (xxii, 411 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
307. Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers /: 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers. (2017) Editors: Hammoudi, Slimane; Ferraira Pires, Luís, 1961-; Selic, Bran; Desfray, Philippe Other Names: MODELSWARD (Conference), 4th Record Type: Book Extent: 1 online resource (xiv, 355 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
308. Model-driven engineering and software development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised selected papers /: 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised selected papers. (2018) Editors: Ferraira Pires, Luís, 1961-; Hammoudi, Slimane; Selic, Bran Other Names: MODELSWARD (Conference), 5th Record Type: Book Extent: 1 online resource (xii, 507 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
309. Modelling foundations and applications : 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /: 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. (2016) Editors: Wąsowski, Andrzej; Lönn, Henrik Other Names: ECMFA (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xviii, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
310. Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Anjorin, Anthony; Espinoza, Huáscar Other Names: ECMFA (Conference), 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗