Search Results for Software - Narrowed by: Discrete mathematics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dSUBJECT$002509Subject$002509Discrete$002bmathematics.$002509Discrete$002bmathematics.$0026ps$003d300?dt=list 2026-04-10T08:53:38Z Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616943 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Peyrin, 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-662-52993-5">https://doi.org/10.1007/978-3-662-52993-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611744 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Greuel, Gert-Martin. editor.&#160;Koch, Thorsten. editor.&#160;Paule, Peter. editor.&#160;Sommese, Andrew. 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-42432-3">https://doi.org/10.1007/978-3-319-42432-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606760 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Li, Bo. editor. (orcid)0000-0001-7500-8355&#160;Li, Minming. editor. (orcid)0000-0002-7370-6237&#160;Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-7752-5">https://doi.org/10.1007/978-981-97-7752-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607288 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;D&#261;browski, Andrzej. editor. (orcid)0000-0002-1524-4871&#160;Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466&#160;Pomyka&#322;a, Jacek. editor. (orcid)0000-0002-6480-5751&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82380-0">https://doi.org/10.1007/978-3-031-82380-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings ent://SD_ILS/0/SD_ILS:609123 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Chau, Vincent. editor. (orcid)0000-0002-3362-2063&#160;D&uuml;rr, Christoph. editor. (orcid)0000-0001-8103-5333&#160;Li, Minming. editor. (orcid)0000-0002-7370-6237&#160;Lu, Pinyan. editor. (orcid)0009-0005-0569-4122&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-8312-3">https://doi.org/10.1007/978-981-96-8312-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608867 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Megow, Nicole. editor. (orcid)0000-0002-3531-7644&#160;Basu, Amitabh. editor. (orcid)0000-0002-1070-2626&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-93112-3">https://doi.org/10.1007/978-3-031-93112-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608907 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Endrullis, J&ouml;rg. editor. (orcid)0000-0002-2554-8270&#160;Tichy, Matthias. editor. (orcid)0000-0002-9067-3748&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94706-3">https://doi.org/10.1007/978-3-031-94706-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608557 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583&#160;Kuznets, Roman. editor. (orcid)0000-0001-5894-8724&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-91736-3">https://doi.org/10.1007/978-3-031-91736-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608559 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Bloznelis, Mindaugas. editor.&#160;Drungilas, Paulius. editor.&#160;Kami&#324;ski, Bogumi&#322;. editor.&#160;Pra&#322;at, Pawe&#322;. editor.&#160;&Scaron;ileikis, Matas. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-92898-7">https://doi.org/10.1007/978-3-031-92898-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings ent://SD_ILS/0/SD_ILS:609239 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Kochetov, Yury. editor. (orcid)0000-0001-7123-8647&#160;Khachay, Michael. editor. (orcid)0000-0003-3555-0080&#160;Eremeev, Anton. editor. (orcid)0000-0001-5289-7874&#160;Pardalos, Panos. editor. (orcid)0000-0001-9623-8053&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97077-1">https://doi.org/10.1007/978-3-031-97077-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602788 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Soto, Jos&eacute; A. editor.&#160;Wiese, 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-031-55598-5">https://doi.org/10.1007/978-3-031-55598-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602789 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Soto, Jos&eacute; A. editor.&#160;Wiese, 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-031-55601-2">https://doi.org/10.1007/978-3-031-55601-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603963 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Eremeev, Anton. editor. (orcid)0000-0001-5289-7874&#160;Khachay, Michael. editor. (orcid)0000-0003-3555-0080&#160;Kochetov, Yury. editor. (orcid)0000-0001-7123-8647&#160;Mazalov, Vladimir. editor. (orcid)0000-0003-2262-2620&#160;Pardalos, Panos. editor. (orcid)0000-0001-9623-8053<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62792-7">https://doi.org/10.1007/978-3-031-62792-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604171 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Harmer, Russ. editor. (orcid)0000-0002-0817-1029&#160;Kosiol, Jens. editor. (orcid)0000-0003-4733-2777&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64285-2">https://doi.org/10.1007/978-3-031-64285-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604553 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Mart&iacute;-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65941-6">https://doi.org/10.1007/978-3-031-65941-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603404 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Dewar, Megan. editor.&#160;Kami&#324;ski, Bogumi&#322;. editor. (orcid)0000-0002-0678-282X&#160;Kaszy&#324;ski, Daniel. editor.&#160;Krai&#324;ski, &#321;ukasz. editor.&#160;Pra&#322;at, Pawe&#322;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-59205-8">https://doi.org/10.1007/978-3-031-59205-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603609 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Vygen, Jens. editor.&#160;Byrka, Jaros&#322;aw. 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-59835-7">https://doi.org/10.1007/978-3-031-59835-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603641 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Emek, Yuval. 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-60603-8">https://doi.org/10.1007/978-3-031-60603-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611523 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;McDermott, James. editor.&#160;Castelli, Mauro. editor.&#160;Sekanina, Lukas. editor.&#160;Haasdijk, Evert. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III ent://SD_ILS/0/SD_ILS:612719 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Coron, Jean-S&eacute;bastien. editor.&#160;Nielsen, Jesper Buus. 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-56617-7">https://doi.org/10.1007/978-3-319-56617-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:612860 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Gao, Xiaofeng. editor.&#160;Du, Hongwei. editor.&#160;Han, Meng. 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-71147-8">https://doi.org/10.1007/978-3-319-71147-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Subdivision Surface Modeling Technology ent://SD_ILS/0/SD_ILS:613542 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Liao, Wenhe. author.&#160;Liu, Hao. author.&#160;Li, Tao. 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-3515-9">https://doi.org/10.1007/978-981-10-3515-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611989 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Carmona, Josep. editor.&#160;Engels, Gregor. editor.&#160;Kumar, Akhil. 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-65000-5">https://doi.org/10.1007/978-3-319-65000-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612054 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Gao, Xiaofeng. editor.&#160;Du, Hongwei. editor.&#160;Han, Meng. 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-71150-8">https://doi.org/10.1007/978-3-319-71150-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613760 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824&#160;van den Herik, H. Jaap. editor.&#160;Kosters, Walter 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-71649-7">https://doi.org/10.1007/978-3-319-71649-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Security Cryptography and Machine Learning First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613097 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Dolev, Shlomi. editor.&#160;Lodha, Sachin. editor. (orcid)0000-0001-5771-4977&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60080-2">https://doi.org/10.1007/978-3-319-60080-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:615989 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Coron, Jean-S&eacute;bastien. editor.&#160;Nielsen, Jesper Buus. 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-56620-7">https://doi.org/10.1007/978-3-319-56620-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616005 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Coron, Jean-S&eacute;bastien. editor.&#160;Nielsen, Jesper Buus. 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-56614-6">https://doi.org/10.1007/978-3-319-56614-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Description Logics in Multimedia Reasoning ent://SD_ILS/0/SD_ILS:614574 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Sikos, Leslie F. 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-54066-5">https://doi.org/10.1007/978-3-319-54066-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616137 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Brijder, Robert. editor.&#160;Qian, Lulu. 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-66799-7">https://doi.org/10.1007/978-3-319-66799-7</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-10T08:53:38Z 2026-04-10T08:53:38Z 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/> Computing and Combinatorics 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616191 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Cao, Yixin. editor.&#160;Chen, Jianer. 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-62389-4">https://doi.org/10.1007/978-3-319-62389-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616289 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Balduccini, Marcello. editor.&#160;Janhunen, Tomi. 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-61660-5">https://doi.org/10.1007/978-3-319-61660-5</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-10T08:53:38Z 2026-04-10T08:53:38Z 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/> Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:610812 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Heywood, Malcolm I. editor.&#160;McDermott, James. editor.&#160;Castelli, Mauro. editor.&#160;Costa, Ernesto. editor.&#160;Sim, Kevin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30668-1">https://doi.org/10.1007/978-3-319-30668-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:610840 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Hu, Yifan. editor.&#160;N&ouml;llenburg, Martin. 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-50106-2">https://doi.org/10.1007/978-3-319-50106-2</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-10T08:53:38Z 2026-04-10T08:53:38Z 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/> Information Security and Cryptology 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615939 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Lin, Dongdai. editor.&#160;Wang, XiaoFeng. editor.&#160;Yung, Moti. 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-38898-4">https://doi.org/10.1007/978-3-319-38898-4</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-10T08:53:38Z 2026-04-10T08:53:38Z 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/> Algorithm Engineering Selected Results and Surveys ent://SD_ILS/0/SD_ILS:617840 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Kliemann, Lasse. editor.&#160;Sanders, Peter. 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-49487-6">https://doi.org/10.1007/978-3-319-49487-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity ent://SD_ILS/0/SD_ILS:610688 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Skrzypczak, Micha&#322;. 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-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612612 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Echahed, Rachid. editor.&#160;Minas, 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-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616350 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Jamnik, Mateja. editor.&#160;Uesaka, Yuri. editor.&#160;Elzer Schwartz, Stephanie. 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-42333-3">https://doi.org/10.1007/978-3-319-42333-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612022 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X&#160;Wang, Farn. 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-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:616153 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Karydis, Ioannis. editor.&#160;Sioutas, Spyros. editor.&#160;Triantafillou, Peter. editor.&#160;Tsoumakos, Dimitrios. 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-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616284 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Freivalds, R&#363;si&#326;&scaron; M&#257;rti&#326;&scaron;. editor.&#160;Engels, Gregor. editor.&#160;Catania, Barbara. 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-49192-8">https://doi.org/10.1007/978-3-662-49192-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations for Community Services 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617874 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Fahrnberger, G&uuml;nter. editor. (orcid)0000-0002-2606-3988&#160;Eichler, Gerald. editor.&#160;Erfurth, 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-49466-1">https://doi.org/10.1007/978-3-319-49466-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618009 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Yung, Moti. editor.&#160;Zhang, Jianbiao. editor.&#160;Yang, Zhen. 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-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615944 2026-04-10T08:53:38Z 2026-04-10T08:53:38Z Author&#160;Kordy, Barbara. editor.&#160;Ekstedt, Mathias. editor.&#160;Kim, Dong Seong. 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-46263-9">https://doi.org/10.1007/978-3-319-46263-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>