Search Results for Science -- methods. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bmethods.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-04-09T08:30:29Z Multiscale Methods in Science and Engineering ent://SD_ILS/0/SD_ILS:180732 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Engquist, Bj&ouml;rn. editor.&#160;Runborg, Olof. editor.&#160;L&ouml;tstedt, Per. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137594">http://dx.doi.org/10.1007/b137594</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computational Methods in Science and Engineering ent://SD_ILS/0/SD_ILS:190595 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Koren, Barry. editor.&#160;Vuik, Kees. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03344-5">http://dx.doi.org/10.1007/978-3-642-03344-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Decomposition Methods in Science and Engineering ent://SD_ILS/0/SD_ILS:181012 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Barth, Timothy J. editor.&#160;Griebel, Michael. editor.&#160;Keyes, David E. editor.&#160;Nieminen, Risto M. editor.&#160;Roose, Dirk. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138136">http://dx.doi.org/10.1007/b138136</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607822 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Takata, Masami. editor. (orcid)0000-0003-3475-7565&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;Rivas, Pablo. editor. (orcid)0000-0002-8690-0987&#160;Ohue, Masahito. editor. (orcid)0000-0002-0120-1643<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85884-0">https://doi.org/10.1007/978-3-031-85884-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400552 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Desharnais, Jules. editor. (orcid)0000-0002-4780-2698&#160;Guttmann, Walter. editor. (orcid)0000-0003-2969-1688&#160;Joosten, Stef. editor. (orcid)0000-0001-8308-0189&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399102 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;C&icirc;rstea, Corina. editor. (orcid)0000-0003-3165-5678&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616143 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;H&ouml;fner, Peter. editor.&#160;Pous, Damien. editor.&#160;Struth, Georg. 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-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616237 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Hasuo, Ichiro. 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-40370-0">https://doi.org/10.1007/978-3-319-40370-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Tel&#269;, Czech Republic, October 17--19, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486681 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Hlin&#283;n&yacute;, Petr. editor.&#160;Dvo&#345;&aacute;k, Zden&#283;k. editor.&#160;Jaro&scaron;, Ji&#345;&iacute;. editor. (orcid)0000-0002-0087-8804&#160;Kofro&#328;, Jan. editor.&#160;Ko&#345;enek, Jan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Decomposition Methods in Science and Engineering XX ent://SD_ILS/0/SD_ILS:333957 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Bank, Randolph. editor.&#160;Holst, Michael. editor.&#160;Widlund, Olof. editor.&#160;Xu, Jinchao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333957.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35275-1">http://dx.doi.org/10.1007/978-3-642-35275-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334106 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;Henzinger, Thomas A. editor.&#160;Ne&scaron;et&#345;il, Jaroslav. editor.&#160;Vojnar, Tom&aacute;&scaron;. editor.&#160;Anto&scaron;, David. editor.<br/>Preferred Shelf Number&#160;ONLINE(334106.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196086 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kot&aacute;sek, Zden&#283;k. editor.&#160;Bouda, Jan. editor.&#160;&#268;ern&aacute;, Ivana. editor.&#160;Sekanina, Luk&aacute;&scaron;. editor.&#160;Vojnar, Tom&aacute;&scaron;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 &ndash; April 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197276 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Pattinson, Dirk. editor.&#160;Schr&ouml;der, Lutz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32784-1">http://dx.doi.org/10.1007/978-3-642-32784-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems ent://SD_ILS/0/SD_ILS:196468 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Phan, Cong-Vinh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197355 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kahl, Wolfram. editor.&#160;Griffin, Timothy G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Decomposition Methods in Science and Engineering XIX ent://SD_ILS/0/SD_ILS:191645 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Huang, Yunqing. editor.&#160;Kornhuber, Ralf. editor.&#160;Widlund, Olof. editor.&#160;Xu, Jinchao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11304-8">http://dx.doi.org/10.1007/978-3-642-11304-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 &ndash; June 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194581 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Swart, Harrie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Decomposition Methods in Science and Engineering XVIII ent://SD_ILS/0/SD_ILS:190396 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Bercovier, Michel. editor.&#160;Gander, Martin J. editor.&#160;Kornhuber, Ralf. editor.&#160;Widlund, Olof. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02677-5">http://dx.doi.org/10.1007/978-3-642-02677-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191011 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Berghammer, Rudolf. editor.&#160;Jaoua, Ali Mohamed. editor.&#160;M&ouml;ller, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04639-1">http://dx.doi.org/10.1007/978-3-642-04639-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Methods in Computer Science Essays in Memory of Thomas Beth ent://SD_ILS/0/SD_ILS:189380 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Calmet, Jacques. editor.&#160;Geiselmann, Willi. editor.&#160;M&uuml;ller-Quade, J&ouml;rn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89994-5">http://dx.doi.org/10.1007/978-3-540-89994-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw&ouml;rth, Germany, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188275 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Berghammer, Rudolf. editor.&#160;M&ouml;ller, Bernhard. editor.&#160;Struth, Georg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Decomposition Methods in Science and Engineering XVII ent://SD_ILS/0/SD_ILS:187358 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Langer, Ulrich. editor.&#160;Discacciati, Marco. editor.&#160;Keyes, David E. editor.&#160;Widlund, Olof B. editor.&#160;Zulehner, Walter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75199-1">http://dx.doi.org/10.1007/978-3-540-75199-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Decomposition Methods in Science and Engineering XVI ent://SD_ILS/0/SD_ILS:184068 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Widlund, Olof B. editor.&#160;Keyes, David E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-34469-8">http://dx.doi.org/10.1007/978-3-540-34469-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers ent://SD_ILS/0/SD_ILS:183707 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;MacCaull, Wendy. editor.&#160;Winter, Michael. editor.&#160;D&uuml;ntsch, Ivo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29&ndash;September 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184643 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II ent://SD_ILS/0/SD_ILS:605987 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I ent://SD_ILS/0/SD_ILS:605988 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607158 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82670-2">https://doi.org/10.1007/978-3-031-82670-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607261 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82697-9">https://doi.org/10.1007/978-3-031-82697-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607861 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Ferens, Ken. editor. (orcid)0000-0002-1031-0518&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85628-0">https://doi.org/10.1007/978-3-031-85628-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608298 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611&#160;Kesner, Delia. editor. (orcid)0000-0003-4254-3129&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90897-2">https://doi.org/10.1007/978-3-031-90897-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608336 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739&#160;Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X&#160;Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86623-4">https://doi.org/10.1007/978-3-031-86623-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III ent://SD_ILS/0/SD_ILS:609023 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:609244 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:609245 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609246 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:609535 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X&#160;Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X&#160;Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85933-5">https://doi.org/10.1007/978-3-031-85933-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:609219 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:609226 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V ent://SD_ILS/0/SD_ILS:609229 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Machine Learning in Sports Science ent://SD_ILS/0/SD_ILS:609421 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z 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-70155-3">https://doi.org/10.1007/978-3-662-70155-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:601658 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739&#160;Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X&#160;Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85930-4">https://doi.org/10.1007/978-3-031-85930-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604501 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65154-0">https://doi.org/10.1007/978-3-031-65154-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:610225 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65308-7">https://doi.org/10.1007/978-3-031-65308-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604078 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63751-3">https://doi.org/10.1007/978-3-031-63751-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604079 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63772-8">https://doi.org/10.1007/978-3-031-63772-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:604080 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63775-9">https://doi.org/10.1007/978-3-031-63775-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604091 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63749-0">https://doi.org/10.1007/978-3-031-63749-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604092 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63759-9">https://doi.org/10.1007/978-3-031-63759-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:604093 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63783-4">https://doi.org/10.1007/978-3-031-63783-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604432 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65238-7">https://doi.org/10.1007/978-3-031-65238-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:604433 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65282-0">https://doi.org/10.1007/978-3-031-65282-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:604434 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65318-6">https://doi.org/10.1007/978-3-031-65318-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X ent://SD_ILS/0/SD_ILS:604435 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65332-2">https://doi.org/10.1007/978-3-031-65332-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI ent://SD_ILS/0/SD_ILS:604502 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65343-8">https://doi.org/10.1007/978-3-031-65343-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604771 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65273-8">https://doi.org/10.1007/978-3-031-65273-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Spiking Neural P Systems Models and Applications ent://SD_ILS/0/SD_ILS:604830 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Peng, Hong. author. (orcid)0000-0002-4736-0164&#160;Wang, Jun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-5280-5">https://doi.org/10.1007/978-981-97-5280-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605025 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65223-3">https://doi.org/10.1007/978-3-031-65223-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:608123 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65285-1">https://doi.org/10.1007/978-3-031-65285-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Metaheuristic Schemes: Mechanisms and Applications ent://SD_ILS/0/SD_ILS:601935 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Cuevas, Erik. author. (orcid)0000-0002-0358-6049&#160;Zald&iacute;var, Daniel. author.&#160;P&eacute;rez-Cisneros, Marco. author. (orcid)0000-0001-6493-0408&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-45561-2">https://doi.org/10.1007/978-3-031-45561-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Solving Ordinary Differential Equations in Python ent://SD_ILS/0/SD_ILS:601946 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Sundnes, Joakim. 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-46768-4">https://doi.org/10.1007/978-3-031-46768-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications ent://SD_ILS/0/SD_ILS:602225 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-43540-9">https://doi.org/10.1007/978-3-031-43540-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602249 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Yavorskiy, Rostislav. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Kalenkova, Anna. 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-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings ent://SD_ILS/0/SD_ILS:602531 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Fernau, Henning. editor. (orcid)0000-0002-4444-3220&#160;Gaspers, Serge. editor. (orcid)0000-0002-6947-9238&#160;Klasing, Ralf. 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-52113-3">https://doi.org/10.1007/978-3-031-52113-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Mathematical Science for Mobility Society ent://SD_ILS/0/SD_ILS:602875 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Kawamura, Yoshiumi. editor.&#160;Makino, Kazuhisa. editor.&#160;Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514&#160;Yamashita, Nobuo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-9772-5">https://doi.org/10.1007/978-981-99-9772-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:602946 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kiefer, Stefan. editor.&#160;K&#345;et&iacute;nsk&yacute;, Jan. editor.&#160;Ku&#269;era, Anton&iacute;n. editor. (orcid)0000-0002-6602-8028&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:604114 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63778-0">https://doi.org/10.1007/978-3-031-63778-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:601647 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65329-2">https://doi.org/10.1007/978-3-031-65329-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602014 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Cai, Zhiping. editor. (orcid)0000-0001-5726-833X&#160;Xiao, Mingyu. editor.&#160;Zhang, Jialin. editor. (orcid)0000-0002-6245-1013&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Learning Classifier Systems ent://SD_ILS/0/SD_ILS:612266 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Urbanowicz, Ryan J. author.&#160;Browne, Will N. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-55007-6">https://doi.org/10.1007/978-3-662-55007-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:614629 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617240 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Klasing, Ralf. editor.&#160;Zeitoun, Marc. 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-55751-8">https://doi.org/10.1007/978-3-662-55751-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models of Computation ent://SD_ILS/0/SD_ILS:616061 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Bruni, Roberto. author.&#160;Montanari, Ugo. 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-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-Aware Computing Systems ent://SD_ILS/0/SD_ILS:611535 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kounev, Samuel. editor.&#160;Kephart, Jeffrey O. editor.&#160;Milenkoski, Aleksandar. editor.&#160;Zhu, Xiaoyun. 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-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modern Language Models and Computation Theory with Applications ent://SD_ILS/0/SD_ILS:612953 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Meduna, Alexander. author.&#160;Soukup, Ond&#345;ej. 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-63100-4">https://doi.org/10.1007/978-3-319-63100-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613363 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kryszkiewicz, Marzena. editor.&#160;Appice, Annalisa. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;Rybinski, Henryk. editor.&#160;Skowron, Andrzej. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60438-1">https://doi.org/10.1007/978-3-319-60438-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Logic for Computer Scientists Computational Deduction and Formal Proofs ent://SD_ILS/0/SD_ILS:617465 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Ayala-Rinc&oacute;n, Mauricio. author.&#160;de Moura, Fl&aacute;vio L. 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-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617856 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Langerak, Rom. editor.&#160;Rensink, Arend. 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-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612310 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kulikov, Alexander S. editor.&#160;Woeginger, Gerhard J. 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-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615977 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Angelini, Claudia. editor.&#160;Rancoita, Paola MV. editor.&#160;Rovetta, Stefano. 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-44332-4">https://doi.org/10.1007/978-3-319-44332-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXVII ent://SD_ILS/0/SD_ILS:616160 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. 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-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Directed Algebraic Topology and Concurrency ent://SD_ILS/0/SD_ILS:615495 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Fajstrup, Lisbeth. author.&#160;Goubault, Eric. author.&#160;Haucourt, Emmanuel. author.&#160;Mimram, Samuel. author.&#160;Raussen, Martin. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15398-8">https://doi.org/10.1007/978-3-319-15398-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613374 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428&#160;Navarro, Gonzalo. editor.&#160;Ch&aacute;vez, Edgar. 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-49529-2">https://doi.org/10.1007/978-3-662-49529-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:613640 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;&Aacute;brah&aacute;m, Erika. editor.&#160;Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618&#160;Johnsen, Einar Broch. 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-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications ent://SD_ILS/0/SD_ILS:617503 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;O'Regan, Gerard. 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-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of object-oriented modeling and simulation with Modelica 2.1 ent://SD_ILS/0/SD_ILS:249658 2026-04-09T08:30:29Z 2026-04-09T08:30:29Z Author&#160;Fritzson, Peter A., 1952-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>