Search Results for Systems Theory. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bTheory.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-21T10:03:37ZAdvances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6116292026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</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-21T10:03:37Z2026-03-21T10:03: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/>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-21T10:03:37Z2026-03-21T10:03: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/>Rendezvous in Distributed Systems Theory, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:6169882026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3680-4">https://doi.org/10.1007/978-981-10-3680-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6183082026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computationent://SD_ILS/0/SD_ILS:6088592026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88946-2">https://doi.org/10.1007/978-3-031-88946-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089072026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94706-3">https://doi.org/10.1007/978-3-031-94706-3</a><br/>Format: 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-21T10:03:37Z2026-03-21T10:03: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-21T10:03:37Z2026-03-21T10:03: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-21T10:03:37Z2026-03-21T10:03: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/>Control Strategies for Non-minimum Phase Systemsent://SD_ILS/0/SD_ILS:6077032026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Yadav, Manish. author. Giri, Ashutosh K. author. Ozana, Stepan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2351-8">https://doi.org/10.1007/978-981-96-2351-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Distributed Algorithms Design, Analysis and Implementation Using Pythonent://SD_ILS/0/SD_ILS:6081342026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Erciyes, K. author. (orcid)0000-0001-9111-7156 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-79018-8">https://doi.org/10.1007/978-3-031-79018-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Artificial Intelligence Proceedings of ICEAI 2024ent://SD_ILS/0/SD_ILS:6094982026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Asirvatham, David. editor. Ntalianis, Klimis. editor. (orcid)0000-0002-2175-3306 Falkowski-Gilski, Przemyslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-5210-5">https://doi.org/10.1007/978-981-96-5210-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robust Sliding Mode Protocols for Formation of Quadcopter Swarment://SD_ILS/0/SD_ILS:6027042026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Mehta, Axaykumar. author. (orcid)0000-0002-3509-2705 Modi, Akash. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9726-8">https://doi.org/10.1007/978-981-99-9726-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers in Genetics Algorithm Theory and Applicationsent://SD_ILS/0/SD_ILS:6026382026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Khosravy, Mahdi. editor. (orcid)0000-0001-5375-391X Gupta, Neeraj. editor. (orcid)0000-0001-5375-391X Witkowski, Olaf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8107-6">https://doi.org/10.1007/978-981-99-8107-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Artificial Intelligence Proceedings of ICEAI 2023ent://SD_ILS/0/SD_ILS:6028722026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Asirvatham, David. editor. Gonzalez-Longatt, Francisco M. editor. Falkowski-Gilski, Przemyslaw. editor. Kanthavel, R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8438-1">https://doi.org/10.1007/978-981-99-8438-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problemsent://SD_ILS/0/SD_ILS:5268692026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Jongeneel, Wouter. author. Moulay, Emmanuel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30133-9">https://doi.org/10.1007/978-3-031-30133-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cultural algorithms : tools to model complex dynamic social systemsent://SD_ILS/0/SD_ILS:5959362026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Reynolds, Robert G., author.<br/>Preferred Shelf Number H61.25 .R49 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163202026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Drewes, Frank. 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-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167782026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66158-2">https://doi.org/10.1007/978-3-319-66158-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph-Based Representations in Pattern Recognition 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6169072026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Foggia, Pasquale. editor. Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Vento, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58961-9">https://doi.org/10.1007/978-3-319-58961-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applicationsent://SD_ILS/0/SD_ILS:6109222026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Tomlinson, Martin. author. Tjhai, Cen Jung. author. Ambroze, Marcel A. author. Ahmed, Mohammed. author. Jibril, Mubarak. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51103-0">https://doi.org/10.1007/978-3-319-51103-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130732026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIIent://SD_ILS/0/SD_ILS:6138612026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55862-1">https://doi.org/10.1007/978-3-662-55862-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Algorithms, Systems, and Applications 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6110152026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Ma, Liran. editor. Khreishah, Abdallah. editor. Zhang, Yan. editor. Yan, Mingyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60033-8">https://doi.org/10.1007/978-3-319-60033-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6142612026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57288-8">https://doi.org/10.1007/978-3-319-57288-8</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, Proceedingsent://SD_ILS/0/SD_ILS:6159802026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor 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/>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-21T10:03:37Z2026-03-21T10:03:37ZAuthor 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/>Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161552026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Oliveira, Eugénio. editor. Gama, João. editor. Vale, Zita. editor. Lopes Cardoso, Henrique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65340-2">https://doi.org/10.1007/978-3-319-65340-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6161872026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54072-6">https://doi.org/10.1007/978-3-319-54072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emergent Computation A Festschrift for Selim G. Aklent://SD_ILS/0/SD_ILS:6164092026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46376-6">https://doi.org/10.1007/978-3-319-46376-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6135012026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6177592026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Neruda, Roman. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71069-3">https://doi.org/10.1007/978-3-319-71069-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6182582026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Rass, Stefan. editor. An, Bo. editor. Kiekintveld, Christopher. editor. Fang, Fei. editor. Schauer, Stefan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68711-7">https://doi.org/10.1007/978-3-319-68711-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, Proceedingsent://SD_ILS/0/SD_ILS:6123102026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor 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/>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-21T10:03:37Z2026-03-21T10:03: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/>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-21T10:03:37Z2026-03-21T10:03: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/>Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6159942026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Martín-Vide, Carlos. editor. Mizuki, Takaaki. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49001-4">https://doi.org/10.1007/978-3-319-49001-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160012026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43904-4">https://doi.org/10.1007/978-3-319-43904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6160342026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Gavoille, Cyril. editor. Ilcinkas, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53426-7">https://doi.org/10.1007/978-3-662-53426-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing Methodologies 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6161292026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Huang, De-Shuang. editor. Han, Kyungsook. editor. Hussain, Abir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42297-8">https://doi.org/10.1007/978-3-319-42297-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161742026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Rueher, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44953-1">https://doi.org/10.1007/978-3-319-44953-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6162122026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Bonnevay, Stéphane. editor. Legrand, Pierrick. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31471-6">https://doi.org/10.1007/978-3-319-31471-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6162662026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Sombattheera, Chattrakul. editor. Stolzenburg, Frieder. editor. Lin, Fangzhen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49397-8">https://doi.org/10.1007/978-3-319-49397-8</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, Proceedingsent://SD_ILS/0/SD_ILS:6162962026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor 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/>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-21T10:03:37Z2026-03-21T10:03: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/>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-21T10:03:37Z2026-03-21T10:03: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/>GPS Theory, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:6128522026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Xu, Guochang. author. Xu, Yan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50367-6">https://doi.org/10.1007/978-3-662-50367-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171392026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</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-21T10:03:37Z2026-03-21T10:03: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/>Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6169532026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Randomized Algorithms for Analysis and Control of Uncertain Systems With Applicationsent://SD_ILS/0/SD_ILS:3310242026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4610-0">http://dx.doi.org/10.1007/978-1-4471-4610-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Approximation of Exact Controls for Wavesent://SD_ILS/0/SD_ILS:3318692026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Ervedoza, Sylvain. author. Zuazua, Enrique. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331869.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5808-1">http://dx.doi.org/10.1007/978-1-4614-5808-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Game Theory for Control of Optical Networksent://SD_ILS/0/SD_ILS:1683822026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Pavel, Lacra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8322-1">http://dx.doi.org/10.1007/978-0-8176-8322-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The BOXES Methodology Black Box Dynamic Controlent://SD_ILS/0/SD_ILS:1762762026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Russell, David W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-528-6">http://dx.doi.org/10.1007/978-1-84996-528-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantics-Oriented Natural Language Processing Mathematical Models and Algorithmsent://SD_ILS/0/SD_ILS:1670022026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Fomichov A., Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-72926-8">http://dx.doi.org/10.1007/978-0-387-72926-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Identification with Quantized Observationsent://SD_ILS/0/SD_ILS:1683302026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Wang, Le Yi. author. Yin, G. George. author. Zhang, Ji-Feng. author. Zhao, Yanlong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4956-2">http://dx.doi.org/10.1007/978-0-8176-4956-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Randomized Algorithms for Analysis and Control of Uncertain Systemsent://SD_ILS/0/SD_ILS:1751892026-03-21T10:03:37Z2026-03-21T10:03:37ZAuthor Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137802">http://dx.doi.org/10.1007/b137802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>