Search Results for Complexity. - Narrowed by: Mathematics of Computing.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComplexity.$0026qf$003dSUBJECT$002509Subject$002509Mathematics$002bof$002bComputing.$002509Mathematics$002bof$002bComputing.$0026ps$003d300?dt=list2026-03-15T16:48:19ZSOFSEM 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 IIent://SD_ILS/0/SD_ILS:6072612026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor 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/>Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6071482026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Gaur, Daya. editor. (orcid)0000-0001-6876-6000 Mathew, Rogers. editor. (orcid)0000-0003-4536-1136 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83438-7">https://doi.org/10.1007/978-3-031-83438-7</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 Ient://SD_ILS/0/SD_ILS:6071582026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor 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 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, Proceedingsent://SD_ILS/0/SD_ILS:6025312026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor 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/>Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6023602026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Kalyanasundaram, Subrahmanyam. editor. Maheshwari, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52213-0">https://doi.org/10.1007/978-3-031-52213-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6021102026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49611-0">https://doi.org/10.1007/978-3-031-49611-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6021112026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49614-1">https://doi.org/10.1007/978-3-031-49614-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039182026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61433-0">https://doi.org/10.1007/978-3-031-61433-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6044572026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66159-4">https://doi.org/10.1007/978-3-031-66159-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6052442026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72621-7">https://doi.org/10.1007/978-3-031-72621-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:6133592026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Bonacina, Ilario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73453-8">https://doi.org/10.1007/978-3-319-73453-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160122026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Incomputable Journeys Beyond the Turing Barrierent://SD_ILS/0/SD_ILS:6167062026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43669-2">https://doi.org/10.1007/978-3-319-43669-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6163032026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40970-2">https://doi.org/10.1007/978-3-319-40970-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programsent://SD_ILS/0/SD_ILS:6177992026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Herdt, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6110872026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32859-1">https://doi.org/10.1007/978-3-319-32859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cryptography Made Simpleent://SD_ILS/0/SD_ILS:6176952026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Smart, Nigel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21936-3">https://doi.org/10.1007/978-3-319-21936-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345642026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351832026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Chen, Yiling. editor. Immorlica, Nicole. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335183.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45046-4">http://dx.doi.org/10.1007/978-3-642-45046-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Attacks on Public-Key Cryptosystemsent://SD_ILS/0/SD_ILS:3308282026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor Yan, Song Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330828.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7722-9">http://dx.doi.org/10.1007/978-1-4419-7722-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. Proceedingsent://SD_ILS/0/SD_ILS:3346632026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor 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/>Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349852026-03-15T16:48:19Z2026-03-15T16:48:19ZAuthor 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/>