Search Results for Set theory. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSet$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-21T23:18:37ZDescriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:6106882026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor 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/>Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6068172026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81241-5">https://doi.org/10.1007/978-3-031-81241-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6068182026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81244-6">https://doi.org/10.1007/978-3-031-81244-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:6068192026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81247-7">https://doi.org/10.1007/978-3-031-81247-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial and algorithmic mathematics : from foundation to optimizationent://SD_ILS/0/SD_ILS:5991182026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Alzalg, Baha, author.<br/>Preferred Shelf Number QA164 .A4693 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394235971">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394235971</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On Sets and Graphs Perspectives on Logic and Combinatoricsent://SD_ILS/0/SD_ILS:6117362026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54981-1">https://doi.org/10.1007/978-3-319-54981-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6120542026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6128602026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing Methodologies 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6108172026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Huang, De-Shuang. editor. Hussain, Abir. editor. Han, Kyungsook. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63315-2">https://doi.org/10.1007/978-3-319-63315-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159302026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2017 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6161422026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Fehr, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54365-8">https://doi.org/10.1007/978-3-662-54365-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2017 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6165622026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Fehr, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54388-7">https://doi.org/10.1007/978-3-662-54388-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6170272026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6119012026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40596-4">https://doi.org/10.1007/978-3-319-40596-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6131892026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Robshaw, Matthew. editor. Katz, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53008-5">https://doi.org/10.1007/978-3-662-53008-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 Ient://SD_ILS/0/SD_ILS:6161652026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor 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/>Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6138592026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Hirt, Martin. editor. Smith, Adam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53644-5">https://doi.org/10.1007/978-3-662-53644-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6159752026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Robshaw, Matthew. editor. Katz, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53015-3">https://doi.org/10.1007/978-3-662-53015-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2016 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6159882026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Cheng, Chen-Mou. editor. Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Persiano, Giuseppe. editor. (orcid)0000-0001-6579-4807 Yang, Bo-Yin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49387-8">https://doi.org/10.1007/978-3-662-49387-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159462026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Hirt, Martin. editor. Smith, Adam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53641-4">https://doi.org/10.1007/978-3-662-53641-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2016 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6160802026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Cheng, Chen-Mou. editor. Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Persiano, Giuseppe. editor. (orcid)0000-0001-6579-4807 Yang, Bo-Yin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49384-7">https://doi.org/10.1007/978-3-662-49384-7</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 IIent://SD_ILS/0/SD_ILS:6159272026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor 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/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6183822026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40581-0">https://doi.org/10.1007/978-3-319-40581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6163002026-03-21T23:18:37Z2026-03-21T23:18:37ZAuthor Robshaw, Matthew. editor. Katz, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53018-4">https://doi.org/10.1007/978-3-662-53018-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>