371. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017) Editors: Paskevich, Andrei; Wies, Thomas Other Names: VSTTE (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
372. Verifying calculations-- forty years on : an overview of classical verification techniques for FEM simulations /: an overview of classical verification techniques for FEM simulations. (2016) Editors: Chamoin, Ludovic; Díez, Pedro Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
373. VipIMAGE 2017 : proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017 /: proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017. ([2018]) Editors: Tavares, João Manuel R. S; Jorge, Renato M. Natal Other Names: VipIMAGE (Conference) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
374. Wireless internet : 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings /: 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings. (2018) Editors: Li, Cheng; Mao, Shiwen Other Names: International Conference on Wireless Internet, 10th Record Type: Book Extent: 1 online resource (xvi, 484 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗