Search Results for Discrete Mathematics in Computer Science. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDiscrete$002bMathematics$002bin$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list
2026-03-21T05:45:03Z
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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607335
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1093-8">https://doi.org/10.1007/978-981-96-1093-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic in Computer Science
ent://SD_ILS/0/SD_ILS:606909
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9816-2">https://doi.org/10.1007/978-981-97-9816-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:607238
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1195-9">https://doi.org/10.1007/978-981-96-1195-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:607352
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2845-2">https://doi.org/10.1007/978-981-96-2845-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607540
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1090-7">https://doi.org/10.1007/978-981-96-1090-7</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Maths For Computing A Beginner's Guide
ent://SD_ILS/0/SD_ILS:606296
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602109
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49193-1">https://doi.org/10.1007/978-3-031-49193-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:602733
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0566-5">https://doi.org/10.1007/978-981-97-0566-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602108
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49190-0">https://doi.org/10.1007/978-3-031-49190-0</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603471
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2340-9">https://doi.org/10.1007/978-981-97-2340-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605233
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7798-3">https://doi.org/10.1007/978-981-97-7798-3</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:605160
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Dorronsoro, Bernabé. editor. (orcid)0000-0003-0481-790X Ellaia, Rachid. editor. (orcid)0000-0003-0372-1666 Talbi, El-Ghazali. editor. (orcid)0000-0003-4549-1010 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69257-4">https://doi.org/10.1007/978-3-031-69257-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605234
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7801-0">https://doi.org/10.1007/978-981-97-7801-0</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605008
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71112-1">https://doi.org/10.1007/978-3-031-71112-1</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616078
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55665-8">https://doi.org/10.1007/978-3-662-55665-8</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613338
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Sukthankar, Gita. editor. Rodriguez-Aguilar, Juan A. editor. (orcid)0000-0002-2940-6886 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71682-4">https://doi.org/10.1007/978-3-319-71682-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615980
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616176
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55453-2">https://doi.org/10.1007/978-3-319-55453-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:616201
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616309
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58741-7">https://doi.org/10.1007/978-3-319-58741-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618150
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
ent://SD_ILS/0/SD_ILS:610688
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:611644
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43994-5">https://doi.org/10.1007/978-3-319-43994-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615927
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49099-0">https://doi.org/10.1007/978-3-662-49099-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615935
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39636-1">https://doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616889
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615998
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXVII
ent://SD_ILS/0/SD_ILS:616160
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616165
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49096-9">https://doi.org/10.1007/978-3-662-49096-9</a><br/>Format: Electronic Resources<br/>Availability 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-21T05:45:03Z
2026-03-21T05:45:03Z
Author Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616292
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41114-9">https://doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616296
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45823-6">https://doi.org/10.1007/978-3-319-45823-6</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610895
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28678-5">https://doi.org/10.1007/978-3-319-28678-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611917
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612663
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Zhu, Daming. editor. Bereg, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39817-4">https://doi.org/10.1007/978-3-319-39817-4</a><br/>Format: Electronic Resources<br/>Availability 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-21T05:45:03Z
2026-03-21T05:45:03Z
Author Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613585
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Chicano, Francisco. editor. Hu, Bin. editor. García-Sánchez, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30698-8">https://doi.org/10.1007/978-3-319-30698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm Engineering Selected Results and Surveys
ent://SD_ILS/0/SD_ILS:617840
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Kliemann, Lasse. editor. Sanders, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Online Computation Determinism, Randomization, Advice
ent://SD_ILS/0/SD_ILS:617854
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Komm, Dennis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42749-2">https://doi.org/10.1007/978-3-319-42749-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618134
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Availability 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-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334064
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:334175
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Aufaure, Marie-Aude. editor. Zimányi, Esteban. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334175.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36318-4">http://dx.doi.org/10.1007/978-3-642-36318-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334577
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334577.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38294-9">http://dx.doi.org/10.1007/978-3-642-38294-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
ent://SD_ILS/0/SD_ILS:334921
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334921.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40273-9">http://dx.doi.org/10.1007/978-3-642-40273-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334925
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334929
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334929.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40328-6">http://dx.doi.org/10.1007/978-3-642-40328-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334947
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334947.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40450-4">http://dx.doi.org/10.1007/978-3-642-40450-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334948
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334948.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40453-5">http://dx.doi.org/10.1007/978-3-642-40453-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334980
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Schulte, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334980.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334985
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334985.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334987
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334987.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335036
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335036.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40988-2">http://dx.doi.org/10.1007/978-3-642-40988-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335037
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335037.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40991-2">http://dx.doi.org/10.1007/978-3-642-40991-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:335038
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40994-3">http://dx.doi.org/10.1007/978-3-642-40994-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts
ent://SD_ILS/0/SD_ILS:331163
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Amidror, Isaac. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331163.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5167-8">http://dx.doi.org/10.1007/978-1-4471-5167-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization Approaches for Solving String Selection Problems
ent://SD_ILS/0/SD_ILS:332467
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332467.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-9053-1">http://dx.doi.org/10.1007/978-1-4614-9053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332574.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Computer Mathematics Tutorials on Theory and Problems
ent://SD_ILS/0/SD_ILS:332887
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Bagdasar, Ovidiu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332887.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01751-8">http://dx.doi.org/10.1007/978-3-319-01751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332997
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332997.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03841-4">http://dx.doi.org/10.1007/978-3-319-03841-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332999
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332999.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333005
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333005.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03898-8">http://dx.doi.org/10.1007/978-3-319-03898-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334022
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35656-8">http://dx.doi.org/10.1007/978-3-642-35656-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334048
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334048.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35786-2">http://dx.doi.org/10.1007/978-3-642-35786-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
ent://SD_ILS/0/SD_ILS:334319
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334319.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36899-8">http://dx.doi.org/10.1007/978-3-642-36899-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334383
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334383.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37198-1">http://dx.doi.org/10.1007/978-3-642-37198-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334559
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Kropatsch, Walter G. editor. Artner, Nicole M. editor. Haxhimusa, Yll. editor. Jiang, Xiaoyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334559.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38221-5">http://dx.doi.org/10.1007/978-3-642-38221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334563
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334563.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38233-8">http://dx.doi.org/10.1007/978-3-642-38233-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334587
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334587.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38348-9">http://dx.doi.org/10.1007/978-3-642-38348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334751
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334751.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39206-1">http://dx.doi.org/10.1007/978-3-642-39206-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334753
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334753.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39212-2">http://dx.doi.org/10.1007/978-3-642-39212-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
ent://SD_ILS/0/SD_ILS:330901
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330901.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4069-6">http://dx.doi.org/10.1007/978-1-4471-4069-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334105.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334516
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334516.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38016-7">http://dx.doi.org/10.1007/978-3-642-38016-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334617
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332910
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332892
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332892.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332975
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332975.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332980
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332980.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03536-9">http://dx.doi.org/10.1007/978-3-319-03536-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332983
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332983.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03578-9">http://dx.doi.org/10.1007/978-3-319-03578-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332995
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332995.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03780-6">http://dx.doi.org/10.1007/978-3-319-03780-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335098
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335098.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41383-4">http://dx.doi.org/10.1007/978-3-642-41383-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334112
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334112.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36065-7">http://dx.doi.org/10.1007/978-3-642-36065-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334121
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334121.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36092-3">http://dx.doi.org/10.1007/978-3-642-36092-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334268
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334268.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36694-9">http://dx.doi.org/10.1007/978-3-642-36694-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334284
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334284.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36763-2">http://dx.doi.org/10.1007/978-3-642-36763-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334356
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334356.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37067-0">http://dx.doi.org/10.1007/978-3-642-37067-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334549
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334549.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334615
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334615.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38527-8">http://dx.doi.org/10.1007/978-3-642-38527-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334653
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334653.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38703-6">http://dx.doi.org/10.1007/978-3-642-38703-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334657
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334657.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38715-9">http://dx.doi.org/10.1007/978-3-642-38715-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334663
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334663.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38756-2">http://dx.doi.org/10.1007/978-3-642-38756-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334665
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334665.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334666
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334666.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334695
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334695.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38905-4">http://dx.doi.org/10.1007/978-3-642-38905-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334778.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334789
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334789.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39357-0">http://dx.doi.org/10.1007/978-3-642-39357-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334915
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.<br/>Preferred Shelf Number ONLINE(334915.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40235-7">http://dx.doi.org/10.1007/978-3-642-40235-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334879
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334879.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40020-9">http://dx.doi.org/10.1007/978-3-642-40020-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334881
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334881.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40041-4">http://dx.doi.org/10.1007/978-3-642-40041-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334888
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334888.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40084-1">http://dx.doi.org/10.1007/978-3-642-40084-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334893
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334893.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40104-6">http://dx.doi.org/10.1007/978-3-642-40104-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334901
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334901.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40164-0">http://dx.doi.org/10.1007/978-3-642-40164-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Search: From Algorithms to Systems
ent://SD_ILS/0/SD_ILS:335109
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Hamadi, Youssef. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41482-4">http://dx.doi.org/10.1007/978-3-642-41482-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335116
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335116.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41515-9">http://dx.doi.org/10.1007/978-3-642-41515-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:335154
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335154.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42001-6">http://dx.doi.org/10.1007/978-3-642-42001-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335157
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42033-7">http://dx.doi.org/10.1007/978-3-642-42033-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335160
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335160.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42045-0">http://dx.doi.org/10.1007/978-3-642-42045-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335176
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335176.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-44973-4">http://dx.doi.org/10.1007/978-3-642-44973-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335180
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335180.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45030-3">http://dx.doi.org/10.1007/978-3-642-45030-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers
ent://SD_ILS/0/SD_ILS:335182
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335182.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45043-3">http://dx.doi.org/10.1007/978-3-642-45043-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335197
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Stam, Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335197.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45239-0">http://dx.doi.org/10.1007/978-3-642-45239-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335202
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335202.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45278-9">http://dx.doi.org/10.1007/978-3-642-45278-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335203
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335203.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45281-9">http://dx.doi.org/10.1007/978-3-642-45281-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335214
2026-03-21T05:45:03Z
2026-03-21T05:45:03Z
Author Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335214.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45392-2">http://dx.doi.org/10.1007/978-3-642-45392-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>