Search Results for - Narrowed by: SpringerLink (Online service) - Springer E-Book Collection - Theory of Computation.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026ps$003d300$0026isd$003dtrue?2024-06-26T09:54:01ZApplied 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Managed Software Evolutionent://SD_ILS/0/SD_ILS:4282942024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Handbook of Memristor Networksent://SD_ILS/0/SD_ILS:4280032024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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 Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282092024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar Ö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/>Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4277322024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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 Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4276792024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285012024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281352024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Simplicity is Complex Foundations of Cyber-Physical System Designent://SD_ILS/0/SD_ILS:4288622024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Carl Adam Petri: Ideas, Personality, Impactent://SD_ILS/0/SD_ILS:4279092024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4279722024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4288992024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biographyent://SD_ILS/0/SD_ILS:4289172024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IVent://SD_ILS/0/SD_ILS:4285792024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part Vent://SD_ILS/0/SD_ILS:4285802024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Formal Methods An Appetizerent://SD_ILS/0/SD_ILS:4290132024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Transactions on Petri Nets and Other Models of Concurrency XIVent://SD_ILS/0/SD_ILS:4283872024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Modeling and Using Context 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20–22, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287872024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290672024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4290982024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Representation Theorems in Computer Science A Treatment in Logic Engineeringent://SD_ILS/0/SD_ILS:4290212024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar Ö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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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 Ient://SD_ILS/0/SD_ILS:4289492024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experimentsent://SD_ILS/0/SD_ILS:4284162024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4279882024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284702024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288352024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>AI 2019: Advances in Artificial Intelligence 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278172024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>An Introduction to Kolmogorov Complexity and Its Applicationsent://SD_ILS/0/SD_ILS:4278512024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Web Information Systems Engineering – WISE 2019 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedingsent://SD_ILS/0/SD_ILS:4280042024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276692024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Matterent://SD_ILS/0/SD_ILS:2225332024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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 Ient://SD_ILS/0/SD_ILS:2246832024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Handbook of Parallel Constraint Reasoningent://SD_ILS/0/SD_ILS:2227702024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2227512024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Transactions on Computational Collective Intelligence XXXent://SD_ILS/0/SD_ILS:2214592024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Scienceent://SD_ILS/0/SD_ILS:2215432024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2215492024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217832024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:2268882024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>An Introduction to Metaheuristics for Optimizationent://SD_ILS/0/SD_ILS:2218332024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Transactions on Petri Nets and Other Models of Concurrency XIIIent://SD_ILS/0/SD_ILS:2218342024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Hyper-Heuristics: Theory and Applicationsent://SD_ILS/0/SD_ILS:2211412024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Principles in Noisy Optimization Applied to Multi-agent Coordinationent://SD_ILS/0/SD_ILS:2216372024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Foraging-Inspired Optimisation Algorithmsent://SD_ILS/0/SD_ILS:2219952024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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 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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:2215592024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Transactions on Computational Science XXXIIIent://SD_ILS/0/SD_ILS:2219032024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2246472024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part IIIent://SD_ILS/0/SD_ILS:2255562024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238412024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:2235022024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Introduction to Learning Classifier Systemsent://SD_ILS/0/SD_ILS:2241702024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257682024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Models of Computationent://SD_ILS/0/SD_ILS:2263982024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:2225492024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreichent://SD_ILS/0/SD_ILS:2227532024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2267042024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Adventures in Computer Science From Classical Bits to Quantum Bitsent://SD_ILS/0/SD_ILS:2254682024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Modern Language Models and Computation Theory with Applicationsent://SD_ILS/0/SD_ILS:2251472024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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 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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:2262142024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>The Incomputable Journeys Beyond the Turing Barrierent://SD_ILS/0/SD_ILS:2216082024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2224702024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2212082024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Computational Intelligence for Network Structure Analyticsent://SD_ILS/0/SD_ILS:2242912024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Theory of Reversible Computingent://SD_ILS/0/SD_ILS:2259752024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:181972024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Encyclopedia of Algorithmsent://SD_ILS/0/SD_ILS:164642024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181292024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182082024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Evolutionary Computer Vision The First Footprintsent://SD_ILS/0/SD_ILS:185382024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:184252024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Self-aware Computing Systems An Engineering Approachent://SD_ILS/0/SD_ILS:180212024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Hybrid Metaheuristics Powerful Tools for Optimizationent://SD_ILS/0/SD_ILS:175692024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181492024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230182024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Natural Computing Algorithmsent://SD_ILS/0/SD_ILS:244072024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233052024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Introduction to Concurrency Theory Transition Systems and CCSent://SD_ILS/0/SD_ILS:231452024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Biomimetic and Biohybrid Systems 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232532024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233692024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Words and Graphsent://SD_ILS/0/SD_ILS:234902024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Constraint Solving and Planning with Picatent://SD_ILS/0/SD_ILS:234932024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236062024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Carl Adam Petri Life and Scienceent://SD_ILS/0/SD_ILS:248552024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Energy Time Series Forecasting Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domainent://SD_ILS/0/SD_ILS:243762024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Introduction to Evolutionary Computingent://SD_ILS/0/SD_ILS:245712024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Bridging Constraint Satisfaction and Boolean Satisfiabilityent://SD_ILS/0/SD_ILS:231642024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>The Foundations of Computability Theoryent://SD_ILS/0/SD_ILS:245602024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:231752024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>CryptoSchoolent://SD_ILS/0/SD_ILS:248712024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Petri Net Synthesisent://SD_ILS/0/SD_ILS:248452024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Graph and Model Transformation General Framework and Applicationsent://SD_ILS/0/SD_ILS:248472024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Memristor Networksent://SD_ILS/0/SD_ILS:202422024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:195272024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Augmented Marked Graphsent://SD_ILS/0/SD_ILS:208232024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210222024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30 – August 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213342024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communitiesent://SD_ILS/0/SD_ILS:216722024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Theory and Principled Methods for the Design of Metaheuristicsent://SD_ILS/0/SD_ILS:236582024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systemsent://SD_ILS/0/SD_ILS:242262024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Field-Coupled Nanocomputing Paradigms, Progress, and Perspectivesent://SD_ILS/0/SD_ILS:244142024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217572024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lecturesent://SD_ILS/0/SD_ILS:214462024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Discrete and Topological Models in Molecular Biologyent://SD_ILS/0/SD_ILS:238132024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Transactions on Computational Science XXIIent://SD_ILS/0/SD_ILS:239682024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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. 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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244742024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedingsent://SD_ILS/0/SD_ILS:211322024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Guided Self-Organization: Inceptionent://SD_ILS/0/SD_ILS:239232024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Transactions on Computational Science XXIII Special Issue on Cyberworldsent://SD_ILS/0/SD_ILS:244212024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Constructivity and Computability in Historical and Philosophical Perspectiveent://SD_ILS/0/SD_ILS:254572024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Genetic Programming Theory and Practice XIent://SD_ILS/0/SD_ILS:198602024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Pairing-Based Cryptography – Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:205592024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>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-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Open Problems in Mathematics and Computational Scienceent://SD_ILS/0/SD_ILS:215652024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>Regulated Grammars and Automataent://SD_ILS/0/SD_ILS:198582024-06-26T09:54:01Z2024-06-26T09:54:01ZYazar 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/>