Search Results for Science (General) - Narrowed by: Computer Modelling. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b$002528General$002529$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-14T09:48:25Z Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613346 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Rykov, Vladimir V. editor.&#160;Singpurwalla, Nozer D. editor.&#160;Zubkov, Andrey 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-71504-9">https://doi.org/10.1007/978-3-319-71504-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613299 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Battiti, Roberto. editor. (orcid)0000-0002-0259-8603&#160;Kvasov, Dmitri E. editor.&#160;Sergeyev, Yaroslav 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-69404-7">https://doi.org/10.1007/978-3-319-69404-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616316 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;van der Aalst, Wil. editor.&#160;Best, Eike. 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-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612618 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. 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-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613265 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Tan, Ying. editor. (orcid)0000-0001-8243-4731&#160;Takagi, Hideyuki. editor.&#160;Shi, Yuhui. editor.&#160;Niu, Ben. 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-61833-3">https://doi.org/10.1007/978-3-319-61833-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615938 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Desai, Narayan. editor.&#160;Cirne, Walfredo. 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-61756-5">https://doi.org/10.1007/978-3-319-61756-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615970 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394&#160;Bortolussi, Luca. 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-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616611 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Abate, Alessandro. editor.&#160;Geeraerts, Gilles. 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-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616154 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Dennunzio, Alberto. editor.&#160;Formenti, Enrico. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. 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-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616323 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Malyshkin, 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-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616326 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Tichavsk&yacute;, Petr. editor.&#160;Babaie-Zadeh, Massoud. editor.&#160;Michel, Olivier J.J. editor.&#160;Thirion-Moreau, Nad&egrave;ge. 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-53547-0">https://doi.org/10.1007/978-3-319-53547-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616183 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Abate, Alessandro. editor. (orcid)0000-0002-5627-9093&#160;Boldo, Sylvie. 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-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616448 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Dutra, In&ecirc;s. editor.&#160;Camacho, Rui. editor.&#160;Barbosa, Jorge. editor.&#160;Marques, Osni. 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-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618059 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Shi, Yuhui. editor.&#160;Tan, Kay Chen. editor.&#160;Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538&#160;Tang, Ke. editor.&#160;Li, Xiaodong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68759-9">https://doi.org/10.1007/978-3-319-68759-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612253 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;James, Phillip. editor.&#160;Roggenbach, Markus. 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-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, T&oslash;nsberg, Norway, June 23-28, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613241 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Floater, Michael. editor.&#160;Lyche, Tom. editor.&#160;Mazure, Marie-Laurence. editor.&#160;M&oslash;rken, Knut. editor.&#160;Schumaker, Larry L. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67885-6">https://doi.org/10.1007/978-3-319-67885-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613536 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Bekta&#351;, Tolga. editor.&#160;Coniglio, Stefano. editor.&#160;Martinez-Sykora, Antonio. editor.&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68496-3">https://doi.org/10.1007/978-3-319-68496-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616217 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Ghosh, Sujata. editor.&#160;Prasad, Sanjiva. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617812 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616297 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Tan, Ying. editor. (orcid)0000-0001-8243-4731&#160;Takagi, Hideyuki. editor.&#160;Shi, Yuhui. 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-61824-1">https://doi.org/10.1007/978-3-319-61824-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611808 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42085-1">https://doi.org/10.1007/978-3-319-42085-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:611984 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42108-7">https://doi.org/10.1007/978-3-319-42108-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:612085 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42089-9">https://doi.org/10.1007/978-3-319-42089-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612842 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Cook, Matthew. editor.&#160;Neary, Turlough. 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-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613033 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Bac, Alexandra. editor.&#160;Mari, Jean-Luc. 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-39441-1">https://doi.org/10.1007/978-3-319-39441-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616004 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor.&#160;Vorozhtsov, Evgenii V. 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-45641-6">https://doi.org/10.1007/978-3-319-45641-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V ent://SD_ILS/0/SD_ILS:613726 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42092-9">https://doi.org/10.1007/978-3-319-42092-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings ent://SD_ILS/0/SD_ILS:615987 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;El Yacoubi, Samira. editor.&#160;W&#261;s, Jaros&#322;aw. editor.&#160;Bandini, Stefania. 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-44365-2">https://doi.org/10.1007/978-3-319-44365-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616053 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Agha, Gul. editor.&#160;Van Houdt, Benny. 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-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616171 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Festa, Paola. editor.&#160;Sellmann, Meinolf. editor.&#160;Vanschoren, Joaquin. 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-50349-3">https://doi.org/10.1007/978-3-319-50349-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616188 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Tan, Ying. editor. (orcid)0000-0001-8243-4731&#160;Shi, Yuhui. editor.&#160;Li, Li. 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-41009-8">https://doi.org/10.1007/978-3-319-41009-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616569 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Paias, Ana. editor.&#160;Ruthmair, Mario. editor.&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44896-1">https://doi.org/10.1007/978-3-319-44896-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III ent://SD_ILS/0/SD_ILS:618138 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42111-7">https://doi.org/10.1007/978-3-319-42111-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616218 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Blanchette, Jasmin Christian. editor.&#160;Merz, Stephan. 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-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616277 2026-03-14T09:48:25Z 2026-03-14T09:48:25Z Author&#160;Tan, Ying. editor. (orcid)0000-0001-8243-4731&#160;Shi, Yuhui. editor.&#160;Niu, Ben. 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-41000-5">https://doi.org/10.1007/978-3-319-41000-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>