Search Results for SpringerLink (Online service) - Narrowed by: Online Library - 2018 - Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026te$003dILS$0026ps$003d300? 2024-08-30T13:46:13Z Comprehensive Healthcare Simulation: Neurosurgery ent://SD_ILS/0/SD_ILS:398929 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Alaraj, Ali. 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-75583-0">https://doi.org/10.1007/978-3-319-75583-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics: Sequences, Structures, Phylogeny ent://SD_ILS/0/SD_ILS:399064 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Shanker, Asheesh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1562-6">https://doi.org/10.1007/978-981-13-1562-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Models of Rhythm and Meter ent://SD_ILS/0/SD_ILS:401637 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Boenn, Georg. 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-76285-2">https://doi.org/10.1007/978-3-319-76285-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17&ndash;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:401891 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Cassenti, Daniel N. 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-60591-3">https://doi.org/10.1007/978-3-319-60591-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probability and Statistics for Computer Science ent://SD_ILS/0/SD_ILS:402185 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Forsyth, David. 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-64410-3">https://doi.org/10.1007/978-3-319-64410-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Control Design and MATLAB Simulation ent://SD_ILS/0/SD_ILS:402234 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Liu, Jinkun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-5263-7">https://doi.org/10.1007/978-981-10-5263-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Simulations of Space Societies ent://SD_ILS/0/SD_ILS:399420 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Bainbridge, William Sims. 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-90560-0">https://doi.org/10.1007/978-3-319-90560-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Discrete-Event Systems with GPenSIM An Introduction ent://SD_ILS/0/SD_ILS:400012 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Davidrajuh, Reggie. 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-73102-5">https://doi.org/10.1007/978-3-319-73102-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 3D Kinematics ent://SD_ILS/0/SD_ILS:400216 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Haslwanter, Thomas. 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-75277-8">https://doi.org/10.1007/978-3-319-75277-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Test and Launch Control Technology for Launch Vehicles ent://SD_ILS/0/SD_ILS:400742 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Song, Zhengyu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8712-7">https://doi.org/10.1007/978-981-10-8712-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage ent://SD_ILS/0/SD_ILS:399464 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Gonzalez-Perez, Cesar. 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-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399804 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Deng, Xiaotie. 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-99660-8">https://doi.org/10.1007/978-3-319-99660-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:401058 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Hoffman, Mark. 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-60747-4">https://doi.org/10.1007/978-3-319-60747-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401453 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Mazal, Jan. editor. (orcid)0000-0001-5741-558X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability Aspect of Cloud Computing Environment ent://SD_ILS/0/SD_ILS:399144 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Kumar, Vikas. author.&#160;Vidhyalakshmi, R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3023-0">https://doi.org/10.1007/978-981-13-3023-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050 ent://SD_ILS/0/SD_ILS:399695 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Le Mou&euml;l, Chantal. editor.&#160;Schmitt, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-024-1563-6">https://doi.org/10.1007/978-94-024-1563-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28&ndash;29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:401013 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Zhou, Yifeng. editor.&#160;Kunz, Thomas. 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-74439-1">https://doi.org/10.1007/978-3-319-74439-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17&ndash;18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402205 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Sun, Guanglu. editor.&#160;Liu, Shuai. 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-73317-3">https://doi.org/10.1007/978-3-319-73317-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite Element Applications A Practical Guide to the FEM Process ent://SD_ILS/0/SD_ILS:402245 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Okereke, Michael. author.&#160;Keates, Simeon. 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-67125-3">https://doi.org/10.1007/978-3-319-67125-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480 ent://SD_ILS/0/SD_ILS:402539 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Biermann, D. editor.&#160;Hollmann, F. 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-57120-1">https://doi.org/10.1007/978-3-319-57120-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400230 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Howar, Falk. editor.&#160;Barnat, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Encyclopedia of Social Network Analysis and Mining ent://SD_ILS/0/SD_ILS:401520 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Alhajj, Reda. editor.&#160;Rokne, Jon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-7131-2">https://doi.org/10.1007/978-1-4939-7131-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399201 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Li, Cheng. editor.&#160;Mao, Shiwen. 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-90802-1">https://doi.org/10.1007/978-3-319-90802-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399353 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Lahiri, Shuvendu K. editor.&#160;Wang, Chao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399782 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Furia, Carlo A. editor.&#160;Winter, Kirsten. 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-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulations for Design and Manufacturing Select Papers from AIMTDR 2016 ent://SD_ILS/0/SD_ILS:400777 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Dixit, Uday S. editor.&#160;Kant, Ravi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8518-5">https://doi.org/10.1007/978-981-10-8518-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. 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-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Networks for Cooperative Control of Multiple Robot Arms ent://SD_ILS/0/SD_ILS:402260 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Li, Shuai. author.&#160;Zhang, Yinyan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7037-2">https://doi.org/10.1007/978-981-10-7037-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Finite Element Methods An Introduction ent://SD_ILS/0/SD_ILS:401850 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Papadopoulos, Vissarion. author.&#160;Giovanis, Dimitris G. 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-64528-5">https://doi.org/10.1007/978-3-319-64528-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Simulation in Industrial Engineering ent://SD_ILS/0/SD_ILS:401411 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Ram, Mangey. editor.&#160;Davim, J. Paulo. 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-60432-9">https://doi.org/10.1007/978-3-319-60432-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Perspectives on Applied Industrial Tools and Techniques ent://SD_ILS/0/SD_ILS:398981 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Garc&iacute;a-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963&#160;Alor-Hern&aacute;ndez, Giner. editor.&#160;Maldonado-Mac&iacute;as, Aid&eacute; Aracely. editor.&#160;S&aacute;nchez-Ram&iacute;rez, Cuauht&eacute;moc. editor. (orcid)0000-0002-0344-1966&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56871-3">https://doi.org/10.1007/978-3-319-56871-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399143 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Li, Liang. editor.&#160;Hasegawa, Kyoko. editor.&#160;Tanaka, Satoshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2853-4">https://doi.org/10.1007/978-981-13-2853-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia ent://SD_ILS/0/SD_ILS:399779 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Kryzhanovsky, Boris. editor.&#160;Dunin-Barkowski, Witali. editor.&#160;Redko, Vladimir. 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-66604-4">https://doi.org/10.1007/978-3-319-66604-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399950 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Lewis, Peter R. editor.&#160;Headleand, Christopher J. editor.&#160;Battle, Steve. editor.&#160;Ritsos, Panagiotis D. 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-90418-4">https://doi.org/10.1007/978-3-319-90418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400890 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Long, Keping. editor.&#160;Leung, Victor C.M. editor.&#160;Zhang, Haijun. editor.&#160;Feng, Zhiyong. editor.&#160;Li, Yonghui. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72823-0">https://doi.org/10.1007/978-3-319-72823-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, S&atilde;o Paulo, Brazil, May 8-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401115 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Dimuro, Gra&ccedil;aliz Pereira. editor. (orcid)0000-0001-6986-9888&#160;Antunes, Luis. editor. (orcid)0000-0002-8237-6524&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91587-6">https://doi.org/10.1007/978-3-319-91587-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach ent://SD_ILS/0/SD_ILS:401598 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Fern&aacute;ndez de Ca&ntilde;ete, J. author.&#160;Galindo, C. author.&#160;Barbancho, J. author.&#160;Luque, A. 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-75717-9">https://doi.org/10.1007/978-3-319-75717-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Graph Theory with Applications to Human Trafficking ent://SD_ILS/0/SD_ILS:401766 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Mordeson, John N. author.&#160;Mathew, Sunil. author.&#160;Malik, Davender S. 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-76454-2">https://doi.org/10.1007/978-3-319-76454-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems ent://SD_ILS/0/SD_ILS:401881 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Diez, Pedro. editor.&#160;Neittaanm&auml;ki, Pekka. editor.&#160;Periaux, Jacques. editor.&#160;Tuovinen, Tero. editor.&#160;Br&auml;ysy, Olli. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54490-8">https://doi.org/10.1007/978-3-319-54490-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exploring Occupant Behavior in Buildings Methods and Challenges ent://SD_ILS/0/SD_ILS:401843 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Wagner, Andreas. editor.&#160;O&rsquo;Brien, William. editor.&#160;Dong, Bing. 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-61464-9">https://doi.org/10.1007/978-3-319-61464-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402150 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Chen, Qianbin. editor.&#160;Meng, Weixiao. editor.&#160;Zhao, Liqiang. 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-66628-0">https://doi.org/10.1007/978-3-319-66628-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402158 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Chen, Qianbin. editor.&#160;Meng, Weixiao. editor.&#160;Zhao, Liqiang. 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-66625-9">https://doi.org/10.1007/978-3-319-66625-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling, Simulation, and Optimization ent://SD_ILS/0/SD_ILS:402222 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Vasant, Pandian. editor.&#160;Litvinchev, Igor. editor.&#160;Marmolejo-Saucedo, Jos&eacute; Antonio. 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-70542-2">https://doi.org/10.1007/978-3-319-70542-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bone Adaptation In Silico Approach ent://SD_ILS/0/SD_ILS:402347 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Kameo, Yoshitaka. author.&#160;Tsubota, Ken-ichi. author.&#160;Adachi, Taiji. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-4-431-56514-7">https://doi.org/10.1007/978-4-431-56514-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-layer Pavement System under Blast Load ent://SD_ILS/0/SD_ILS:402616 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Wu, Jun. author.&#160;Wu, Hao. author.&#160;Tan, Hong Wei Andy. author.&#160;Chew, Soon Hoe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-5001-5">https://doi.org/10.1007/978-981-10-5001-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400333 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Abdelwahed, El Hassan. editor.&#160;Bellatreche, Ladjel. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Golfarelli, Matteo. editor.&#160;Jean, St&eacute;phane. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400343 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Horvath, Andras. editor. (orcid)0000-0002-8210-545X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Honeypot Frameworks and Their Applications: A New Framework ent://SD_ILS/0/SD_ILS:399250 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;NG, Chee Keong. author.&#160;Pan, Lei. author.&#160;Xiang, Yang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7739-5">https://doi.org/10.1007/978-981-10-7739-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Scientific Computing With Python ent://SD_ILS/0/SD_ILS:400205 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Turner, Peter R. author.&#160;Arildsen, Thomas. author. (orcid)0000-0003-3254-3790&#160;Kavanagh, Kathleen. 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-89575-8">https://doi.org/10.1007/978-3-319-89575-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400211 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Bajo, Javier. editor.&#160;Corchado, Juan M. editor.&#160;Navarro Mart&iacute;nez, Elena Mar&iacute;a. editor.&#160;Osaba Icedo, Eneko. editor.&#160;Mathieu, Philippe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94779-2">https://doi.org/10.1007/978-3-319-94779-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11&ndash;12, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:400082 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Pergl, Robert. editor. (orcid)0000-0003-2980-4400&#160;Babkin, Eduard. editor. (orcid)0000-0003-2597-9043&#160;Lock, Russell. editor. (orcid)0000-0002-4543-3753&#160;Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026&#160;Merunka, Vojt&#283;ch. editor. (orcid)0000-0002-9056-1439<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00787-4">https://doi.org/10.1007/978-3-030-00787-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400155 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time Modelling and Processing for Communication Systems Applications and Practices ent://SD_ILS/0/SD_ILS:400471 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Alam, Muhammad. editor.&#160;Dghais, Wael. editor.&#160;Chen, Yuanfang. 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-72215-3">https://doi.org/10.1007/978-3-319-72215-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield ent://SD_ILS/0/SD_ILS:400515 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Stepney, Susan. author.&#160;Polack, Fiona A.C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01938-9">https://doi.org/10.1007/978-3-030-01938-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Dynamic Data Driven Applications Systems ent://SD_ILS/0/SD_ILS:400436 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Blasch, Erik. editor.&#160;Ravela, Sai. editor.&#160;Aved, Alex. 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-95504-9">https://doi.org/10.1007/978-3-319-95504-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. 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-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications and Networking 12th International Conference, ChinaCom 2017, Xi&rsquo;an, China, October 10-12, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400843 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Li, Bo. editor.&#160;Shu, Lei. editor.&#160;Zeng, Deze. 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-78139-6">https://doi.org/10.1007/978-3-319-78139-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:401105 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. 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-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017) ent://SD_ILS/0/SD_ILS:401222 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Doroftei, Ioan. editor.&#160;Oprisan, Cezar. editor.&#160;Pisla, Doina. editor.&#160;Lovasz, Erwin Christian. 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-79111-1">https://doi.org/10.1007/978-3-319-79111-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2&ndash;5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401236 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Deville, Yannick. editor. (orcid)0000-0002-8769-2446&#160;Gannot, Sharon. editor. (orcid)0000-0002-2885-170X&#160;Mason, Russell. editor. (orcid)0000-0002-6030-9603&#160;Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075&#160;Ward, Dominic. editor. (orcid)0000-0002-7819-0145<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93764-9">https://doi.org/10.1007/978-3-319-93764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC&rsquo;17 ent://SD_ILS/0/SD_ILS:401324 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Zhu, Quanmin. editor.&#160;Na, Jing. editor.&#160;Wu, Xing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7212-3">https://doi.org/10.1007/978-981-10-7212-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nature Inspired Computing Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:401345 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Hoda, M. N. editor.&#160;Sharma, Vinod. editor.&#160;Goel, Shivendra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-6747-1">https://doi.org/10.1007/978-981-10-6747-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401958 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. 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-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications and Networking 12th International Conference, ChinaCom 2017, Xi&rsquo;an, China, October 10-12, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401982 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Li, Bo. editor.&#160;Shu, Lei. editor.&#160;Zeng, Deze. 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-78130-3">https://doi.org/10.1007/978-3-319-78130-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016 ent://SD_ILS/0/SD_ILS:402641 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Singh, Sanjay. editor.&#160;Raj, Pushkar. editor.&#160;Tambe, Samir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-5849-3">https://doi.org/10.1007/978-981-10-5849-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399324 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576&#160;Larsen, J&oslash;rgen Christian. editor. (orcid)0000-0002-4741-8290&#160;Xiong, Xiaofeng. editor.&#160;Hallam, John. editor.&#160;Triesch, Jochen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97628-0">https://doi.org/10.1007/978-3-319-97628-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation Science First International Workshop, SimScience 2017, G&ouml;ttingen, Germany, April 27&ndash;28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399370 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Baum, Marcus. editor.&#160;Brenner, Gunther. editor.&#160;Grabowski, Jens. editor.&#160;Hanschke, Thomas. editor.&#160;Hartmann, Stefan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96271-9">https://doi.org/10.1007/978-3-319-96271-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399465 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Gu, Xuemai. editor.&#160;Liu, Gongliang. editor.&#160;Li, Bo. 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-73447-7">https://doi.org/10.1007/978-3-319-73447-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399472 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;Peleska, Jan. editor. (orcid)0000-0003-3667-9775&#160;Roscoe, Bill. editor.&#160;de Vink, Erik. 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-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017 ent://SD_ILS/0/SD_ILS:399522 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Tavares, Jo&atilde;o Manuel R.S. editor.&#160;Natal Jorge, R.M. 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-68195-5">https://doi.org/10.1007/978-3-319-68195-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399551 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Dutle, Aaron. editor.&#160;Mu&ntilde;oz, C&eacute;sar. editor.&#160;Narkawicz, Anthony. 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-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Simulation of the Aerodynamics of High-Lift Configurations ent://SD_ILS/0/SD_ILS:399552 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;L&oacute;pez Mejia, Omar Dar&iacute;o. editor. (orcid)0000-0001-6795-9396&#160;Escobar Gomez, Jaime A. 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-62136-4">https://doi.org/10.1007/978-3-319-62136-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Analysis Approach for Complex Global Challenges ent://SD_ILS/0/SD_ILS:400049 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Mensah, Priscilla. editor.&#160;Katerere, David. editor.&#160;Hachigonta, Sepo. editor.&#160;Roodt, Andreas. 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-71486-8">https://doi.org/10.1007/978-3-319-71486-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab ent://SD_ILS/0/SD_ILS:401217 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;de Boer, Frank. editor.&#160;Bonsangue, Marcello. editor.&#160;Rutten, Jan. 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-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automatic Tuning of Compilers Using Machine Learning ent://SD_ILS/0/SD_ILS:402096 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Ashouri, Amir H. author.&#160;Palermo, Gianluca. author.&#160;Cavazos, John. author.&#160;Silvano, Cristina. author. (orcid)0000-0003-1668-0883&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71489-9">https://doi.org/10.1007/978-3-319-71489-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402684 2024-08-30T13:46:13Z 2024-08-30T13:46:13Z Author&#160;Gu, Xuemai. editor.&#160;Liu, Gongliang. editor.&#160;Li, Bo. 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-73564-1">https://doi.org/10.1007/978-3-319-73564-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>