121. 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) ↗
122. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016) Editors: Ribeiro, Leila; Lecomte, Thierry Other Names: Brazilian Symposium on Formal Methods, 19th Record Type: Book Extent: 1 online resource (x, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
123. Formal methods: foundations and applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. (2016) Editors: Cornelio, Marcio; Roscoe, A. W Other Names: Brazilian Symposium on Formal Methods, 18th Record Type: Book Extent: 1 online resource (xviii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
124. Foundations of security analysis and design VIII : FOSAD 2014/2015/2016 tutorial lectures /: FOSAD 2014/2015/2016 tutorial lectures. (2016) Editors: Aldini, Alessandro; López, Javier; Martinelli, Fabio, 1969- Other Names: International Summer School on Foundations of Security Analysis and Design; International Summer School on Foundations of Security Analysis and Design; International Summer School on Foundations of Security Analysis and Design Record Type: Book Extent: 1 online resource (vii, 163 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
125. Frontiers in internet technologies : third CCF Internet Conference of China, ICoC 2014, Shanghai, China, July 10-11, 2014, Revised selected papers /: third CCF Internet Conference of China, ICoC 2014, Shanghai, China, July 10-11, 2014, Revised selected papers. (2015) Editors: Zhang, Shiyong Other Names: CCF Internet Conference of China, 3rd Record Type: Book Extent: 1 online resource (xi, 133 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
126. Fundamentals of service systems. (2015) Editors: Cardoso, Jorge, 1970-; Fromm, Hansjörg; Nickel, Stefan; Satzger, Gerhard; Studer, Rudi; Weinhardt, Christof Record Type: Book Extent: 1 online resource (xix, 362 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
127. Future data and security engineering : Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015 : proceedings /: Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015 : proceedings. (2015) Editors: Dang, Tran Khanh Other Names: FDSE (Conference), 2nd Record Type: Book Extent: 1 online resource (323 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
128. Generic systems engineering : ein methodischer ansatz zur komplexit?atsbew?altigung /: ein methodischer ansatz zur komplexit?atsbew?altigung. (2016) Authors: Winzer, Petra Record Type: Book Extent: 1 online resource (353 pages), illustrations, tables View Content: Available online (eLD content is only available in our Reading Rooms) ↗
129. Geschäftsprozesse analysieren und optimieren : Praxistools zur Analyse, Optimierung und Controlling von Arbeitsabläufen /: Praxistools zur Analyse, Optimierung und Controlling von Arbeitsabläufen. ([2015]) Authors: Gadatsch, Andreas Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
130. GIS and health. (2014) Other Names: Gatrell, Anthony C; Löytönen, Markku; European Science Foundation. Record Type: Book Extent: 1 online resource (212 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗