Search

Subject Software engineering

831. Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers. (2015)

Editors:
Proietti, Maurizio, 1959-; Seki, Hirohisa
Other Names:
LOPSTR (Symposium), 24th
Record Type:
Book
Extent:
1 online resource (xii, 333 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

832. Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /: 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. (2016)

Editors:
De Nicola, Rocco; Kühn, Eva
Other Names:
International Conference on Software Engineering and Formal Methods, 14th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xv, 419 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

835. Software reuse : bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /: bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings. (2016)

Editors:
Kapitsaki, Georgia M; Almeida, Eduardo (Eduardo Santana de)
Other Names:
International Conference on Software Reuse, 15th
Record Type:
Book
Extent:
1 online resource (xi, 412 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

836. Biomedical data management and graph online querying : VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31-September 4, 2015, Revised selected papers /: VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31-September 4, 2015, Revised selected papers. (2016)

Editors:
Wang, Fusheng; Luo, Gang; Weng, Chunhua; Khan, Arijit; Mitra, Prasenjit; Yu, Cong
Other Names:
International Conference on Very Large Data Bases, 41st; DMAH (Workshop), 1st; BiG-O(Q) (Workshop)
Record Type:
Book
Extent:
1 online resource (xiv, 199 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

837. Intelligent cloud computing : first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers /: first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers. (2015)

Editors:
Al-Saidi, Asma; Fleischer, Rudolf, 1964-; Maamar, Zakaria; Rana, Omer
Other Names:
ICC (Conference : Oman), 1st
Record Type:
Book
Extent:
1 online resource (x, 169 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

840. Advanced information systems engineering workshops : CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings /: CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings. (2015)

Editors:
Persson, Anne; Stirna, Janis
Other Names:
International Workshop on Advances in Services DEsign Based on the Notion of CApabiliy, 2nd; International Workshop on Cognitive Aspects of Information Systems Engineering, 3rd; International Workshop on Digital Business Innovation and the Future Enterprise Information Systems Engineering, 1st; E...
Record Type:
Book
Extent:
1 online resource (xxxvii, 532 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗