Search

Subject Software engineering

621. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016)

Editors:
Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963-
Other Names:
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th
Record Type:
Book
Extent:
1 online resource (vii, 261 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

623. Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. (2015)

Editors:
Calinescu, Radu C, 1968-; Rumpe, Bernhard
Other Names:
International Conference on Software Engineering and Formal Methods, 13th
Record Type:
Book
Extent:
1 online resource (xi, 369 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

625. Wired/wireless internet communications : 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised selected papers /: 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised selected papers. (2015)

Editors:
Aguayo-Torres, Mari Carmen; Gómez, G (Gerardo); Poncela, Javier
Other Names:
WWIC (Conference), 13th
Record Type:
Book
Extent:
1 online resource (xix, 426 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

626. Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers /: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers. (2016)

Editors:
Serrano, Manuel; Hage, Jurriaan
Other Names:
International Symposium on Trends in Functional Programming, 16th
Record Type:
Book
Extent:
1 online resource (vii, 157 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

627. Model and data engineering : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings /: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings. (2016)

Editors:
Bellatreche, Ladjel, 1968-; Pastor, Óscar, 1962-; Almendros Jiménez, Jesús M; Aït-Ameur, Yamine
Other Names:
MEDI (Conference), 6th
Record Type:
Book
Extent:
1 online resource (xvii, 360 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

628. Internet science : third international conference, INSCI 2016, Florence, Italy, September 12-14, 2016, proceedings /: third international conference, INSCI 2016, Florence, Italy, September 12-14, 2016, proceedings. (2016)

Editors:
Bagnoli, Franco; Satsiou, Anna; Stavrakakis, Ioannis, 1960-; Nesi, Paolo; Pacini, Giovanna; Welp, Yanina; Tiropanis, Thanassis; DiFranzo, Dominic
Other Names:
INSCI (Conference), 3rd
Record Type:
Book
Extent:
1 online resource (xi, 328 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

629. Service-oriented and cloud computing : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, proceedings /: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, proceedings. (2016)

Editors:
Aiello, Marco; Johnsen, Einar Broch; Dustdar, Schahram; Georgievski, Ilche
Other Names:
ESOCC (Conference), 5th
Record Type:
Book
Extent:
1 online resource (xii, 263 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

630. Usability- and accessibility-focused requirements engineering : first International Workshop, UsARE 2012, held in conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and second International Workshop, UsARE 2014, held in conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised selected papers /: first International Workshop, UsARE 2012, held in conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and second International Workshop, UsARE 2014, held in conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised selected papers. (2016)

Editors:
Ebert, Achim; Humayoun, Shah Rukh; Seyff, Norbert; Perini, Anna; Barbosa, Simone D. J
Other Names:
International Workshop on Usability and Accessibility Focused Requirements Engineering, 1st; International Workshop on Usability and Accessibility Focused Requirements Engineering, 2nd
Record Type:
Book
Extent:
1 online resource (x, 191 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗