Search Results for - Narrowed by: Electronic Resources - Theory of Computation.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026qf$003dSUBJECT$002509Konu$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026ps$003d300$0026isd$003dtrue?2024-05-20T03:33:19ZApplied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4277032024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937<br/><a href="https://doi.org/10.1007/978-3-030-31019-6">https://doi.org/10.1007/978-3-030-31019-6</a><br/>Format: Electronic Resources<br/>Handbook of Memristor Networksent://SD_ILS/0/SD_ILS:4280032024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Chua, Leon. editor.<br/><a href="https://doi.org/10.1007/978-3-319-76375-0">https://doi.org/10.1007/978-3-319-76375-0</a><br/>Format: Electronic Resources<br/>Web Information Systems Engineering – WISE 2019 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedingsent://SD_ILS/0/SD_ILS:4280042024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Cheng, Reynold. editor. (orcid)0000-0002-9480-9809<br/><a href="https://doi.org/10.1007/978-3-030-34223-4">https://doi.org/10.1007/978-3-030-34223-4</a><br/>Format: Electronic Resources<br/>PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4282002024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570<br/><a href="https://doi.org/10.1007/978-3-030-29908-8">https://doi.org/10.1007/978-3-030-29908-8</a><br/>Format: Electronic Resources<br/>Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4276792024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Majumdar, Amit. editor.<br/><a href="https://doi.org/10.1007/978-981-13-7729-7">https://doi.org/10.1007/978-981-13-7729-7</a><br/>Format: Electronic Resources<br/>Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part Vent://SD_ILS/0/SD_ILS:4278382024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Jawahar, C.V. editor.<br/><a href="https://doi.org/10.1007/978-3-030-20873-8">https://doi.org/10.1007/978-3-030-20873-8</a><br/>Format: Electronic Resources<br/>Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4284062024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401<br/><a href="https://doi.org/10.1007/978-3-030-33617-2">https://doi.org/10.1007/978-3-030-33617-2</a><br/>Format: Electronic Resources<br/>Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284112024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176<br/><a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284342024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712<br/><a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287202024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Hammoudi, Slimane. editor.<br/><a href="https://doi.org/10.1007/978-3-030-11030-7">https://doi.org/10.1007/978-3-030-11030-7</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285542024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kaliszyk, Cezary. editor. (orcid)0000-0002-8273-6059<br/><a href="https://doi.org/10.1007/978-3-030-23250-4">https://doi.org/10.1007/978-3-030-23250-4</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4288992024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025<br/><a href="https://doi.org/10.1007/978-3-030-22744-9">https://doi.org/10.1007/978-3-030-22744-9</a><br/>Format: Electronic Resources<br/>Bio-inspired Information and Communication Technologies 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13–14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4279452024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Compagnoni, Adriana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-24202-2">https://doi.org/10.1007/978-3-030-24202-2</a><br/>Format: Electronic Resources<br/>Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4277322024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224<br/><a href="https://doi.org/10.1007/978-3-030-12018-4">https://doi.org/10.1007/978-3-030-12018-4</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282092024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Ölveczky, Peter Csaba. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276692024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887<br/><a href="https://doi.org/10.1007/978-3-030-21395-4">https://doi.org/10.1007/978-3-030-21395-4</a><br/>Format: Electronic Resources<br/>Innovations and Interdisciplinary Solutions for Underserved Areas Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14–15, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281152024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Bassioni, Ghada. editor.<br/><a href="https://doi.org/10.1007/978-3-030-34863-2">https://doi.org/10.1007/978-3-030-34863-2</a><br/>Format: Electronic Resources<br/>An Introduction to Kolmogorov Complexity and Its Applicationsent://SD_ILS/0/SD_ILS:4278512024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4282812024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Electronic Resources<br/>Formal Methods An Appetizerent://SD_ILS/0/SD_ILS:4290132024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Nielson, Flemming. author. (orcid)0000-0001-7362-6176<br/><a href="https://doi.org/10.1007/978-3-030-05156-3">https://doi.org/10.1007/978-3-030-05156-3</a><br/>Format: Electronic Resources<br/>Representation Theorems in Computer Science A Treatment in Logic Engineeringent://SD_ILS/0/SD_ILS:4290212024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Özçep, Özgür Lütfü. author.<br/><a href="https://doi.org/10.1007/978-3-030-25785-9">https://doi.org/10.1007/978-3-030-25785-9</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287292024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Duan, Zhenhua. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency XIVent://SD_ILS/0/SD_ILS:4283872024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Koutny, Maciej. editor.<br/><a href="https://doi.org/10.1007/978-3-662-60651-3">https://doi.org/10.1007/978-3-662-60651-3</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part Vent://SD_ILS/0/SD_ILS:4285802024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025<br/><a href="https://doi.org/10.1007/978-3-030-22750-0">https://doi.org/10.1007/978-3-030-22750-0</a><br/>Format: Electronic Resources<br/>Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290672024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430<br/><a href="https://doi.org/10.1007/978-3-030-33778-0">https://doi.org/10.1007/978-3-030-33778-0</a><br/>Format: Electronic Resources<br/>Natural Language Processing and Information Systems 24th International Conference on Applications of Natural Language to Information Systems, NLDB 2019, Salford, UK, June 26–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291212024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Métais, Elisabeth. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23281-8">https://doi.org/10.1007/978-3-030-23281-8</a><br/>Format: Electronic Resources<br/>Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4276452024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401<br/><a href="https://doi.org/10.1007/978-3-030-33607-3">https://doi.org/10.1007/978-3-030-33607-3</a><br/>Format: Electronic Resources<br/>Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papersent://SD_ILS/0/SD_ILS:4276472024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810<br/><a href="https://doi.org/10.1007/978-3-030-36537-0">https://doi.org/10.1007/978-3-030-36537-0</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276482024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Caires, Luís. editor. (orcid)0000-0002-3215-6734<br/><a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283132024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X<br/><a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format: Electronic Resources<br/>Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experimentsent://SD_ILS/0/SD_ILS:4284162024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Lorig, Fabian. author.<br/><a href="https://doi.org/10.1007/978-3-658-27588-4">https://doi.org/10.1007/978-3-658-27588-4</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285012024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Badger, Julia M. editor.<br/><a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Carl Adam Petri: Ideas, Personality, Impactent://SD_ILS/0/SD_ILS:4279092024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Reisig, Wolfgang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96154-5">https://doi.org/10.1007/978-3-319-96154-5</a><br/>Format: Electronic Resources<br/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288352024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750<br/><a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4288492024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613<br/><a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IVent://SD_ILS/0/SD_ILS:4285792024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025<br/><a href="https://doi.org/10.1007/978-3-030-22747-0">https://doi.org/10.1007/978-3-030-22747-0</a><br/>Format: Electronic Resources<br/>Advances and Trends in Artificial Intelligence. From Theory to Practice 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285922024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Wotawa, Franz. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22999-3">https://doi.org/10.1007/978-3-030-22999-3</a><br/>Format: Electronic Resources<br/>Simplicity is Complex Foundations of Cyber-Physical System Designent://SD_ILS/0/SD_ILS:4288622024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kopetz, Hermann. author.<br/><a href="https://doi.org/10.1007/978-3-030-20411-2">https://doi.org/10.1007/978-3-030-20411-2</a><br/>Format: Electronic Resources<br/>Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4290982024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Hinze, Thomas. editor.<br/><a href="https://doi.org/10.1007/978-3-030-12797-8">https://doi.org/10.1007/978-3-030-12797-8</a><br/>Format: Electronic Resources<br/>AI 2019: Advances in Artificial Intelligence 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278172024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Liu, Jixue. editor.<br/><a href="https://doi.org/10.1007/978-3-030-35288-2">https://doi.org/10.1007/978-3-030-35288-2</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281352024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555<br/><a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284322024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Doucet, Antoine. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30760-8">https://doi.org/10.1007/978-3-030-30760-8</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283322024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Larsen, Kim Guldstrand. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4289492024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025<br/><a href="https://doi.org/10.1007/978-3-030-22734-0">https://doi.org/10.1007/978-3-030-22734-0</a><br/>Format: Electronic Resources<br/>Big Data – BigData 2019 8th International Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289732024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Chen, Keke. editor. (orcid)0000-0002-9996-156X<br/><a href="https://doi.org/10.1007/978-3-030-23551-2">https://doi.org/10.1007/978-3-030-23551-2</a><br/>Format: Electronic Resources<br/>Intelligent Computing Theories and Application 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4290722024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Huang, De-Shuang. editor.<br/><a href="https://doi.org/10.1007/978-3-030-26969-2">https://doi.org/10.1007/978-3-030-26969-2</a><br/>Format: Electronic Resources<br/>Managed Software Evolutionent://SD_ILS/0/SD_ILS:4282942024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Reussner, Ralf. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13499-0">https://doi.org/10.1007/978-3-030-13499-0</a><br/>Format: Electronic Resources<br/>Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282962024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233<br/><a href="https://doi.org/10.1007/978-3-030-33223-5">https://doi.org/10.1007/978-3-030-33223-5</a><br/>Format: Electronic Resources<br/>Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4279722024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234<br/><a href="https://doi.org/10.1007/978-3-030-33274-7">https://doi.org/10.1007/978-3-030-33274-7</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284702024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Alferes, José Júlio. editor.<br/><a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Electronic Resources<br/>Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4285772024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Zhu, Xiaoyan. editor.<br/><a href="https://doi.org/10.1007/978-981-15-1956-7">https://doi.org/10.1007/978-981-15-1956-7</a><br/>Format: Electronic Resources<br/>Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biographyent://SD_ILS/0/SD_ILS:4289172024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Paakki, Jukka. author.<br/><a href="https://doi.org/10.1007/978-3-030-16049-4">https://doi.org/10.1007/978-3-030-16049-4</a><br/>Format: Electronic Resources<br/>Modeling and Using Context 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20–22, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287872024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Bella, Gábor. editor. (orcid)0000-0002-3868-1740<br/><a href="https://doi.org/10.1007/978-3-030-34974-5">https://doi.org/10.1007/978-3-030-34974-5</a><br/>Format: Electronic Resources<br/>The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:4292552024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Alvim, Mário S. editor.<br/><a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format: Electronic Resources<br/>New Frontiers in Artificial Intelligence JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291512024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kojima, Kazuhiro. editor.<br/><a href="https://doi.org/10.1007/978-3-030-31605-1">https://doi.org/10.1007/978-3-030-31605-1</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4279882024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025<br/><a href="https://doi.org/10.1007/978-3-030-22741-8">https://doi.org/10.1007/978-3-030-22741-8</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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part IIIent://SD_ILS/0/SD_ILS:2255562024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2246472024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Transactions on Petri Nets and Other Models of Concurrency XIIIent://SD_ILS/0/SD_ILS:2218342024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approachesent://SD_ILS/0/SD_ILS:2214662024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217832024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Foraging-Inspired Optimisation Algorithmsent://SD_ILS/0/SD_ILS:2219952024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Hyper-Heuristics: Theory and Applicationsent://SD_ILS/0/SD_ILS:2211412024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217872024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Scienceent://SD_ILS/0/SD_ILS:2215432024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Principles in Noisy Optimization Applied to Multi-agent Coordinationent://SD_ILS/0/SD_ILS:2216372024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2227512024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Transactions on Computational Science XXXIIIent://SD_ILS/0/SD_ILS:2219032024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2246832024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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 Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:2268882024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224892024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approachent://SD_ILS/0/SD_ILS:2218622024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Transactions on Computational Collective Intelligence XXXent://SD_ILS/0/SD_ILS:2214592024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Handbook of Parallel Constraint Reasoningent://SD_ILS/0/SD_ILS:2227702024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>An Introduction to Metaheuristics for Optimizationent://SD_ILS/0/SD_ILS:2218332024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Computational Matterent://SD_ILS/0/SD_ILS:2225332024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238412024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2267042024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Theory of Reversible Computingent://SD_ILS/0/SD_ILS:2259752024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2258972024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Adventures in Computer Science From Classical Bits to Quantum Bitsent://SD_ILS/0/SD_ILS:2254682024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257682024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2262702024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Modern Language Models and Computation Theory with Applicationsent://SD_ILS/0/SD_ILS:2251472024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2261592024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>The Incomputable Journeys Beyond the Turing Barrierent://SD_ILS/0/SD_ILS:2216082024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2212082024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:2225492024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2235942024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Computational Intelligence for Network Structure Analyticsent://SD_ILS/0/SD_ILS:2242912024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Introduction to Learning Classifier Systemsent://SD_ILS/0/SD_ILS:2241702024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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 of Computationent://SD_ILS/0/SD_ILS:2263982024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreichent://SD_ILS/0/SD_ILS:2227532024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:2235022024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2238292024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2224702024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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 Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2239822024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:2262142024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2262212024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>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-05-20T03:33:19Z2024-05-20T03:33:19ZYazar 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/>Encyclopedia of Algorithmsent://SD_ILS/0/SD_ILS:164642024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kao, Ming-Yang. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4939-2864-4">http://dx.doi.org/10.1007/978-1-4939-2864-4</a><br/>Format: Electronic Resources<br/>Hybrid Metaheuristics Powerful Tools for Optimizationent://SD_ILS/0/SD_ILS:175692024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Blum, Christian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30883-8">http://dx.doi.org/10.1007/978-3-319-30883-8</a><br/>Format: Electronic Resources<br/>Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:179932024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Cazenave, Tristan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39402-2">http://dx.doi.org/10.1007/978-3-319-39402-2</a><br/>Format: Electronic Resources<br/>Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182082024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Lepora, Nathan F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42417-0">http://dx.doi.org/10.1007/978-3-319-42417-0</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181292024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Creignou, Nadia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40970-2">http://dx.doi.org/10.1007/978-3-319-40970-2</a><br/>Format: Electronic Resources<br/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:181972024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Alexandru, Andrei. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42282-4">http://dx.doi.org/10.1007/978-3-319-42282-4</a><br/>Format: Electronic Resources<br/>Topics in Grammatical Inferenceent://SD_ILS/0/SD_ILS:185902024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Heinz, Jeffrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48395-4">http://dx.doi.org/10.1007/978-3-662-48395-4</a><br/>Format: Electronic Resources<br/>Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedingsent://SD_ILS/0/SD_ILS:180062024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Manulis, Mark. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39555-5">http://dx.doi.org/10.1007/978-3-319-39555-5</a><br/>Format: Electronic Resources<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:184252024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Soare, Robert I. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-31933-4">http://dx.doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Electronic Resources<br/>Evolutionary Computer Vision The First Footprintsent://SD_ILS/0/SD_ILS:185382024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Olague, Gustavo. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43693-6">http://dx.doi.org/10.1007/978-3-662-43693-6</a><br/>Format: Electronic Resources<br/>High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181492024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kunkel, Julian M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41321-1">http://dx.doi.org/10.1007/978-3-319-41321-1</a><br/>Format: Electronic Resources<br/>Self-aware Computing Systems An Engineering Approachent://SD_ILS/0/SD_ILS:180212024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Lewis, Peter R. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39675-0">http://dx.doi.org/10.1007/978-3-319-39675-0</a><br/>Format: Electronic Resources<br/>Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:177762024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Rossi, Federico. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32695-5">http://dx.doi.org/10.1007/978-3-319-32695-5</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233612024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Heule, Marijn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24318-4">http://dx.doi.org/10.1007/978-3-319-24318-4</a><br/>Format: Electronic Resources<br/>High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230182024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kunkel, Julian M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20119-1">http://dx.doi.org/10.1007/978-3-319-20119-1</a><br/>Format: Electronic Resources<br/>Applied Cryptography and Network Security 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236142024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Malkin, Tal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28166-7">http://dx.doi.org/10.1007/978-3-319-28166-7</a><br/>Format: Electronic Resources<br/>Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236212024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Black, Elizabeth. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28460-6">http://dx.doi.org/10.1007/978-3-319-28460-6</a><br/>Format: Electronic Resources<br/>The Foundations of Computability Theoryent://SD_ILS/0/SD_ILS:245602024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Robič, Borut. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44808-3">http://dx.doi.org/10.1007/978-3-662-44808-3</a><br/>Format: Electronic Resources<br/>Carl Adam Petri Life and Scienceent://SD_ILS/0/SD_ILS:248552024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Smith, Einar. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48093-9">http://dx.doi.org/10.1007/978-3-662-48093-9</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:248872024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Iwata, Tetsu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48800-3">http://dx.doi.org/10.1007/978-3-662-48800-3</a><br/>Format: Electronic Resources<br/>Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236062024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Duval, Béatrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27947-3">http://dx.doi.org/10.1007/978-3-319-27947-3</a><br/>Format: Electronic Resources<br/>Advances in Cryptology -- ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:248862024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Iwata, Tetsu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48797-6">http://dx.doi.org/10.1007/978-3-662-48797-6</a><br/>Format: Electronic Resources<br/>Biomimetic and Biohybrid Systems 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232532024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Wilson, Stuart P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22979-9">http://dx.doi.org/10.1007/978-3-319-22979-9</a><br/>Format: Electronic Resources<br/>Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231652024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Calude, Cristian S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21819-9">http://dx.doi.org/10.1007/978-3-319-21819-9</a><br/>Format: Electronic Resources<br/>Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:231752024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Roubtsova, Ella. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21912-7">http://dx.doi.org/10.1007/978-3-319-21912-7</a><br/>Format: Electronic Resources<br/>Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233052024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Manea, Florin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23660-5">http://dx.doi.org/10.1007/978-3-319-23660-5</a><br/>Format: Electronic Resources<br/>Introduction to Concurrency Theory Transition Systems and CCSent://SD_ILS/0/SD_ILS:231452024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Gorrieri, Roberto. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21491-7">http://dx.doi.org/10.1007/978-3-319-21491-7</a><br/>Format: Electronic Resources<br/>Energy Time Series Forecasting Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domainent://SD_ILS/0/SD_ILS:243762024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Dannecker, Lars. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-11039-0">http://dx.doi.org/10.1007/978-3-658-11039-0</a><br/>Format: Electronic Resources<br/>Natural Computing Algorithmsent://SD_ILS/0/SD_ILS:244072024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Brabazon, Anthony. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43631-8">http://dx.doi.org/10.1007/978-3-662-43631-8</a><br/>Format: Electronic Resources<br/>Introduction to Evolutionary Computingent://SD_ILS/0/SD_ILS:245712024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Eiben, A.E. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44874-8">http://dx.doi.org/10.1007/978-3-662-44874-8</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226732024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Daydé, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17353-5">http://dx.doi.org/10.1007/978-3-319-17353-5</a><br/>Format: Electronic Resources<br/>Bridging Constraint Satisfaction and Boolean Satisfiabilityent://SD_ILS/0/SD_ILS:231642024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Petke, Justyna. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21810-6">http://dx.doi.org/10.1007/978-3-319-21810-6</a><br/>Format: Electronic Resources<br/>Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233692024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Chaudhuri, Kamalika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24486-0">http://dx.doi.org/10.1007/978-3-319-24486-0</a><br/>Format: Electronic Resources<br/>Quantum Computational Number Theoryent://SD_ILS/0/SD_ILS:234882024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Yan, Song Y. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25823-2">http://dx.doi.org/10.1007/978-3-319-25823-2</a><br/>Format: Electronic Resources<br/>Constraint Solving and Planning with Picatent://SD_ILS/0/SD_ILS:234932024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Zhou, Neng-Fa. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25883-6">http://dx.doi.org/10.1007/978-3-319-25883-6</a><br/>Format: Electronic Resources<br/>CryptoSchoolent://SD_ILS/0/SD_ILS:248712024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar von zur Gathen, Joachim. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48425-8">http://dx.doi.org/10.1007/978-3-662-48425-8</a><br/>Format: Electronic Resources<br/>Words and Graphsent://SD_ILS/0/SD_ILS:234902024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kitaev, Sergey. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25859-1">http://dx.doi.org/10.1007/978-3-319-25859-1</a><br/>Format: Electronic Resources<br/>Graph and Model Transformation General Framework and Applicationsent://SD_ILS/0/SD_ILS:248472024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Ehrig, Hartmut. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47980-3">http://dx.doi.org/10.1007/978-3-662-47980-3</a><br/>Format: Electronic Resources<br/>Higher-Order Computabilityent://SD_ILS/0/SD_ILS:248492024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Longley, John. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47992-6">http://dx.doi.org/10.1007/978-3-662-47992-6</a><br/>Format: Electronic Resources<br/>Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:223732024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Vinh, Phan Cong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15392-6">http://dx.doi.org/10.1007/978-3-319-15392-6</a><br/>Format: Electronic Resources<br/>Petri Net Synthesisent://SD_ILS/0/SD_ILS:248452024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Badouel, Eric. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47967-4">http://dx.doi.org/10.1007/978-3-662-47967-4</a><br/>Format: Electronic Resources<br/>Open Problems in Mathematics and Computational Scienceent://SD_ILS/0/SD_ILS:215652024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Koç, Çetin Kaya. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10683-0">http://dx.doi.org/10.1007/978-3-319-10683-0</a><br/>Format: Electronic Resources<br/>Language, Culture, Computation. Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part Ient://SD_ILS/0/SD_ILS:239052024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45321-2">http://dx.doi.org/10.1007/978-3-642-45321-2</a><br/>Format: Electronic Resources<br/>Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part IIIent://SD_ILS/0/SD_ILS:239072024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45327-4">http://dx.doi.org/10.1007/978-3-642-45327-4</a><br/>Format: Electronic Resources<br/>Field-Coupled Nanocomputing Paradigms, Progress, and Perspectivesent://SD_ILS/0/SD_ILS:244142024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Anderson, Neal G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43722-3">http://dx.doi.org/10.1007/978-3-662-43722-3</a><br/>Format: Electronic Resources<br/>Pairing-Based Cryptography – Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:205592024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Cao, Zhenfu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04873-4">http://dx.doi.org/10.1007/978-3-319-04873-4</a><br/>Format: Electronic Resources<br/>Augmented Marked Graphsent://SD_ILS/0/SD_ILS:208232024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Cheung, King Sing. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06428-4">http://dx.doi.org/10.1007/978-3-319-06428-4</a><br/>Format: Electronic Resources<br/>Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:217472024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Das, Vinu V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11629-7">http://dx.doi.org/10.1007/978-3-319-11629-7</a><br/>Format: Electronic Resources<br/>Theory and Principled Methods for the Design of Metaheuristicsent://SD_ILS/0/SD_ILS:236582024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Borenstein, Yossi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-33206-7">http://dx.doi.org/10.1007/978-3-642-33206-7</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXIIent://SD_ILS/0/SD_ILS:239682024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54212-1">http://dx.doi.org/10.1007/978-3-642-54212-1</a><br/>Format: Electronic Resources<br/>Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lecturesent://SD_ILS/0/SD_ILS:214462024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Aldini, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10082-1">http://dx.doi.org/10.1007/978-3-319-10082-1</a><br/>Format: Electronic Resources<br/>Language, Culture, Computation. Computing of the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part IIent://SD_ILS/0/SD_ILS:239062024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45324-3">http://dx.doi.org/10.1007/978-3-642-45324-3</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXIII Special Issue on Cyberworldsent://SD_ILS/0/SD_ILS:244212024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43790-2">http://dx.doi.org/10.1007/978-3-662-43790-2</a><br/>Format: Electronic Resources<br/>Guided Self-Organization: Inceptionent://SD_ILS/0/SD_ILS:239232024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Prokopenko, Mikhail. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-53734-9">http://dx.doi.org/10.1007/978-3-642-53734-9</a><br/>Format: Electronic Resources<br/>Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systemsent://SD_ILS/0/SD_ILS:242262024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Wagner, Christian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-05270-6">http://dx.doi.org/10.1007/978-3-658-05270-6</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part Ient://SD_ILS/0/SD_ILS:246542024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Sarkar, Palash. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45611-8">http://dx.doi.org/10.1007/978-3-662-45611-8</a><br/>Format: Electronic Resources<br/>Discrete and Topological Models in Molecular Biologyent://SD_ILS/0/SD_ILS:238132024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Jonoska, Nataša. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-40193-0">http://dx.doi.org/10.1007/978-3-642-40193-0</a><br/>Format: Electronic Resources<br/>Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communitiesent://SD_ILS/0/SD_ILS:216722024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kacsuk, Péter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11268-8">http://dx.doi.org/10.1007/978-3-319-11268-8</a><br/>Format: Electronic Resources<br/>Constructivity and Computability in Historical and Philosophical Perspectiveent://SD_ILS/0/SD_ILS:254572024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Dubucs, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-94-017-9217-2">http://dx.doi.org/10.1007/978-94-017-9217-2</a><br/>Format: Electronic Resources<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:195272024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Fernández, Maribel. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6368-8">http://dx.doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30 – August 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213342024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Duff, Armin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09435-9">http://dx.doi.org/10.1007/978-3-319-09435-9</a><br/>Format: Electronic Resources<br/>Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedingsent://SD_ILS/0/SD_ILS:211322024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Ibarra, Oscar H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08123-6">http://dx.doi.org/10.1007/978-3-319-08123-6</a><br/>Format: Electronic Resources<br/>Regulated Grammars and Automataent://SD_ILS/0/SD_ILS:198582024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Meduna, Alexander. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4939-0369-6">http://dx.doi.org/10.1007/978-1-4939-0369-6</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice XIent://SD_ILS/0/SD_ILS:198602024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4939-0375-7">http://dx.doi.org/10.1007/978-1-4939-0375-7</a><br/>Format: Electronic Resources<br/>Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:206612024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Cazenave, Tristan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05428-5">http://dx.doi.org/10.1007/978-3-319-05428-5</a><br/>Format: Electronic Resources<br/>Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210222024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Kunkel, Julian Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07518-1">http://dx.doi.org/10.1007/978-3-319-07518-1</a><br/>Format: Electronic Resources<br/>Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210272024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Boureanu, Ioana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07536-5">http://dx.doi.org/10.1007/978-3-319-07536-5</a><br/>Format: Electronic Resources<br/>Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:223012024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Cazenave, Tristan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14923-3">http://dx.doi.org/10.1007/978-3-319-14923-3</a><br/>Format: Electronic Resources<br/>Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papersent://SD_ILS/0/SD_ILS:239922024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Black, Elizabeth. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54373-9">http://dx.doi.org/10.1007/978-3-642-54373-9</a><br/>Format: Electronic Resources<br/>Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:240022024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Bacon, Dave. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54429-3">http://dx.doi.org/10.1007/978-3-642-54429-3</a><br/>Format: Electronic Resources<br/>Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207712024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Gopal, T. V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06089-7">http://dx.doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Electronic Resources<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:209752024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07317-0">http://dx.doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:212572024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Hanus, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08909-6">http://dx.doi.org/10.1007/978-3-319-08909-6</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213162024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Sinz, Carsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09284-3">http://dx.doi.org/10.1007/978-3-319-09284-3</a><br/>Format: Electronic Resources<br/>Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217572024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Auer, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11662-4">http://dx.doi.org/10.1007/978-3-319-11662-4</a><br/>Format: Electronic Resources<br/>Memristor Networksent://SD_ILS/0/SD_ILS:202422024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Adamatzky, Andrew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-02630-5">http://dx.doi.org/10.1007/978-3-319-02630-5</a><br/>Format: Electronic Resources<br/>Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244742024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Hong, Hoon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44199-2">http://dx.doi.org/10.1007/978-3-662-44199-2</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:246532024-05-20T03:33:19Z2024-05-20T03:33:19ZYazar Sarkar, Palash. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45608-8">http://dx.doi.org/10.1007/978-3-662-45608-8</a><br/>Format: Electronic Resources<br/>