Search Results for - Narrowed by: Springer E-Book Collection - Information theory. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Information$002btheory.$002509Information$002btheory.$0026ps$003d300? 2024-05-05T13:30:11Z Algebraic Informatics 8th International Conference, CAI 2019, Ni&scaron;, Serbia, June 30&ndash;July 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428932 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682<br/><a href="https://doi.org/10.1007/978-3-030-21363-3">https://doi.org/10.1007/978-3-030-21363-3</a><br/>Format:&#160;Electronic Resources<br/> Progress in Cryptology &ndash; INDOCRYPT 2019 20th International Conference on Cryptology in India, Hyderabad, India, December 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429183 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Hao, Feng. editor.<br/><a href="https://doi.org/10.1007/978-3-030-35423-7">https://doi.org/10.1007/978-3-030-35423-7</a><br/>Format:&#160;Electronic Resources<br/> ICT Unbounded, Social Impact of Bright ICT Adoption IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2019, Accra, Ghana, June 21&ndash;22, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429251 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Dwivedi, Yogesh. editor. (orcid)0000-0002-5547-9990<br/><a href="https://doi.org/10.1007/978-3-030-20671-0">https://doi.org/10.1007/978-3-030-20671-0</a><br/>Format:&#160;Electronic Resources<br/> Sustainable ICT, Education and Learning IFIP WG 3.4 International Conference, SUZA 2019, Zanzibar, Tanzania, April 25&ndash;27, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428059 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Tatnall, Arthur. editor. (orcid)0000-0003-4317-971X<br/><a href="https://doi.org/10.1007/978-3-030-28764-1">https://doi.org/10.1007/978-3-030-28764-1</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19&ndash;23, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:428644 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ishai, Yuval. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17659-4">https://doi.org/10.1007/978-3-030-17659-4</a><br/>Format:&#160;Electronic Resources<br/> Body Area Networks: Smart IoT and Big Data for Intelligent Health Management 14th EAI International Conference, BODYNETS 2019, Florence, Italy, October 2-3, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428676 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Mucchi, Lorenzo. editor. (orcid)0000-0001-6389-0221<br/><a href="https://doi.org/10.1007/978-3-030-34833-5">https://doi.org/10.1007/978-3-030-34833-5</a><br/>Format:&#160;Electronic Resources<br/> Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1&ndash;3, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:428304 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Nielsen, Petter. editor. (orcid)0000-0003-3723-6976<br/><a href="https://doi.org/10.1007/978-3-030-18400-1">https://doi.org/10.1007/978-3-030-18400-1</a><br/>Format:&#160;Electronic Resources<br/> Internet of Things, Smart Spaces, and Next Generation Networks and Systems 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428305 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Galinina, Olga. editor. (orcid)0000-0002-5386-1061<br/><a href="https://doi.org/10.1007/978-3-030-30859-9">https://doi.org/10.1007/978-3-030-30859-9</a><br/>Format:&#160;Electronic Resources<br/> Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1&ndash;3, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428306 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Vaidya, Jaideep. editor.<br/><a href="https://doi.org/10.1007/978-3-030-37352-8">https://doi.org/10.1007/978-3-030-37352-8</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:427928 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148<br/><a href="https://doi.org/10.1007/978-3-030-06019-0">https://doi.org/10.1007/978-3-030-06019-0</a><br/>Format:&#160;Electronic Resources<br/> Information Technology in Disaster Risk Reduction Second IFIP TC 5 DCITDRR International Conference, ITDRR 2017, Sofia, Bulgaria, October 25-27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:427931 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Murayama, Yuko. editor.<br/><a href="https://doi.org/10.1007/978-3-030-18293-9">https://doi.org/10.1007/978-3-030-18293-9</a><br/>Format:&#160;Electronic Resources<br/> An Introduction to Kolmogorov Complexity and Its Applications ent://SD_ILS/0/SD_ILS:427851 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Li, Ming. author.<br/><a href="https://doi.org/10.1007/978-3-030-11298-1">https://doi.org/10.1007/978-3-030-11298-1</a><br/>Format:&#160;Electronic Resources<br/> Digital Transformation for a Sustainable Society in the 21st Century 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Trondheim, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428261 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Pappas, Ilias O. editor. (orcid)0000-0001-7528-3488<br/><a href="https://doi.org/10.1007/978-3-030-29374-1">https://doi.org/10.1007/978-3-030-29374-1</a><br/>Format:&#160;Electronic Resources<br/> Wired/Wireless Internet Communications 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428263 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Di Felice, Marco. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30523-9">https://doi.org/10.1007/978-3-030-30523-9</a><br/>Format:&#160;Electronic Resources<br/> Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428141 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946<br/><a href="https://doi.org/10.1007/978-3-030-27181-7">https://doi.org/10.1007/978-3-030-27181-7</a><br/>Format:&#160;Electronic Resources<br/> Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428142 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Lindgren, Ida. editor. (orcid)0000-0002-4735-8697<br/><a href="https://doi.org/10.1007/978-3-030-27325-5">https://doi.org/10.1007/978-3-030-27325-5</a><br/>Format:&#160;Electronic Resources<br/> Knowledge Discovery, Knowledge Engineering and Knowledge Management 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9&ndash;11, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428438 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Fred, Ana. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99701-8">https://doi.org/10.1007/978-3-319-99701-8</a><br/>Format:&#160;Electronic Resources<br/> Topics in Cryptology &ndash; CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4&ndash;8, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428500 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Matsui, Mitsuru. editor.<br/><a href="https://doi.org/10.1007/978-3-030-12612-4">https://doi.org/10.1007/978-3-030-12612-4</a><br/>Format:&#160;Electronic Resources<br/> CyberParks &ndash; The Interface Between People, Places and Technology New Approaches and Perspectives ent://SD_ILS/0/SD_ILS:428520 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Smaniotto Costa, Carlos. editor. (orcid)0000-0002-1896-4663<br/><a href="https://doi.org/10.1007/978-3-030-13417-4">https://doi.org/10.1007/978-3-030-13417-4</a><br/>Format:&#160;Electronic Resources<br/> Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428154 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ek&scaron;tein, Kamil. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27947-9">https://doi.org/10.1007/978-3-030-27947-9</a><br/>Format:&#160;Electronic Resources<br/> Asymptotic Nonparametric Statistical Analysis of Stationary Time Series ent://SD_ILS/0/SD_ILS:428909 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ryabko, Daniil. author.<br/><a href="https://doi.org/10.1007/978-3-030-12564-6">https://doi.org/10.1007/978-3-030-12564-6</a><br/>Format:&#160;Electronic Resources<br/> Information Security and Cryptology &ndash; ICISC 2018 21st International Conference, Seoul, South Korea, November 28&ndash;30, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428179 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Lee, Kwangsu. editor. (orcid)0000-0003-1910-8890<br/><a href="https://doi.org/10.1007/978-3-030-12146-4">https://doi.org/10.1007/978-3-030-12146-4</a><br/>Format:&#160;Electronic Resources<br/> Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429099 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X<br/><a href="https://doi.org/10.1007/978-3-030-21548-4">https://doi.org/10.1007/978-3-030-21548-4</a><br/>Format:&#160;Electronic Resources<br/> Information and Communication Technologies in Modern Agricultural Development 8th International Conference, HAICTA 2017, Chania, Crete, Greece, September 21&ndash;24, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428721 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Salampasis, Michail. editor.<br/><a href="https://doi.org/10.1007/978-3-030-12998-9">https://doi.org/10.1007/978-3-030-12998-9</a><br/>Format:&#160;Electronic Resources<br/> Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428722 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Mekuria, Fisseha. editor.<br/><a href="https://doi.org/10.1007/978-3-030-26630-1">https://doi.org/10.1007/978-3-030-26630-1</a><br/>Format:&#160;Electronic Resources<br/> Locally Relevant ICT Research 10th International Development Informatics Association Conference, IDIA 2018, Tshwane, South Africa, August 23-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:429211 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Krauss, Kirstin. editor. (orcid)0000-0002-1328-7683<br/><a href="https://doi.org/10.1007/978-3-030-11235-6">https://doi.org/10.1007/978-3-030-11235-6</a><br/>Format:&#160;Electronic Resources<br/> Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1&ndash;5, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:429149 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ameri, Farhad. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30000-5">https://doi.org/10.1007/978-3-030-30000-5</a><br/>Format:&#160;Electronic Resources<br/> Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26&ndash;30, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:429153 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Dudin, Alexander. editor. (orcid)0000-0003-2881-0227<br/><a href="https://doi.org/10.1007/978-3-030-33388-1">https://doi.org/10.1007/978-3-030-33388-1</a><br/>Format:&#160;Electronic Resources<br/> Digital Transformation and Global Society 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19&ndash;21, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:429167 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903<br/><a href="https://doi.org/10.1007/978-3-030-37858-5">https://doi.org/10.1007/978-3-030-37858-5</a><br/>Format:&#160;Electronic Resources<br/> Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27&ndash;29, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428876 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Huang, Shujian. editor.<br/><a href="https://doi.org/10.1007/978-981-15-1721-1">https://doi.org/10.1007/978-981-15-1721-1</a><br/>Format:&#160;Electronic Resources<br/> Cryptography with Shrinking Generators Fundamentals and Applications of Keystream Sequence Generators Based on Irregular Decimation ent://SD_ILS/0/SD_ILS:428793 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;D&iacute;az Cardell, Sara. author.<br/><a href="https://doi.org/10.1007/978-3-030-12850-0">https://doi.org/10.1007/978-3-030-12850-0</a><br/>Format:&#160;Electronic Resources<br/> Advances in Production Management Systems. Towards Smart Production Management Systems IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1&ndash;5, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428063 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ameri, Farhad. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29996-5">https://doi.org/10.1007/978-3-030-29996-5</a><br/>Format:&#160;Electronic Resources<br/> Dependability in Sensor, Cloud, and Big Data Systems and Applications 5th International Conference, DependSys 2019, Guangzhou, China, November 12&ndash;15, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428216 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Wang, Guojun. editor. (orcid)0000-0001-9875-4182<br/><a href="https://doi.org/10.1007/978-981-15-1304-6">https://doi.org/10.1007/978-981-15-1304-6</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:427913 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Boldyreva, Alexandra. editor.<br/><a href="https://doi.org/10.1007/978-3-030-26951-7">https://doi.org/10.1007/978-3-030-26951-7</a><br/>Format:&#160;Electronic Resources<br/> Progress in Cryptology &ndash; AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428825 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Buchmann, Johannes. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23696-0">https://doi.org/10.1007/978-3-030-23696-0</a><br/>Format:&#160;Electronic Resources<br/> Smart Working, Living and Organising IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, Proceedings ent://SD_ILS/0/SD_ILS:428888 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Elbanna, Amany. editor.<br/><a href="https://doi.org/10.1007/978-3-030-04315-5">https://doi.org/10.1007/978-3-030-04315-5</a><br/>Format:&#160;Electronic Resources<br/> Electronic Governance and Open Society: Challenges in Eurasia 5th International Conference, EGOSE 2018, St. Petersburg, Russia, November 14-16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:427739 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Chugunov, Andrei. editor. (orcid)0000-0001-5911-529X<br/><a href="https://doi.org/10.1007/978-3-030-13283-5">https://doi.org/10.1007/978-3-030-13283-5</a><br/>Format:&#160;Electronic Resources<br/> Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:427750 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Vera-Rodriguez, Ruben. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13469-3">https://doi.org/10.1007/978-3-030-13469-3</a><br/>Format:&#160;Electronic Resources<br/> Morphological Intelligence Measuring the Body&rsquo;s Contribution to Intelligence ent://SD_ILS/0/SD_ILS:428021 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ghazi-Zahedi, Keyan. author.<br/><a href="https://doi.org/10.1007/978-3-030-20621-5">https://doi.org/10.1007/978-3-030-20621-5</a><br/>Format:&#160;Electronic Resources<br/> E-Business and Telecommunications 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper ent://SD_ILS/0/SD_ILS:428400 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Obaidat, Mohammad S. editor.<br/><a href="https://doi.org/10.1007/978-3-030-11039-0">https://doi.org/10.1007/978-3-030-11039-0</a><br/>Format:&#160;Electronic Resources<br/> Services Computing &ndash; SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428402 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014<br/><a href="https://doi.org/10.1007/978-3-030-23554-3">https://doi.org/10.1007/978-3-030-23554-3</a><br/>Format:&#160;Electronic Resources<br/> Public-Key Cryptography &ndash; PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:427778 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Lin, Dongdai. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17259-6">https://doi.org/10.1007/978-3-030-17259-6</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:428422 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Boldyreva, Alexandra. editor.<br/><a href="https://doi.org/10.1007/978-3-030-26948-7">https://doi.org/10.1007/978-3-030-26948-7</a><br/>Format:&#160;Electronic Resources<br/> Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428424 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842<br/><a href="https://doi.org/10.1007/978-3-030-27397-2">https://doi.org/10.1007/978-3-030-27397-2</a><br/>Format:&#160;Electronic Resources<br/> Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22&ndash;24, 2019, Proceedings - In Honor of Said El Hajji ent://SD_ILS/0/SD_ILS:427950 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Carlet, Claude. editor.<br/><a href="https://doi.org/10.1007/978-3-030-16458-4">https://doi.org/10.1007/978-3-030-16458-4</a><br/>Format:&#160;Electronic Resources<br/> Passive and Active Measurement 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428741 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Choffnes, David. editor.<br/><a href="https://doi.org/10.1007/978-3-030-15986-3">https://doi.org/10.1007/978-3-030-15986-3</a><br/>Format:&#160;Electronic Resources<br/> Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428760 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Polian, Ilia. editor. (orcid)0000-0002-6563-2725<br/><a href="https://doi.org/10.1007/978-3-030-16350-1">https://doi.org/10.1007/978-3-030-16350-1</a><br/>Format:&#160;Electronic Resources<br/> Information Security and Cryptology 14th International Conference, Inscrypt 2018, Fuzhou, China, December 14-17, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428778 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Guo, Fuchun. editor.<br/><a href="https://doi.org/10.1007/978-3-030-14234-6">https://doi.org/10.1007/978-3-030-14234-6</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19&ndash;23, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:427820 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ishai, Yuval. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17653-2">https://doi.org/10.1007/978-3-030-17653-2</a><br/>Format:&#160;Electronic Resources<br/> E-Business and Telecommunications 15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26&ndash;28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428002 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Obaidat, Mohammad S. editor.<br/><a href="https://doi.org/10.1007/978-3-030-34866-3">https://doi.org/10.1007/978-3-030-34866-3</a><br/>Format:&#160;Electronic Resources<br/> Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1&ndash;3, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428250 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Nielsen, Petter. editor. (orcid)0000-0003-3723-6976<br/><a href="https://doi.org/10.1007/978-3-030-19115-3">https://doi.org/10.1007/978-3-030-19115-3</a><br/>Format:&#160;Electronic Resources<br/> Blockchain &ndash; ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427690 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Joshi, James. editor. (orcid)0000-0003-4519-9802<br/><a href="https://doi.org/10.1007/978-3-030-23404-1">https://doi.org/10.1007/978-3-030-23404-1</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cyber Security: Principles, Techniques, and Applications ent://SD_ILS/0/SD_ILS:428398 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Li, Kuan-Ching. editor.<br/><a href="https://doi.org/10.1007/978-981-13-1483-4">https://doi.org/10.1007/978-981-13-1483-4</a><br/>Format:&#160;Electronic Resources<br/> Internet of Things &ndash; ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428942 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Issarny, Valerie. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23357-0">https://doi.org/10.1007/978-3-030-23357-0</a><br/>Format:&#160;Electronic Resources<br/> Progress in Cryptology &ndash; LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:429033 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Lange, Tanja. editor.<br/><a href="https://doi.org/10.1007/978-3-030-25283-0">https://doi.org/10.1007/978-3-030-25283-0</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:428490 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Boldyreva, Alexandra. editor.<br/><a href="https://doi.org/10.1007/978-3-030-26954-8">https://doi.org/10.1007/978-3-030-26954-8</a><br/>Format:&#160;Electronic Resources<br/> Ad-Hoc, Mobile, and Wireless Networks 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1&ndash;3, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428914 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Palattella, Maria Rita. editor. (orcid)0000-0002-4945-1406<br/><a href="https://doi.org/10.1007/978-3-030-31831-4">https://doi.org/10.1007/978-3-030-31831-4</a><br/>Format:&#160;Electronic Resources<br/> Channel Coding Techniques for Wireless Communications ent://SD_ILS/0/SD_ILS:428576 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Rao, K. Deergha. author.<br/><a href="https://doi.org/10.1007/978-981-15-0561-4">https://doi.org/10.1007/978-981-15-0561-4</a><br/>Format:&#160;Electronic Resources<br/> Digital Forensics and Watermarking 17th International Workshop, IWDW 2018, Jeju Island, Korea, October 22-24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:428979 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Yoo, Chang D. editor.<br/><a href="https://doi.org/10.1007/978-3-030-11389-6">https://doi.org/10.1007/978-3-030-11389-6</a><br/>Format:&#160;Electronic Resources<br/> Public-Key Cryptography &ndash; PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:429040 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Lin, Dongdai. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17253-4">https://doi.org/10.1007/978-3-030-17253-4</a><br/>Format:&#160;Electronic Resources<br/> Code-Based Cryptography 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18&ndash;19, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:429041 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Baldi, Marco. editor. (orcid)0000-0002-8754-5526<br/><a href="https://doi.org/10.1007/978-3-030-25922-8">https://doi.org/10.1007/978-3-030-25922-8</a><br/>Format:&#160;Electronic Resources<br/> Empowering Learners for Life in the Digital Age IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24&ndash;28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428869 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Passey, Don. editor. (orcid)0000-0002-9205-502X<br/><a href="https://doi.org/10.1007/978-3-030-23513-0">https://doi.org/10.1007/978-3-030-23513-0</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8&ndash;12, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:428024 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377<br/><a href="https://doi.org/10.1007/978-3-030-34578-5">https://doi.org/10.1007/978-3-030-34578-5</a><br/>Format:&#160;Electronic Resources<br/> Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23&ndash;27, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428057 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Vishnevskiy, Vladimir M. editor.<br/><a href="https://doi.org/10.1007/978-3-030-36614-8">https://doi.org/10.1007/978-3-030-36614-8</a><br/>Format:&#160;Electronic Resources<br/> Massive MIMO Detection Algorithm and VLSI Architecture ent://SD_ILS/0/SD_ILS:428360 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Liu, Leibo. author.<br/><a href="https://doi.org/10.1007/978-981-13-6362-7">https://doi.org/10.1007/978-981-13-6362-7</a><br/>Format:&#160;Electronic Resources<br/> The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment ent://SD_ILS/0/SD_ILS:428147 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X<br/><a href="https://doi.org/10.1007/978-3-030-37959-9">https://doi.org/10.1007/978-3-030-37959-9</a><br/>Format:&#160;Electronic Resources<br/> Compressed Sensing and Its Applications Third International MATHEON Conference 2017 ent://SD_ILS/0/SD_ILS:428603 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Boche, Holger. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73074-5">https://doi.org/10.1007/978-3-319-73074-5</a><br/>Format:&#160;Electronic Resources<br/> Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428152 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Kő, Andrea. editor. (orcid)0000-0003-0023-1143<br/><a href="https://doi.org/10.1007/978-3-030-27523-5">https://doi.org/10.1007/978-3-030-27523-5</a><br/>Format:&#160;Electronic Resources<br/> Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427993 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Yangui, Sami. editor. (orcid)0000-0001-9756-642X<br/><a href="https://doi.org/10.1007/978-3-030-33702-5">https://doi.org/10.1007/978-3-030-33702-5</a><br/>Format:&#160;Electronic Resources<br/> Progress in Cryptology &ndash; LATINCRYPT 2019 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428524 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Schwabe, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30530-7">https://doi.org/10.1007/978-3-030-30530-7</a><br/>Format:&#160;Electronic Resources<br/> Discrete Energy on Rectifiable Sets ent://SD_ILS/0/SD_ILS:428526 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Borodachov, Sergiy V. author.<br/><a href="https://doi.org/10.1007/978-0-387-84808-2">https://doi.org/10.1007/978-0-387-84808-2</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8&ndash;12, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:428537 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377<br/><a href="https://doi.org/10.1007/978-3-030-34618-8">https://doi.org/10.1007/978-3-030-34618-8</a><br/>Format:&#160;Electronic Resources<br/> ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18&ndash;20, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428719 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Kabanda, Salah. editor.<br/><a href="https://doi.org/10.1007/978-3-030-05813-5">https://doi.org/10.1007/978-3-030-05813-5</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19&ndash;23, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428921 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ishai, Yuval. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17656-3">https://doi.org/10.1007/978-3-030-17656-3</a><br/>Format:&#160;Electronic Resources<br/> Smart Blockchain Second International Conference, SmartBlock 2019, Birmingham, UK, October 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428617 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Qiu, Meikang. editor. (orcid)0000-0002-1004-0140<br/><a href="https://doi.org/10.1007/978-3-030-34083-4">https://doi.org/10.1007/978-3-030-34083-4</a><br/>Format:&#160;Electronic Resources<br/> Space Information Networks Third International Conference, SINC 2018, Changchun, China, August 9&ndash;10, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428088 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Yu, Quan. editor.<br/><a href="https://doi.org/10.1007/978-981-13-5937-8">https://doi.org/10.1007/978-981-13-5937-8</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:221586 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:221602 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format:&#160;Electronic Resources<br/> Principles in Noisy Optimization Applied to Multi-agent Coordination ent://SD_ILS/0/SD_ILS:221637 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Rakshit, Pratyusha. author.<br/><a href="https://doi.org/10.1007/978-981-10-8642-7">https://doi.org/10.1007/978-981-10-8642-7</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Computational Collective Intelligence XXX ent://SD_ILS/0/SD_ILS:221459 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Thanh Nguyen, Ngoc. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99810-7">https://doi.org/10.1007/978-3-319-99810-7</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:221549 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format:&#160;Electronic Resources<br/> Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:221664 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Thomson, Robert. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93372-6">https://doi.org/10.1007/978-3-319-93372-6</a><br/>Format:&#160;Electronic Resources<br/> New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222375 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Abdelwahed, El Hassan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format:&#160;Electronic Resources<br/> Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:222263 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622<br/><a href="https://doi.org/10.1007/978-3-319-96562-8">https://doi.org/10.1007/978-3-319-96562-8</a><br/>Format:&#160;Electronic Resources<br/> Hyper-Heuristics: Theory and Applications ent://SD_ILS/0/SD_ILS:221141 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Pillay, Nelishia. author.<br/><a href="https://doi.org/10.1007/978-3-319-96514-7">https://doi.org/10.1007/978-3-319-96514-7</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Petri Nets and Other Models of Concurrency XIII ent://SD_ILS/0/SD_ILS:221834 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Koutny, Maciej. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58381-4">https://doi.org/10.1007/978-3-662-58381-4</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:221559 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222489 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Howar, Falk. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format:&#160;Electronic Resources<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:224930 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Beyersdorff, Olaf. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Computational Science XXXIII ent://SD_ILS/0/SD_ILS:221903 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Gavrilova, Marina L. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:221411 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Johnsen, Einar Broch. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:221783 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772<br/><a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format:&#160;Electronic Resources<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:221786 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786<br/><a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format:&#160;Electronic Resources<br/> NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:221787 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Dutle, Aaron. editor.<br/><a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format:&#160;Electronic Resources<br/> Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 &ndash; August 3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:221611 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Manea, Florin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94418-0">https://doi.org/10.1007/978-3-319-94418-0</a><br/>Format:&#160;Electronic Resources<br/> The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science ent://SD_ILS/0/SD_ILS:221543 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ausiello, Giorgio. author.<br/><a href="https://doi.org/10.1007/978-3-319-62680-2">https://doi.org/10.1007/978-3-319-62680-2</a><br/>Format:&#160;Electronic Resources<br/> Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches ent://SD_ILS/0/SD_ILS:221466 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Steffen, Bernhard. author.<br/><a href="https://doi.org/10.1007/978-3-319-68397-3">https://doi.org/10.1007/978-3-319-68397-3</a><br/>Format:&#160;Electronic Resources<br/> An Introduction to Metaheuristics for Optimization ent://SD_ILS/0/SD_ILS:221833 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Chopard, Bastien. author.<br/><a href="https://doi.org/10.1007/978-3-319-93073-2">https://doi.org/10.1007/978-3-319-93073-2</a><br/>Format:&#160;Electronic Resources<br/> Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach ent://SD_ILS/0/SD_ILS:221862 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Raynal, Michel. author.<br/><a href="https://doi.org/10.1007/978-3-319-94141-7">https://doi.org/10.1007/978-3-319-94141-7</a><br/>Format:&#160;Electronic Resources<br/> Foraging-Inspired Optimisation Algorithms ent://SD_ILS/0/SD_ILS:221995 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Brabazon, Anthony. author.<br/><a href="https://doi.org/10.1007/978-3-319-59156-8">https://doi.org/10.1007/978-3-319-59156-8</a><br/>Format:&#160;Electronic Resources<br/> Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222007 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Stamelos, Ioannis. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format:&#160;Electronic Resources<br/> Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:222015 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Jones, Cliff. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format:&#160;Electronic Resources<br/> Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:221202 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Gonz&aacute;lez-Beltr&aacute;n, Alejandra. editor. (orcid)0000-0003-3499-8262<br/><a href="https://doi.org/10.1007/978-3-030-01379-0">https://doi.org/10.1007/978-3-030-01379-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:221703 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472<br/><a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format:&#160;Electronic Resources<br/> Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:222266 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;B&ouml;ckenhauer, Hans-Joachim. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98355-4">https://doi.org/10.1007/978-3-319-98355-4</a><br/>Format:&#160;Electronic Resources<br/> Intelligent Data Engineering and Automated Learning &ndash; IDEAL 2018 19th International Conference, Madrid, Spain, November 21&ndash;23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:222801 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Yin, Hujun. editor. (orcid)0000-0002-9198-5401<br/><a href="https://doi.org/10.1007/978-3-030-03493-1">https://doi.org/10.1007/978-3-030-03493-1</a><br/>Format:&#160;Electronic Resources<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:224647 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Shi, Yong. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format:&#160;Electronic Resources<br/> Handbook of Parallel Constraint Reasoning ent://SD_ILS/0/SD_ILS:222770 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Hamadi, Youssef. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63516-3">https://doi.org/10.1007/978-3-319-63516-3</a><br/>Format:&#160;Electronic Resources<br/> Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222751 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561<br/><a href="https://doi.org/10.1007/978-3-030-03667-6">https://doi.org/10.1007/978-3-030-03667-6</a><br/>Format:&#160;Electronic Resources<br/> Computational Matter ent://SD_ILS/0/SD_ILS:222533 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Stepney, Susan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-65826-1">https://doi.org/10.1007/978-3-319-65826-1</a><br/>Format:&#160;Electronic Resources<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:224683 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Shi, Yong. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format:&#160;Electronic Resources<br/> Handbook of Model Checking ent://SD_ILS/0/SD_ILS:224205 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format:&#160;Electronic Resources<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018 Proceedings, Part III ent://SD_ILS/0/SD_ILS:225556 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Shi, Yong. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format:&#160;Electronic Resources<br/> Computational Artifacts Towards a Philosophy of Computer Science ent://SD_ILS/0/SD_ILS:226888 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Turner, Raymond. author.<br/><a href="https://doi.org/10.1007/978-3-662-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format:&#160;Electronic Resources<br/> The Incomputable Journeys Beyond the Turing Barrier ent://SD_ILS/0/SD_ILS:221608 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Cooper, S. Barry. editor.<br/><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:&#160;Electronic Resources<br/> Biomimetic and Biohybrid Systems 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26&ndash;28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:222094 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Mangan, Michael. editor. (orcid)0000-0002-0293-8874<br/><a href="https://doi.org/10.1007/978-3-319-63537-8">https://doi.org/10.1007/978-3-319-63537-8</a><br/>Format:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3&ndash;6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:225897 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;D'Souza, Deepak. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format:&#160;Electronic Resources<br/> Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, S&atilde;o Paulo, Brazil, May 8-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:226032 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609<br/><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:&#160;Electronic Resources<br/> The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 &ndash; June 1, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:226159 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Blomqvist, Eva. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58068-5">https://doi.org/10.1007/978-3-319-58068-5</a><br/>Format:&#160;Electronic Resources<br/> Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 &ndash; June 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:226704 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Maedche, Alexander. editor.<br/><a href="https://doi.org/10.1007/978-3-319-59144-5">https://doi.org/10.1007/978-3-319-59144-5</a><br/>Format:&#160;Electronic Resources<br/> Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:226442 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Liu, Shaoying. editor.<br/><a href="https://doi.org/10.1007/978-3-319-57708-1">https://doi.org/10.1007/978-3-319-57708-1</a><br/>Format:&#160;Electronic Resources<br/> Theory of Reversible Computing ent://SD_ILS/0/SD_ILS:225975 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Morita, Kenichi. author.<br/><a href="https://doi.org/10.1007/978-4-431-56606-9">https://doi.org/10.1007/978-4-431-56606-9</a><br/>Format:&#160;Electronic Resources<br/> Space in Weak Propositional Proof Systems ent://SD_ILS/0/SD_ILS:226214 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Bonacina, Ilario. author.<br/><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:&#160;Electronic Resources<br/> Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:226151 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Paskevich, Andrei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</a><br/>Format:&#160;Electronic Resources<br/> Creativity in Intelligent Technologies and Data Science Second Conference, CIT&amp;DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:226685 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Kravets, Alla. editor. (orcid)0000-0003-1675-8652<br/><a href="https://doi.org/10.1007/978-3-319-65551-2">https://doi.org/10.1007/978-3-319-65551-2</a><br/>Format:&#160;Electronic Resources<br/> The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 &ndash; June 1, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:223982 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Blomqvist, Eva. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58451-5">https://doi.org/10.1007/978-3-319-58451-5</a><br/>Format:&#160;Electronic Resources<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:223239 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Fantechi, Alessandro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format:&#160;Electronic Resources<br/> Computational Intelligence for Network Structure Analytics ent://SD_ILS/0/SD_ILS:224291 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Gong, Maoguo. author.<br/><a href="https://doi.org/10.1007/978-981-10-4558-5">https://doi.org/10.1007/978-981-10-4558-5</a><br/>Format:&#160;Electronic Resources<br/> Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:224117 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Rossi, Federico. editor. (orcid)0000-0002-1854-532X<br/><a href="https://doi.org/10.1007/978-3-319-57711-1">https://doi.org/10.1007/978-3-319-57711-1</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:225768 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Kryszkiewicz, Marzena. editor.<br/><a href="https://doi.org/10.1007/978-3-319-60438-1">https://doi.org/10.1007/978-3-319-60438-1</a><br/>Format:&#160;Electronic Resources<br/> Modern Language Models and Computation Theory with Applications ent://SD_ILS/0/SD_ILS:225147 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Meduna, Alexander. author.<br/><a href="https://doi.org/10.1007/978-3-319-63100-4">https://doi.org/10.1007/978-3-319-63100-4</a><br/>Format:&#160;Electronic Resources<br/> Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:226655 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54876-0">https://doi.org/10.1007/978-3-319-54876-0</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4&ndash;8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:221208 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990<br/><a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format:&#160;Electronic Resources<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 &ndash; September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:222600 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Gaspers, Serge. editor. (orcid)0000-0002-6947-9238<br/><a href="https://doi.org/10.1007/978-3-319-66263-3">https://doi.org/10.1007/978-3-319-66263-3</a><br/>Format:&#160;Electronic Resources<br/> Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich ent://SD_ILS/0/SD_ILS:222753 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Lindell, Yehuda. editor.<br/><a href="https://doi.org/10.1007/978-3-319-57048-8">https://doi.org/10.1007/978-3-319-57048-8</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 &mdash; December 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:223594 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379<br/><a href="https://doi.org/10.1007/978-3-319-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format:&#160;Electronic Resources<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:223829 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Aceto, Luca. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:222470 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Chang, Bor-Yuh Evan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:222250 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Takagi, Tsuyoshi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70697-9">https://doi.org/10.1007/978-3-319-70697-9</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III ent://SD_ILS/0/SD_ILS:222251 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Takagi, Tsuyoshi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70700-6">https://doi.org/10.1007/978-3-319-70700-6</a><br/>Format:&#160;Electronic Resources<br/> Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:222429 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Cazenave, Tristan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-57969-6">https://doi.org/10.1007/978-3-319-57969-6</a><br/>Format:&#160;Electronic Resources<br/> Process Algebras for Petri Nets The Alphabetization of Distributed Systems ent://SD_ILS/0/SD_ILS:223502 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Gorrieri, Roberto. author.<br/><a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format:&#160;Electronic Resources<br/> Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics ent://SD_ILS/0/SD_ILS:222549 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Draheim, Dirk. author.<br/><a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format:&#160;Electronic Resources<br/> High Performance Computing for Computational Science &ndash; VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:223691 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Dutra, In&ecirc;s. editor.<br/><a href="https://doi.org/10.1007/978-3-319-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format:&#160;Electronic Resources<br/> Introduction to Learning Classifier Systems ent://SD_ILS/0/SD_ILS:224170 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Urbanowicz, Ryan J. author.<br/><a href="https://doi.org/10.1007/978-3-662-55007-6">https://doi.org/10.1007/978-3-662-55007-6</a><br/>Format:&#160;Electronic Resources<br/> Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:223841 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X<br/><a href="https://doi.org/10.1007/978-3-319-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format:&#160;Electronic Resources<br/> Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:223963 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Maffei, Matteo. editor.<br/><a href="https://doi.org/10.1007/978-3-662-54455-6">https://doi.org/10.1007/978-3-662-54455-6</a><br/>Format:&#160;Electronic Resources<br/> Adventures in Computer Science From Classical Bits to Quantum Bits ent://SD_ILS/0/SD_ILS:225468 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Moret-Bonillo, Vicente. author.<br/><a href="https://doi.org/10.1007/978-3-319-64807-1">https://doi.org/10.1007/978-3-319-64807-1</a><br/>Format:&#160;Electronic Resources<br/> Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:225420 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Rojas, Ignacio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format:&#160;Electronic Resources<br/> High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18&ndash;22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:226221 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format:&#160;Electronic Resources<br/> Advances in Cryptology &ndash; ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:226478 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Takagi, Tsuyoshi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70694-8">https://doi.org/10.1007/978-3-319-70694-8</a><br/>Format:&#160;Electronic Resources<br/> Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:226270 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Da Silveira, Marcos. editor.<br/><a href="https://doi.org/10.1007/978-3-319-69751-2">https://doi.org/10.1007/978-3-319-69751-2</a><br/>Format:&#160;Electronic Resources<br/> The Semantic Web &ndash; ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:226009 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X<br/><a href="https://doi.org/10.1007/978-3-319-68204-4">https://doi.org/10.1007/978-3-319-68204-4</a><br/>Format:&#160;Electronic Resources<br/> Models of Computation ent://SD_ILS/0/SD_ILS:226398 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Bruni, Roberto. author.<br/><a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format:&#160;Electronic Resources<br/> Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:226403 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Rojas, Ignacio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format:&#160;Electronic Resources<br/> The Semantic Web &ndash; ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21&ndash;25, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:226535 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X<br/><a href="https://doi.org/10.1007/978-3-319-68288-4">https://doi.org/10.1007/978-3-319-68288-4</a><br/>Format:&#160;Electronic Resources<br/> The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 &ndash; June 1, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:226858 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Blomqvist, Eva. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70407-4">https://doi.org/10.1007/978-3-319-70407-4</a><br/>Format:&#160;Electronic Resources<br/> Hiding Data - Selected Topics Rudolf Ahlswede&rsquo;s Lectures on Information Theory 3 ent://SD_ILS/0/SD_ILS:17643 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ahlswede, Rudolf. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31515-7">http://dx.doi.org/10.1007/978-3-319-31515-7</a><br/>Format:&#160;Electronic Resources<br/> The Vienna LTE-Advanced Simulators Up and Downlink, Link and System Level Simulation ent://SD_ILS/0/SD_ILS:19052 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Rupp, Markus. author.<br/><a href="http://dx.doi.org/10.1007/978-981-10-0617-3">http://dx.doi.org/10.1007/978-981-10-0617-3</a><br/>Format:&#160;Electronic Resources<br/> Essential Knowledge for Transistor-Level LSI Circuit Design ent://SD_ILS/0/SD_ILS:19023 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Nakura, Toru. author.<br/><a href="http://dx.doi.org/10.1007/978-981-10-0424-7">http://dx.doi.org/10.1007/978-981-10-0424-7</a><br/>Format:&#160;Electronic Resources<br/> Security in Wireless Sensor Networks ent://SD_ILS/0/SD_ILS:16695 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Oreku, George S. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21269-2">http://dx.doi.org/10.1007/978-3-319-21269-2</a><br/>Format:&#160;Electronic Resources<br/> Game-theoretic Interference Coordination Approaches for Dynamic Spectrum Access ent://SD_ILS/0/SD_ILS:18955 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Xu, Yuhua. author.<br/><a href="http://dx.doi.org/10.1007/978-981-10-0024-9">http://dx.doi.org/10.1007/978-981-10-0024-9</a><br/>Format:&#160;Electronic Resources<br/> Signal Transforms in Dynamic Measurements ent://SD_ILS/0/SD_ILS:22038 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Layer, Edward. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13209-9">http://dx.doi.org/10.1007/978-3-319-13209-9</a><br/>Format:&#160;Electronic Resources<br/> Transmitting and Gaining Data Rudolf Ahlswede&rsquo;s Lectures on Information Theory 2 ent://SD_ILS/0/SD_ILS:21910 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ahlswede, Rudolf. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12523-7">http://dx.doi.org/10.1007/978-3-319-12523-7</a><br/>Format:&#160;Electronic Resources<br/> On the Mathematical Modeling of Memristor, Memcapacitor, and Meminductor ent://SD_ILS/0/SD_ILS:22697 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Radwan, Ahmed G. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17491-4">http://dx.doi.org/10.1007/978-3-319-17491-4</a><br/>Format:&#160;Electronic Resources<br/> Zhang Functions and Various Models ent://SD_ILS/0/SD_ILS:24821 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Zhang, Yunong. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47334-4">http://dx.doi.org/10.1007/978-3-662-47334-4</a><br/>Format:&#160;Electronic Resources<br/> Multidimensional Queueing Models in Telecommunication Networks ent://SD_ILS/0/SD_ILS:21216 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Melikov, Agassi. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08669-9">http://dx.doi.org/10.1007/978-3-319-08669-9</a><br/>Format:&#160;Electronic Resources<br/> Topological Signal Processing ent://SD_ILS/0/SD_ILS:23677 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Robinson, Michael. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-36104-3">http://dx.doi.org/10.1007/978-3-642-36104-3</a><br/>Format:&#160;Electronic Resources<br/> Information and Control in Networks ent://SD_ILS/0/SD_ILS:20176 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Como, Giacomo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-02150-8">http://dx.doi.org/10.1007/978-3-319-02150-8</a><br/>Format:&#160;Electronic Resources<br/> Storing and Transmitting Data Rudolf Ahlswede&rsquo;s Lectures on Information Theory 1 ent://SD_ILS/0/SD_ILS:20669 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Ahlswede, Rudolf. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05479-7">http://dx.doi.org/10.1007/978-3-319-05479-7</a><br/>Format:&#160;Electronic Resources<br/> Forward Error Correction Based On Algebraic-Geometric Theory ent://SD_ILS/0/SD_ILS:21154 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;A. Alzubi, Jafar. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08293-6">http://dx.doi.org/10.1007/978-3-319-08293-6</a><br/>Format:&#160;Electronic Resources<br/> Satellite Network Robust QoS-aware Routing ent://SD_ILS/0/SD_ILS:23987 2024-05-05T13:30:11Z 2024-05-05T13:30:11Z Yazar&#160;Long, Fei. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54353-1">http://dx.doi.org/10.1007/978-3-642-54353-1</a><br/>Format:&#160;Electronic Resources<br/>