Search Results for Modeling. - Narrowed by: Health Informatics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModeling.$0026qf$003dSUBJECT$002509Subject$002509Health$002bInformatics.$002509Health$002bInformatics.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-04-04T22:28:22Z Computer Science in Sport Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data ent://SD_ILS/0/SD_ILS:602790 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Memmert, Daniel. editor. (orcid)0000-0002-3406-9175&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-68313-2">https://doi.org/10.1007/978-3-662-68313-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Informatics in Health and Biomedicine Understanding and Modeling Health Behaviors ent://SD_ILS/0/SD_ILS:617998 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Patel, Vimla L. editor.&#160;Arocha, Jose F. editor.&#160;Ancker, Jessica S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51732-2">https://doi.org/10.1007/978-3-319-51732-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:618264 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Fei, Minrui. editor.&#160;Ma, Shiwei. editor.&#160;Li, Xin. editor.&#160;Sun, Xin. editor.&#160;Jia, Li. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-6370-1">https://doi.org/10.1007/978-981-10-6370-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management 7th International Conference, DHM 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612720 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Duffy, Vincent G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40247-5">https://doi.org/10.1007/978-3-319-40247-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling and Control of Dialysis Systems Volume 1: Modeling Techniques of Hemodialysis Systems ent://SD_ILS/0/SD_ILS:333152 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Azar, Ahmad Taher. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333152.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27458-9">http://dx.doi.org/10.1007/978-3-642-27458-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Control of Dialysis Systems Volume 2: Biofeedback Systems and Soft Computing Techniques of Dialysis ent://SD_ILS/0/SD_ILS:333156 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Azar, Ahmad Taher. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333156.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27558-6">http://dx.doi.org/10.1007/978-3-642-27558-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technological Innovations for Managing Tropical Diseases ent://SD_ILS/0/SD_ILS:607328 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Ogwu, Matthew Chidozie. author. (orcid)0000-0001-6054-1667&#160;Izah, Sylvester Chibueze. author. (orcid)0000-0001-5526-006X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82622-1">https://doi.org/10.1007/978-3-031-82622-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence for Molecular Biology Fundamental Methods and Applications ent://SD_ILS/0/SD_ILS:610468 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Nabeel Asim, Muhammad. author.&#160;Ahmed, Sheraz. author.&#160;Dengel, Andreas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90450-9">https://doi.org/10.1007/978-3-031-90450-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technology in Biomedicine 10th International Conference, ITIB 2025, Zabrze, Poland, June 23-25, 2025 Proceedings ent://SD_ILS/0/SD_ILS:609004 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Badura, Pawel. editor.&#160;Czajkowska, Joanna. editor. (orcid)0000-0002-6237-1793&#160;Gertych, Arkadiusz. editor. (orcid)0000-0002-3107-602X&#160;Kawa, Jacek. editor.&#160;Pi&#281;tka, Ewa. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-95582-2">https://doi.org/10.1007/978-3-031-95582-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IX Latin American Congress on Biomedical Engineering and XXVIII Brazilian Congress on Biomedical Engineering Proceedings of CLAIB and CBEB 2022, October 24-28, 2022, Florian&oacute;polis, Brazil-Volume 3: Biomechanics, Biomedical Devices and Assistive Technologies ent://SD_ILS/0/SD_ILS:602268 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Marques, Jefferson Luiz Brum. editor.&#160;Rodrigues, Cesar Ramos. editor.&#160;Suzuki, Daniela Ota Hisayasu. editor.&#160;Marino Neto, Jos&eacute;. editor.&#160;Garc&iacute;a Ojeda, Renato. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49407-9">https://doi.org/10.1007/978-3-031-49407-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Digital Health and Medical Bioengineering Proceedings of the 11th International Conference on E-Health and Bioengineering, EHB-2023, November 9-10, 2023, Bucharest, Romania - Volume 1: Medical Devices, Measurements, and Artificial Intelligence Applications ent://SD_ILS/0/SD_ILS:604901 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Costin, Hariton-Nicolae. editor. (orcid)0000-0002-1938-2817&#160;Magjarevi&#263;, Ratko. editor. (orcid)0000-0002-7260-3906&#160;Petroiu, Gladiola Gabriela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62502-2">https://doi.org/10.1007/978-3-031-62502-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced AI and Internet of Health Things for Combating Pandemics ent://SD_ILS/0/SD_ILS:528347 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Lahby, Mohamed. editor.&#160;Pilloni, Virginia. editor.&#160;Banerjee, Jyoti Sekhar. editor.&#160;Mahmud, Mufti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-28631-5">https://doi.org/10.1007/978-3-031-28631-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things Enabled Antennas for Biomedical Devices and Systems Impact, Challenges and Applications ent://SD_ILS/0/SD_ILS:526857 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Malik, Praveen K. editor.&#160;Shastry, Prasad N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-0212-5">https://doi.org/10.1007/978-981-99-0212-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geoinformatics in Health Facility Analysis ent://SD_ILS/0/SD_ILS:612917 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Rai, Praveen Kumar. author. (orcid)0000-0001-7769-9161&#160;Nathawat, Mahendra Singh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44624-0">https://doi.org/10.1007/978-3-319-44624-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Technologies: Embracing the Internet of Things 7th International Conference, MCETECH 2017, Ottawa, ON, Canada, May 17-19, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612980 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;A&iuml;meur, Esma. editor.&#160;Ruhi, Umar. editor.&#160;Weiss, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59041-7">https://doi.org/10.1007/978-3-319-59041-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science and Big Data: An Environment of Computational Intelligence ent://SD_ILS/0/SD_ILS:613163 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Pedrycz, Witold. editor.&#160;Chen, Shyi-Ming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-53474-9">https://doi.org/10.1007/978-3-319-53474-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics and Biomedical Engineering 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:617404 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Rojas, Ignacio. editor.&#160;Ortu&ntilde;o, Francisco. editor. (orcid)0000-0001-7424-1753&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56154-7">https://doi.org/10.1007/978-3-319-56154-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics and Biomedical Engineering 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:617428 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Rojas, Ignacio. editor.&#160;Ortu&ntilde;o, Francisco. editor. (orcid)0000-0001-7424-1753&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56148-6">https://doi.org/10.1007/978-3-319-56148-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors and Ergonomics in Healthcare Proceedings of the AHFE 2016 International Conference on Human Factors and Ergonomics in Healthcare, July 27-31, 2016, Walt Disney World&reg;, Florida, USA ent://SD_ILS/0/SD_ILS:618322 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Duffy, Vincent G. editor.&#160;Lightner, Nancy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-41652-6">https://doi.org/10.1007/978-3-319-41652-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Qu&eacute;bec City, QC, Canada, September 10-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618433 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Cardoso, M. Jorge. editor.&#160;Arbel, Tal. editor.&#160;Ferrante, Enzo. editor.&#160;Pennec, Xavier. editor. (orcid)0000-0002-6617-7664&#160;Dalca, Adrian V. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67675-3">https://doi.org/10.1007/978-3-319-67675-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:612093 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Ourselin, Sebastien. editor.&#160;Joskowicz, Leo. editor. (orcid)0000-0002-3010-4770&#160;Sabuncu, Mert R. editor.&#160;Unal, Gozde. editor.&#160;Wells, William. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46723-8">https://doi.org/10.1007/978-3-319-46723-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612098 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Ourselin, Sebastien. editor.&#160;Joskowicz, Leo. editor. (orcid)0000-0002-3010-4770&#160;Sabuncu, Mert R. editor.&#160;Unal, Gozde. editor.&#160;Wells, William. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46720-7">https://doi.org/10.1007/978-3-319-46720-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technologies in Medicine 5th International Conference, ITIB 2016 Kamie&#324; &#346;l&#261;ski, Poland, June 20 - 22, 2016 Proceedings, Volume 1 ent://SD_ILS/0/SD_ILS:615529 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Pi&#281;tka, Ewa. editor.&#160;Badura, Pawel. editor.&#160;Kawa, Jacek. editor.&#160;Wieclawek, Wojciech. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39796-2">https://doi.org/10.1007/978-3-319-39796-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615983 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Camara, Oscar. editor.&#160;Mansi, Tommaso. editor.&#160;Pop, Mihaela. editor.&#160;Rhode, Kawal. editor.&#160;Sermesant, Maxime. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28712-6">https://doi.org/10.1007/978-3-319-28712-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics and Biomedical Engineering 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616193 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Ortu&ntilde;o, Francisco. editor. (orcid)0000-0001-7424-1753&#160;Rojas, Ignacio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31744-1">https://doi.org/10.1007/978-3-319-31744-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Health ent://SD_ILS/0/SD_ILS:617839 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Wang, Honggang. author.&#160;Mahmud, Md Shaad. author.&#160;Fang, Hua. author.&#160;Wang, Chonggang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47946-0">https://doi.org/10.1007/978-3-319-47946-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technologies in Medicine 5th International Conference, ITIB 2016 Kamie&#324; &#346;l&#261;ski, Poland, June 20 - 22, 2016 Proceedings, Volume 2 ent://SD_ILS/0/SD_ILS:611837 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Pi&#281;tka, Ewa. editor.&#160;Badura, Pawel. editor.&#160;Kawa, Jacek. editor.&#160;Wieclawek, Wojciech. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39904-1">https://doi.org/10.1007/978-3-319-39904-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part III ent://SD_ILS/0/SD_ILS:617917 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Ourselin, Sebastien. editor.&#160;Joskowicz, Leo. editor. (orcid)0000-0002-3010-4770&#160;Sabuncu, Mert R. editor.&#160;Unal, Gozde. editor.&#160;Wells, William. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46726-9">https://doi.org/10.1007/978-3-319-46726-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617541 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951&#160;Dr&#259;goicea, Monica. editor.&#160;N&oacute;voa, Henriqueta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-32689-4">https://doi.org/10.1007/978-3-319-32689-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Learning and Data Labeling for Medical Applications First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618111 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Carneiro, Gustavo. editor.&#160;Mateus, Diana. editor.&#160;Peter, Lo&iuml;c. editor.&#160;Bradley, Andrew. editor.&#160;Tavares, Jo&atilde;o Manuel R. S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46976-8">https://doi.org/10.1007/978-3-319-46976-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence Techniques for Comparative Genomics Dedicated to Prof. Allam Appa Rao on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:530272 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Muppalaneni, Naresh Babu. editor.&#160;Gunjan, Vinit Kumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-287-338-5">https://doi.org/10.1007/978-981-287-338-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> First European Biomedical Engineering Conference for Young Investigators ENCY2015, Budapest, May 28 - 30, 2015 ent://SD_ILS/0/SD_ILS:530547 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Jobb&aacute;gy, &Aacute;kos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-287-573-0">https://doi.org/10.1007/978-981-287-573-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334624 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Barratt, Dean. editor.&#160;Cotin, St&eacute;phane. editor.&#160;Fichtinger, Gabor. editor.&#160;Jannin, Pierre. editor.&#160;Navab, Nassir. editor.<br/>Preferred Shelf Number&#160;ONLINE(334624.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38568-1">http://dx.doi.org/10.1007/978-3-642-38568-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions ent://SD_ILS/0/SD_ILS:336488 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Bosse, Tibor. editor.&#160;Cook, Diane J. editor.&#160;Neerincx, Mark. editor.&#160;Sadri, Fariba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336488.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-6239-018-8">http://dx.doi.org/10.2991/978-94-6239-018-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334727 2026-04-04T22:28:22Z 2026-04-04T22:28:22Z Author&#160;Weber, Jens. editor.&#160;Perseil, Isabelle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334727.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>