11. Brain and human body modeling : computational human modeling at EMBC 2018 /: computational human modeling at EMBC 2018. ([2019]) Editors: Makarov, Sergey N; Horner, Marc; Noetscher, Gregory M, 1978- Other Names: IEEE Engineering in Medicine and Biology Society., Annual Conference, (40th) 2018 (Honolulu, HI); Annual Invited Session on Computational Human Models, 3rd Record Type: Book Extent: 1 online resource (xi, 402 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Cognitive supervision for robot-assisted minimally invasive laser surgery. (2016) Authors: Fichera, Loris Record Type: Book Extent: 1 online resource (xix, 99 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Collaboration in designing a pedagogical approach in information literacy. ([2020]) Authors: Landøy, Ane; Popa, Daniela; Repanovici, Angela Record Type: Book Extent: 1 online resource (xi, 161 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. 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) ↗
15. 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 II ([2019]) Editors: Dillig, Isil; Tasiran, Serdar Other Names: CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Computing characterizations of drugs for ion channels and receptors using Markov models. (2016) Authors: Tveito, Aslak, 1961-; Lines, Glenn T Record Type: Book Extent: 1 online resource (xvi, 261 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Contemporary bioethics : Islamic perspective /: Islamic perspective. ([2015]) Authors: Bārr, Muḥammad ʿAlī; Chamsi-Pasha, Hassan Record Type: Book Extent: 1 online resource (xv, 267 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Creating healthy and sustainable buildings : an assessment of health risk factors /: an assessment of health risk factors. ([2019]) Authors: Dovjak, Mateja; Kukec, Andreja Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Deliberative public engagement with science : an empirical investigation /: an empirical investigation. ([2018]) Authors: PytlikZillig, Lisa M; Hutchens, Myiah J; Muhlberger, Peter; Gonzalez, Frank J; Tomkins, Alan J Record Type: Book Extent: 1 online resource (XI, 129 pages), 12 illustrations, 4 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Design Science and Its Importance in the German Mathematics Educational Discussion. ([2016]) Authors: Nührenbörger, Marcus; Roesken, Bettina; Fung, Chun-Ip; Schwarzkopf, Ralph; Wittmann, Erich Christian; Akinwunmi, Kathrin; Lensing, Felix; Schacht, Florian Other Names: International Congress on Mathematical Education, 13th Record Type: Book Extent: 1 online resource (vii, 43 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗