501. Variable-structure approaches : analysis, simulation, robust control and estimation of uncertain dynamic processes /: analysis, simulation, robust control and estimation of uncertain dynamic processes. (2016) Editors: Rauh, Andreas; Senkel, Luise Record Type: Book Extent: 1 online resource (x, 361 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
502. 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) ↗
503. 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) ↗
504. 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) ↗
505. Virtual worlds as philosophical tools : how to philosophize with a digital hammer /: how to philosophize with a digital hammer. (2015) Authors: Gualeni, Stefano, 1978- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
506. VR, simulations and serious games for education. ([2019]) Editors: Joolingen, Wouter van; Walker, Zachary Other Names: editor, Cai, Yiyu; Asia-Europe Symposium on Simulation and Serious Games, 3rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
507. Web-basierte Referenzarchitektur für virtuelle Techniken : Mit Anwendungsbeispielen aus der Industrie /: Mit Anwendungsbeispielen aus der Industrie. ([2017]) Authors: Brauns, Sarah; Hoffmann, Hilko; Zimmermann, Peter Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
508. 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) ↗