Search Results for - Narrowed by: Information theory. - 2017-2019SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Information$002btheory.$002509Information$002btheory.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092017-2019$0025092017-2019$0026ic$003dtrue$0026ps$003d300?2024-06-01T05:36:35ZPublic-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4277782024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>E-Business and Telecommunications 15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26–28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4280022024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:4277392024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4277502024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4278202024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4283062024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:4279312024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284242024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Progress in Cryptology – LATINCRYPT 2019 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285242024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Discrete Energy on Rectifiable Setsent://SD_ILS/0/SD_ILS:4285262024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–5, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4280632024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276902024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Space Information Networks Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4280882024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4284902024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–3, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289142024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287192024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289322024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar Ć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: Electronic Resources<br/>E-Business and Telecommunications 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paperent://SD_ILS/0/SD_ILS:4284002024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Dependability in Sensor, Cloud, and Big Data Systems and Applications 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282162024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4280242024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>An Introduction to Kolmogorov Complexity and Its Applicationsent://SD_ILS/0/SD_ILS:4278512024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Channel Coding Techniques for Wireless Communicationsent://SD_ILS/0/SD_ILS:4285762024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4286442024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Locally Relevant ICT Research 10th International Development Informatics Association Conference, IDIA 2018, Tshwane, South Africa, August 23-24, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4292112024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289422024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–22, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4292512024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288762024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Passive and Active Measurement 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287412024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287602024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Information Security and Cryptology 14th International Conference, Inscrypt 2018, Fuzhou, China, December 14-17, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287782024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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, Proceedingsent://SD_ILS/0/SD_ILS:4288882024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4279132024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–3, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4283042024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283052024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Morphological Intelligence Measuring the Body’s Contribution to Intelligenceent://SD_ILS/0/SD_ILS:4280212024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284022024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:4279282024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Knowledge Discovery, Knowledge Engineering and Knowledge Management 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:4284382024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cyber Security: Principles, Techniques, and Applicationsent://SD_ILS/0/SD_ILS:4283982024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Asymptotic Nonparametric Statistical Analysis of Stationary Time Seriesent://SD_ILS/0/SD_ILS:4289092024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290992024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4289212024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4288252024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Information and Communication Technologies in Modern Agricultural Development 8th International Conference, HAICTA 2017, Chania, Crete, Greece, September 21–24, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287212024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–5, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4291492024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Digital Transformation and Global Society 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19–21, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291672024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288692024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–30, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291532024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4279932024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281422024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environmentent://SD_ILS/0/SD_ILS:4281472024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281522024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281542024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar Ekš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: Electronic Resources<br/>Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4280572024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Sustainable ICT, Education and Learning IFIP WG 3.4 International Conference, SUZA 2019, Zanzibar, Tanzania, April 25–27, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4280592024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:4287222024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4290402024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Code-Based Cryptography 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4290412024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Digital Forensics and Watermarking 17th International Workshop, IWDW 2018, Jeju Island, Korea, October 22-24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4289792024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Information Security and Cryptology – ICISC 2018 21st International Conference, Seoul, South Korea, November 28–30, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4281792024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Progress in Cryptology – INDOCRYPT 2019 20th International Conference on Cryptology in India, Hyderabad, India, December 15–18, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291832024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Cryptography with Shrinking Generators Fundamentals and Applications of Keystream Sequence Generators Based on Irregular Decimationent://SD_ILS/0/SD_ILS:4287932024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar Dí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: Electronic Resources<br/>Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281412024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285002024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4284222024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajjient://SD_ILS/0/SD_ILS:4279502024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>CyberParks – The Interface Between People, Places and Technology New Approaches and Perspectivesent://SD_ILS/0/SD_ILS:4285202024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–3, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4282502024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Massive MIMO Detection Algorithm and VLSI Architectureent://SD_ILS/0/SD_ILS:4283602024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Compressed Sensing and Its Applications Third International MATHEON Conference 2017ent://SD_ILS/0/SD_ILS:4286032024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282612024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Wired/Wireless Internet Communications 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17–18, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282632024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Smart Blockchain Second International Conference, SmartBlock 2019, Birmingham, UK, October 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4286172024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4285372024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4290332024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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, Proceedingsent://SD_ILS/0/SD_ILS:4286762024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217832024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency XIIIent://SD_ILS/0/SD_ILS:2218342024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2216642024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approachent://SD_ILS/0/SD_ILS:2218622024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 Ient://SD_ILS/0/SD_ILS:2215492024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papersent://SD_ILS/0/SD_ILS:2222632024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2216112024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>An Introduction to Metaheuristics for Optimizationent://SD_ILS/0/SD_ILS:2218332024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Principles in Noisy Optimization Applied to Multi-agent Coordinationent://SD_ILS/0/SD_ILS:2216372024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Transactions on Computational Science XXXIIIent://SD_ILS/0/SD_ILS:2219032024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 IVent://SD_ILS/0/SD_ILS:2215592024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Foraging-Inspired Optimisation Algorithmsent://SD_ILS/0/SD_ILS:2219952024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2228012024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:2217862024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217872024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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, Proceedingsent://SD_ILS/0/SD_ILS:2217032024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 IIIent://SD_ILS/0/SD_ILS:2215862024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Hyper-Heuristics: Theory and Applicationsent://SD_ILS/0/SD_ILS:2211412024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXXent://SD_ILS/0/SD_ILS:2214592024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approachesent://SD_ILS/0/SD_ILS:2214662024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2223752024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2214112024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Scienceent://SD_ILS/0/SD_ILS:2215432024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 IIent://SD_ILS/0/SD_ILS:2216022024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2227512024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Handbook of Parallel Constraint Reasoningent://SD_ILS/0/SD_ILS:2227702024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2222662024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar Bö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: 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 Papersent://SD_ILS/0/SD_ILS:2212022024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar González-Beltrá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: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224892024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2246832024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Computational Matterent://SD_ILS/0/SD_ILS:2225332024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:2220152024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2220072024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2246472024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2249302024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part IIIent://SD_ILS/0/SD_ILS:2255562024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Computational Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:2268882024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2224702024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2222502024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:2222512024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:2224292024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>The Incomputable Journeys Beyond the Turing Barrierent://SD_ILS/0/SD_ILS:2216082024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2226002024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreichent://SD_ILS/0/SD_ILS:2227532024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2212082024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Biomimetic and Biohybrid Systems 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26–28, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2220942024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2235942024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238412024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:2225492024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:2235022024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2236912024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar Dutra, Inê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: Electronic Resources<br/>The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2239822024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:2241172024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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, Proceedingsent://SD_ILS/0/SD_ILS:2239632024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Adventures in Computer Science From Classical Bits to Quantum Bitsent://SD_ILS/0/SD_ILS:2254682024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Introduction to Learning Classifier Systemsent://SD_ILS/0/SD_ILS:2241702024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2238292024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2258972024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Theory of Reversible Computingent://SD_ILS/0/SD_ILS:2259752024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2262212024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 Ient://SD_ILS/0/SD_ILS:2254202024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Modern Language Models and Computation Theory with Applicationsent://SD_ILS/0/SD_ILS:2251472024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:2262142024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2266852024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2265352024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2261592024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2264422024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2262702024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2260092024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2260322024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2264782024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2268582024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257682024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Models of Computationent://SD_ILS/0/SD_ILS:2263982024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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 IIent://SD_ILS/0/SD_ILS:2264032024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2261512024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2266552024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar Cuppens, Frédé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: Electronic Resources<br/>Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2267042024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: 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, Proceedingsent://SD_ILS/0/SD_ILS:2232392024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>Computational Intelligence for Network Structure Analyticsent://SD_ILS/0/SD_ILS:2242912024-06-01T05:36:35Z2024-06-01T05:36:35ZYazar 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: Electronic Resources<br/>