1. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I ([2019]) Other Names: Dillig, Isil; Tasiran, Serdar; CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. High performance computing in science and engineering ' 18 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 /: transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018. ([2019]) Editors: Nagel, Wolfgang E; Kröner, Dietmar H; Resch, Michael M Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Shallow water hydraulics. (2019) Authors: Castro-Orgaz, Oscar; Hager, Willi H Record Type: Book Extent: 1 online resource (xvii, 563 pages.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Uncertainty management with fuzzy and rough sets : recent advances and applications /: recent advances and applications. ([2019]) Editors: Bello, Rafael; Falcón, Rafael, 1979-; Verdegay, José-Luis Other Names: International Symposium on Fuzzy and Rough Sets, 2nd Record Type: Book Extent: 1 online resource (xxix, 413 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗