Subject: Computer programming / software development - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

New Search Subject Computer programming / software development

521 - 530 of 871

521. 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)

522. 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)

523. 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)

524. 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)

525. Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. (2017)

Editors:: Bozzano, Marco; Papadopoulos, Yiannis
Other Names:: IMBSA 2017
Record Type:: Book
Extent:: 1 online resource (x, 273 pages 109 illustrations)
View Content:: Available online (eLD content is only available in our Reading Rooms)

526. 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)

527. 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)

528. 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)

529. Models to code : with no mysterious gaps /: with no mysterious gaps. (2017)

Authors:: Starr, Leon; Mangogna, Andrew; Mellor, Stephen
Record Type:: Book
Extent:: 1 online resource, illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

530. Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. (2019)

Editors:: Boreale, Michele; Corradini, Flavio; Loreti, Michele; Pugliese, Rosario
Record Type:: Book
Extent:: 1 online resource (498 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)