1. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015]) Editors: Lanese, Ivan; Madelaine, Eric Other Names: FACS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (2017) Editors: (Post doc researcher), Proença, José; Lumpe, Markus Other Names: FACS (Symposium), 14th Record Type: Book Extent: 1 online resource (x, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal aspects of component software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers /: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers. (2017) Editors: Kouchnarenko, Olga; Khosravi, Ramtin Other Names: FACS (Symposium), 13th Record Type: Book Extent: 1 online resource (xviii, 281 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers. (2016) Editors: (Computer scientist), Braga, Christiano; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 12th Record Type: Book Extent: 1 online resource (x, 331 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Component-based systems : estimating efforts using soft computing techniques /: estimating efforts using soft computing techniques. (2020) Authors: Seth, Kirti, 1966-; Seth, Ashish; Tripathi, Aprna Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Component-oriented development and assembly : paradigm, principles, and practice using Java /: paradigm, principles, and practice using Java. ([2014]) Other Names: Manickam, Piram; Sangeetha, S; Subrahmanya, S. V Record Type: Book Extent: 1 online resource (280 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Component based software engineering : methods and metrics /: methods and metrics. (2020) Authors: Tiwari, Umesh Kumar; Kumar, Santosh Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗