Search Results for - Narrowed by: Springer E-Book Collection - TEDU library - Computation by Abstract Devices.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ATEDU$002509TEDU$002blibrary$0026qf$003dSUBJECT$002509Konu$002509Computation$002bby$002bAbstract$002bDevices.$002509Computation$002bby$002bAbstract$002bDevices.$0026ps$003d300?2024-05-14T19:51:16ZA Primer on Quantum Computingent://SD_ILS/0/SD_ILS:4278852024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar de Lima Marquezino, Franklin. author.<br/><a href="https://doi.org/10.1007/978-3-030-19066-8">https://doi.org/10.1007/978-3-030-19066-8</a><br/>Format: Electronic Resources<br/>Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4290892024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ferrández Vicente, José Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-030-19591-5">https://doi.org/10.1007/978-3-030-19591-5</a><br/>Format: Electronic Resources<br/>From Bioinspired Systems and Biomedical Applications to Machine Learning 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4288892024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ferrández Vicente, José Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-030-19651-6">https://doi.org/10.1007/978-3-030-19651-6</a><br/>Format: Electronic Resources<br/>Exploring the DataFlow Supercomputing Paradigm Example Algorithms for Selected Applicationsent://SD_ILS/0/SD_ILS:4282932024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Milutinovic, Veljko. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13803-5">https://doi.org/10.1007/978-3-030-13803-5</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289842024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699<br/><a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format: Electronic Resources<br/>Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4278162024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159<br/><a href="https://doi.org/10.1007/978-3-030-34869-4">https://doi.org/10.1007/978-3-030-34869-4</a><br/>Format: Electronic Resources<br/>Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4280152024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Coecke, Bob. editor. (orcid)0000-0002-5310-8723<br/><a href="https://doi.org/10.1007/978-3-030-35895-2">https://doi.org/10.1007/978-3-030-35895-2</a><br/>Format: Electronic Resources<br/>Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4286772024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159<br/><a href="https://doi.org/10.1007/978-3-030-34872-4">https://doi.org/10.1007/978-3-030-34872-4</a><br/>Format: Electronic Resources<br/>DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2220272024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Doty, David. editor. (orcid)0000-0002-3922-172X<br/><a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2227762024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format: Electronic Resources<br/>Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:2227902024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Graciani, Carmen. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00265-7">https://doi.org/10.1007/978-3-030-00265-7</a><br/>Format: Electronic Resources<br/>Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2237862024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888<br/><a href="https://doi.org/10.1007/978-3-319-91587-6">https://doi.org/10.1007/978-3-319-91587-6</a><br/>Format: Electronic Resources<br/>A New Kind of Computational Biology Cellular Automata Based Models for Genomics and Proteomicsent://SD_ILS/0/SD_ILS:2219982024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Pal Chaudhuri, Parimal. author.<br/><a href="https://doi.org/10.1007/978-981-13-1639-5">https://doi.org/10.1007/978-981-13-1639-5</a><br/>Format: Electronic Resources<br/>Higher Education Computer Science A Manual of Practical Approachesent://SD_ILS/0/SD_ILS:2219852024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Carter, Jenny. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98590-9">https://doi.org/10.1007/978-3-319-98590-9</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2246952024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Baetens, Jan M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92675-9">https://doi.org/10.1007/978-3-319-92675-9</a><br/>Format: Electronic Resources<br/>Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2252252024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Chen, Jianer. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78455-7">https://doi.org/10.1007/978-3-319-78455-7</a><br/>Format: Electronic Resources<br/>DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2239012024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Brijder, Robert. editor. (orcid)0000-0002-8912-1735<br/><a href="https://doi.org/10.1007/978-3-319-66799-7">https://doi.org/10.1007/978-3-319-66799-7</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2237612024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842<br/><a href="https://doi.org/10.1007/978-3-319-60252-3">https://doi.org/10.1007/978-3-319-60252-3</a><br/>Format: Electronic Resources<br/>Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2246042024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Klasing, Ralf. editor.<br/><a href="https://doi.org/10.1007/978-3-662-55751-8">https://doi.org/10.1007/978-3-662-55751-8</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2237582024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Legay, Axel. editor.<br/><a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2239312024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Leporati, Alberto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54072-6">https://doi.org/10.1007/978-3-319-54072-6</a><br/>Format: Electronic Resources<br/>Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2233372024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kang, U. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67274-8">https://doi.org/10.1007/978-3-319-67274-8</a><br/>Format: Electronic Resources<br/>Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2222102024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Chrobak, Marek. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53058-1">https://doi.org/10.1007/978-3-319-53058-1</a><br/>Format: Electronic Resources<br/>Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2220612024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ferrández Vicente, José Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-59773-7">https://doi.org/10.1007/978-3-319-59773-7</a><br/>Format: Electronic Resources<br/>Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2230982024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kari, Jarkko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58741-7">https://doi.org/10.1007/978-3-319-58741-7</a><br/>Format: Electronic Resources<br/>Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2237602024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ferrández Vicente, José Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-59740-9">https://doi.org/10.1007/978-3-319-59740-9</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 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:2241992024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Yang, Hongseok. editor.<br/><a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2259782024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Di Napoli, Edoardo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53862-4">https://doi.org/10.1007/978-3-319-53862-4</a><br/>Format: Electronic Resources<br/>Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2256322024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Winands, Mark H.M. . editor.<br/><a href="https://doi.org/10.1007/978-3-319-71649-7">https://doi.org/10.1007/978-3-319-71649-7</a><br/>Format: Electronic Resources<br/>Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2258952024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Camelin, Nathalie. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68456-7">https://doi.org/10.1007/978-3-319-68456-7</a><br/>Format: Electronic Resources<br/>Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2266182024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hague, Matthew. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Electronic Resources<br/>Smart Computing and Communication First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:2216782024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Qiu, Meikang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-52015-5">https://doi.org/10.1007/978-3-319-52015-5</a><br/>Format: Electronic Resources<br/>Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2216522024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, De-Shuang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63312-1">https://doi.org/10.1007/978-3-319-63312-1</a><br/>Format: Electronic Resources<br/>Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2224012024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar McDermott, James. editor.<br/><a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format: Electronic Resources<br/>Artificial Life and Computational Intelligence Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 – February 2, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2240202024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Wagner, Markus. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51691-2">https://doi.org/10.1007/978-3-319-51691-2</a><br/>Format: Electronic Resources<br/>Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2223822024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Shi, Yuhui. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68759-9">https://doi.org/10.1007/978-3-319-68759-9</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2223882024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Scale Space and Variational Methods in Computer Vision 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238892024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Lauze, François. editor. (orcid)0000-0003-2503-6475<br/><a href="https://doi.org/10.1007/978-3-319-58771-4">https://doi.org/10.1007/978-3-319-58771-4</a><br/>Format: Electronic Resources<br/>Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238912024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hu, Bin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-55453-2">https://doi.org/10.1007/978-3-319-55453-2</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2210572024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Legay, Axel. editor.<br/><a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 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:2223112024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Esparza, Javier. editor.<br/><a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2213272024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Joye, Marc. editor.<br/><a href="https://doi.org/10.1007/978-3-319-57339-7">https://doi.org/10.1007/978-3-319-57339-7</a><br/>Format: Electronic Resources<br/>Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2238552024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, De-Shuang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63309-1">https://doi.org/10.1007/978-3-319-63309-1</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253972024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Drewes, Frank. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2252612024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Knoop, Jens. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54999-6">https://doi.org/10.1007/978-3-319-54999-6</a><br/>Format: Electronic Resources<br/>Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2257922024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Day, Adam. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Electronic Resources<br/>Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257322024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794<br/><a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format: Electronic Resources<br/>Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2259382024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999<br/><a href="https://doi.org/10.1007/978-3-319-57285-7">https://doi.org/10.1007/978-3-319-57285-7</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2249832024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bouajjani, Ahmed. editor.<br/><a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Intelligent Data Engineering and Automated Learning – IDEAL 2017 18th International Conference, Guilin, China, October 30 – November 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2254092024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401<br/><a href="https://doi.org/10.1007/978-3-319-68935-7">https://doi.org/10.1007/978-3-319-68935-7</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXVIIent://SD_ILS/0/SD_ILS:2254522024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Mercik, Jacek. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format: Electronic Resources<br/>Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2259102024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603<br/><a href="https://doi.org/10.1007/978-3-319-69404-7">https://doi.org/10.1007/978-3-319-69404-7</a><br/>Format: Electronic Resources<br/>Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2238232024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar de Barros, Jose Acacio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-52289-0">https://doi.org/10.1007/978-3-319-52289-0</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2245202024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X<br/><a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Electronic Resources<br/>Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2243582024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-319-52228-9">https://doi.org/10.1007/978-3-319-52228-9</a><br/>Format: Electronic Resources<br/>Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17–20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257692024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar R. Devanur, Nikhil. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71924-5">https://doi.org/10.1007/978-3-319-71924-5</a><br/>Format: Electronic Resources<br/>Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2258842024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nardin, Luis Gustavo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67477-3">https://doi.org/10.1007/978-3-319-67477-3</a><br/>Format: Electronic Resources<br/>Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19–21, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2258332024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Petrosino, Alfredo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-52962-2">https://doi.org/10.1007/978-3-319-52962-2</a><br/>Format: Electronic Resources<br/>Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2261392024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000<br/><a href="https://doi.org/10.1007/978-3-319-71069-3">https://doi.org/10.1007/978-3-319-71069-3</a><br/>Format: Electronic Resources<br/>Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2266462024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260<br/><a href="https://doi.org/10.1007/978-3-319-67834-4">https://doi.org/10.1007/978-3-319-67834-4</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253562024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bertrand, Nathalie. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:173712024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29510-7">http://dx.doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:172722024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hajiaghayi, Mohammad Taghi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28678-5">http://dx.doi.org/10.1007/978-3-319-28678-5</a><br/>Format: Electronic Resources<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:165252024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Fajstrup, Lisbeth. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15398-8">http://dx.doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Electronic Resources<br/>Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180652024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Beckmann, Arnold. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40189-8">http://dx.doi.org/10.1007/978-3-319-40189-8</a><br/>Format: Electronic Resources<br/>Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:182692024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Angelini, Claudia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44332-4">http://dx.doi.org/10.1007/978-3-319-44332-4</a><br/>Format: Electronic Resources<br/>Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182722024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar El Yacoubi, Samira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44365-2">http://dx.doi.org/10.1007/978-3-319-44365-2</a><br/>Format: Electronic Resources<br/>Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:181992024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42291-6">http://dx.doi.org/10.1007/978-3-319-42291-6</a><br/>Format: Electronic Resources<br/>Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181112024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Devitt, Simon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40578-0">http://dx.doi.org/10.1007/978-3-319-40578-0</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181282024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Han, Yo-Sub. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40946-7">http://dx.doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181482024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Amos, Martyn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41312-9">http://dx.doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Electronic Resources<br/>Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184152024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Sarro, Federica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47106-8">http://dx.doi.org/10.1007/978-3-319-47106-8</a><br/>Format: Electronic Resources<br/>Rough Sets International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184172024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Flores, Víctor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47160-0">http://dx.doi.org/10.1007/978-3-319-47160-0</a><br/>Format: Electronic Resources<br/>From Animals to Animats 14 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182392024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Tuci, Elio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43488-9">http://dx.doi.org/10.1007/978-3-319-43488-9</a><br/>Format: Electronic Resources<br/>Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180312024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Zhu, Daming. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39817-4">http://dx.doi.org/10.1007/978-3-319-39817-4</a><br/>Format: Electronic Resources<br/>Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:186172024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kushilevitz, Eyal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49096-9">http://dx.doi.org/10.1007/978-3-662-49096-9</a><br/>Format: Electronic Resources<br/>Image and Signal Processing 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178652024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Mansouri, Alamin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33618-3">http://dx.doi.org/10.1007/978-3-319-33618-3</a><br/>Format: Electronic Resources<br/>Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:177952024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kotsireas, Ilias S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32859-1">http://dx.doi.org/10.1007/978-3-319-32859-1</a><br/>Format: Electronic Resources<br/>Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:176992024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Martínez-Álvarez, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32034-2">http://dx.doi.org/10.1007/978-3-319-32034-2</a><br/>Format: Electronic Resources<br/>Artificial General Intelligence 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181682024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Steunebrink, Bas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41649-6">http://dx.doi.org/10.1007/978-3-319-41649-6</a><br/>Format: Electronic Resources<br/>Computer Vision and Graphics International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183822024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Chmielewski, Leszek J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46418-3">http://dx.doi.org/10.1007/978-3-319-46418-3</a><br/>Format: Electronic Resources<br/>Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:182942024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Villa, Alessandro E.P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44778-0">http://dx.doi.org/10.1007/978-3-319-44778-0</a><br/>Format: Electronic Resources<br/>Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:182952024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Villa, Alessandro E.P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44781-0">http://dx.doi.org/10.1007/978-3-319-44781-0</a><br/>Format: Electronic Resources<br/>Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:182002024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42294-7">http://dx.doi.org/10.1007/978-3-319-42294-7</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXIIIent://SD_ILS/0/SD_ILS:186742024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52886-0">http://dx.doi.org/10.1007/978-3-662-52886-0</a><br/>Format: Electronic Resources<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:186762024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Skrzypczak, Michał. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52947-8">http://dx.doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Parallel Problem Solving from Nature – PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183482024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Handl, Julia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45823-6">http://dx.doi.org/10.1007/978-3-319-45823-6</a><br/>Format: Electronic Resources<br/>Web Technologies and Applications APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183492024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Morishima, Atsuyuki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45835-9">http://dx.doi.org/10.1007/978-3-319-45835-9</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:186212024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Jobstmann, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49122-5">http://dx.doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:186812024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Foret, Annie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53042-9">http://dx.doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:186282024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hameurlain, Abdelkader. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49214-7">http://dx.doi.org/10.1007/978-3-662-49214-7</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186452024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Thiemann, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49498-1">http://dx.doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:176352024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gaudou, Benoit. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31447-1">http://dx.doi.org/10.1007/978-3-319-31447-1</a><br/>Format: Electronic Resources<br/>Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:176382024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bonnevay, Stéphane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31471-6">http://dx.doi.org/10.1007/978-3-319-31471-6</a><br/>Format: Electronic Resources<br/>Progress in Cryptology – AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:176442024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Pointcheval, David. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31517-1">http://dx.doi.org/10.1007/978-3-319-31517-1</a><br/>Format: Electronic Resources<br/>Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183582024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Král, Pavel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45925-7">http://dx.doi.org/10.1007/978-3-319-45925-7</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:180862024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hasuo, Ichiro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40370-0">http://dx.doi.org/10.1007/978-3-319-40370-0</a><br/>Format: Electronic Resources<br/>Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180872024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Alboul, Lyuba. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40379-3">http://dx.doi.org/10.1007/978-3-319-40379-3</a><br/>Format: Electronic Resources<br/>Intelligent Data Engineering and Automated Learning – IDEAL 2016 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183742024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Yin, Hujun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46257-8">http://dx.doi.org/10.1007/978-3-319-46257-8</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183012024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Fränzle, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44878-7">http://dx.doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:183082024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kunze, Matthias. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44960-9">http://dx.doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182162024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dinh, Thang N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42634-1">http://dx.doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:184012024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hirose, Akira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46672-9">http://dx.doi.org/10.1007/978-3-319-46672-9</a><br/>Format: Electronic Resources<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:184022024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hirose, Akira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46675-0">http://dx.doi.org/10.1007/978-3-319-46675-0</a><br/>Format: Electronic Resources<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part IVent://SD_ILS/0/SD_ILS:184032024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hirose, Akira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46681-1">http://dx.doi.org/10.1007/978-3-319-46681-1</a><br/>Format: Electronic Resources<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:184042024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hirose, Akira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46687-3">http://dx.doi.org/10.1007/978-3-319-46687-3</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181372024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Câmpeanu, Cezar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41114-9">http://dx.doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Electronic Resources<br/>Artificial Life and Computational Intelligence Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:172342024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ray, Tapabrata. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28270-1">http://dx.doi.org/10.1007/978-3-319-28270-1</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186522024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Jacobs, Bart. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49630-5">http://dx.doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXVIIent://SD_ILS/0/SD_ILS:186652024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-50412-3">http://dx.doi.org/10.1007/978-3-662-50412-3</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXIVent://SD_ILS/0/SD_ILS:186932024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53525-7">http://dx.doi.org/10.1007/978-3-662-53525-7</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Dataent://SD_ILS/0/SD_ILS:186462024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49521-6">http://dx.doi.org/10.1007/978-3-662-49521-6</a><br/>Format: Electronic Resources<br/>LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186472024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kranakis, Evangelos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49529-2">http://dx.doi.org/10.1007/978-3-662-49529-2</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:175432024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hannig, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30695-7">http://dx.doi.org/10.1007/978-3-319-30695-7</a><br/>Format: Electronic Resources<br/>Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:175442024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Chicano, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30698-8">http://dx.doi.org/10.1007/978-3-319-30698-8</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178612024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33600-8">http://dx.doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180172024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Blesa, Maria J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39636-1">http://dx.doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXIIent://SD_ILS/0/SD_ILS:186502024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49619-0">http://dx.doi.org/10.1007/978-3-662-49619-0</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182382024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Agha, Gul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43425-4">http://dx.doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186552024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Chechik, Marsha. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49674-9">http://dx.doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII Special Issue on Big Data for Complex Urban Systemsent://SD_ILS/0/SD_ILS:186902024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hameurlain, Abdelkader. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53416-8">http://dx.doi.org/10.1007/978-3-662-53416-8</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186832024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Brlek, Srečko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53132-7">http://dx.doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:174382024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30000-9">http://dx.doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Conformal and Probabilistic Prediction with Applications 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178472024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gammerman, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33395-3">http://dx.doi.org/10.1007/978-3-319-33395-3</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179232024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kulikov, Alexander S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34171-2">http://dx.doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Artificial Neural Networks in Pattern Recognition 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183712024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Schwenker, Friedhelm. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46182-3">http://dx.doi.org/10.1007/978-3-319-46182-3</a><br/>Format: Electronic Resources<br/>Swarm Intelligence 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182782024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dorigo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44427-7">http://dx.doi.org/10.1007/978-3-319-44427-7</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:179882024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Rutkowski, Leszek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39384-1">http://dx.doi.org/10.1007/978-3-319-39384-1</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180092024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Albert, Elvira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39570-8">http://dx.doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183142024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45177-0">http://dx.doi.org/10.1007/978-3-319-45177-0</a><br/>Format: Electronic Resources<br/>Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183182024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ortiz, Magdalena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45276-0">http://dx.doi.org/10.1007/978-3-319-45276-0</a><br/>Format: Electronic Resources<br/>Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:182302024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Cao, Huiping. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42996-0">http://dx.doi.org/10.1007/978-3-319-42996-0</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183292024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Skavhaug, Amund. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45480-1">http://dx.doi.org/10.1007/978-3-319-45480-1</a><br/>Format: Electronic Resources<br/>Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:186182024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kushilevitz, Eyal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49099-0">http://dx.doi.org/10.1007/978-3-662-49099-0</a><br/>Format: Electronic Resources<br/>Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:175372024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Heywood, Malcolm I. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30668-1">http://dx.doi.org/10.1007/978-3-319-30668-1</a><br/>Format: Electronic Resources<br/>Quantum Interaction 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:172712024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Atmanspacher, Harald. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28675-4">http://dx.doi.org/10.1007/978-3-319-28675-4</a><br/>Format: Electronic Resources<br/>Advances in Artificial Intelligence 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedingsent://SD_ILS/0/SD_ILS:179192024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Khoury, Richard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34111-8">http://dx.doi.org/10.1007/978-3-319-34111-8</a><br/>Format: Electronic Resources<br/>DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182582024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Rondelez, Yannick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43994-5">http://dx.doi.org/10.1007/978-3-319-43994-5</a><br/>Format: Electronic Resources<br/>Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183632024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Larsen, Kim Guldstrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45994-3">http://dx.doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179802024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Cook, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39300-1">http://dx.doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:179862024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Rutkowski, Leszek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39378-0">http://dx.doi.org/10.1007/978-3-319-39378-0</a><br/>Format: Electronic Resources<br/>Advances in Artificial Intelligence 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182892024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Luaces, Oscar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44636-3">http://dx.doi.org/10.1007/978-3-319-44636-3</a><br/>Format: Electronic Resources<br/>Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part IIent://SD_ILS/0/SD_ILS:224552024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gaspar-Cunha, António. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15892-1">http://dx.doi.org/10.1007/978-3-319-15892-1</a><br/>Format: Electronic Resources<br/>Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230802024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Krivine, Jean. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20860-2">http://dx.doi.org/10.1007/978-3-319-20860-2</a><br/>Format: Electronic Resources<br/>Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:234722024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Li, Xiao-Li. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25660-3">http://dx.doi.org/10.1007/978-3-319-25660-3</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231342024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Xu, Dachuan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21398-9">http://dx.doi.org/10.1007/978-3-319-21398-9</a><br/>Format: Electronic Resources<br/>Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:231962024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22180-9">http://dx.doi.org/10.1007/978-3-319-22180-9</a><br/>Format: Electronic Resources<br/>Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:246832024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Banerjee, Mohua. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45824-2">http://dx.doi.org/10.1007/978-3-662-45824-2</a><br/>Format: Electronic Resources<br/>Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231972024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Barros, Márcio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22183-0">http://dx.doi.org/10.1007/978-3-319-22183-0</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232072024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Drewes, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22360-5">http://dx.doi.org/10.1007/978-3-319-22360-5</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:247682024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Pitts, Andrew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46678-0">http://dx.doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:247692024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Baier, Christel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46681-0">http://dx.doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedingsent://SD_ILS/0/SD_ILS:247022024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar D’Souza, Deepak. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46081-8">http://dx.doi.org/10.1007/978-3-662-46081-8</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XVIIIent://SD_ILS/0/SD_ILS:248602024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48145-5">http://dx.doi.org/10.1007/978-3-662-48145-5</a><br/>Format: Electronic Resources<br/>Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedingsent://SD_ILS/0/SD_ILS:225522024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ochoa, Gabriela. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16468-7">http://dx.doi.org/10.1007/978-3-319-16468-7</a><br/>Format: Electronic Resources<br/>Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:224652024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Atmanspacher, Harald. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15931-7">http://dx.doi.org/10.1007/978-3-319-15931-7</a><br/>Format: Electronic Resources<br/>Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part Ient://SD_ILS/0/SD_ILS:224662024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gaspar-Cunha, António. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15934-8">http://dx.doi.org/10.1007/978-3-319-15934-8</a><br/>Format: Electronic Resources<br/>Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222902024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Naumann, David. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14806-9">http://dx.doi.org/10.1007/978-3-319-14806-9</a><br/>Format: Electronic Resources<br/>Hybrid Artificial Intelligent Systems 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229632024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Onieva, Enrique. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19644-2">http://dx.doi.org/10.1007/978-3-319-19644-2</a><br/>Format: Electronic Resources<br/>Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229642024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Wang, Jianxin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19647-3">http://dx.doi.org/10.1007/978-3-319-19647-3</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229072024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Graf, Susanne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19195-9">http://dx.doi.org/10.1007/978-3-319-19195-9</a><br/>Format: Electronic Resources<br/>Advances in Artificial Intelligence 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedingsent://SD_ILS/0/SD_ILS:228122024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Barbosa, Denilson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18356-5">http://dx.doi.org/10.1007/978-3-319-18356-5</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232522024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Sankaranarayanan, Sriram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22975-1">http://dx.doi.org/10.1007/978-3-319-22975-1</a><br/>Format: Electronic Resources<br/>Scale Space and Variational Methods in Computer Vision 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:228212024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Aujol, Jean-François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18461-6">http://dx.doi.org/10.1007/978-3-319-18461-6</a><br/>Format: Electronic Resources<br/>Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230022024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kryszkiewicz, Marzena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19941-2">http://dx.doi.org/10.1007/978-3-319-19941-2</a><br/>Format: Electronic Resources<br/>Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Miningent://SD_ILS/0/SD_ILS:234752024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Wachsmuth, Henning. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25741-9">http://dx.doi.org/10.1007/978-3-319-25741-9</a><br/>Format: Electronic Resources<br/>Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233712024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bojańczyk, Mikołaj. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24537-9">http://dx.doi.org/10.1007/978-3-319-24537-9</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:233072024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Davis, Jesse. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23708-4">http://dx.doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Electronic Resources<br/>Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:235322024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Lirkov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26520-9">http://dx.doi.org/10.1007/978-3-319-26520-9</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XXent://SD_ILS/0/SD_ILS:235882024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27543-7">http://dx.doi.org/10.1007/978-3-319-27543-7</a><br/>Format: Electronic Resources<br/>Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:235902024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Maler, Oded. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27656-4">http://dx.doi.org/10.1007/978-3-319-27656-4</a><br/>Format: Electronic Resources<br/>Machine Learning, Optimization, and Big Data First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236032024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Pardalos, Panos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27926-8">http://dx.doi.org/10.1007/978-3-319-27926-8</a><br/>Format: Electronic Resources<br/>Machine Learning Meets Medical Imaging First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236042024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bhatia, Kanwal K. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27929-9">http://dx.doi.org/10.1007/978-3-319-27929-9</a><br/>Format: Electronic Resources<br/>Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236082024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Plaat, Aske. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27992-3">http://dx.doi.org/10.1007/978-3-319-27992-3</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:236112024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Codescu, Mihai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28114-8">http://dx.doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Electronic Resources<br/>Web Technologies and Applications APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236122024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Cai, Ruichu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28121-6">http://dx.doi.org/10.1007/978-3-319-28121-6</a><br/>Format: Electronic Resources<br/>Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231352024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Felty, Amy P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21401-6">http://dx.doi.org/10.1007/978-3-319-21401-6</a><br/>Format: Electronic Resources<br/>Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:231982024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22186-1">http://dx.doi.org/10.1007/978-3-319-22186-1</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232012024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Campos, Javier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22264-6">http://dx.doi.org/10.1007/978-3-319-22264-6</a><br/>Format: Electronic Resources<br/>Modelling and Simulation for Autonomous Systems Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:232102024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Hodicky, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22383-4">http://dx.doi.org/10.1007/978-3-319-22383-4</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:247832024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Voronkov, Andrei. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46823-4">http://dx.doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:248122024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Kari, Jarkko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47221-7">http://dx.doi.org/10.1007/978-3-662-47221-7</a><br/>Format: Electronic Resources<br/>Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:247432024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dodis, Yevgeniy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46494-6">http://dx.doi.org/10.1007/978-3-662-46494-6</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:224022024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15579-1">http://dx.doi.org/10.1007/978-3-319-15579-1</a><br/>Format: Electronic Resources<br/>Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:228652024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ferrández Vicente, José Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18833-1">http://dx.doi.org/10.1007/978-3-319-18833-1</a><br/>Format: Electronic Resources<br/>Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:228722024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ferrández Vicente, José Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18914-7">http://dx.doi.org/10.1007/978-3-319-18914-7</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:227122024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17581-2">http://dx.doi.org/10.1007/978-3-319-17581-2</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:229252024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Rutkowski, Leszek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19324-3">http://dx.doi.org/10.1007/978-3-319-19324-3</a><br/>Format: Electronic Resources<br/>Statistical Learning and Data Sciences Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:226362024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gammerman, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17091-6">http://dx.doi.org/10.1007/978-3-319-17091-6</a><br/>Format: Electronic Resources<br/>Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232612024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Lones, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23108-2">http://dx.doi.org/10.1007/978-3-319-23108-2</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232622024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Durand-Lose, Jerome. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23111-2">http://dx.doi.org/10.1007/978-3-319-23111-2</a><br/>Format: Electronic Resources<br/>AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233582024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gavanelli, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24309-2">http://dx.doi.org/10.1007/978-3-319-24309-2</a><br/>Format: Electronic Resources<br/>Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedingsent://SD_ILS/0/SD_ILS:230082024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Beckmann, Arnold. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20028-6">http://dx.doi.org/10.1007/978-3-319-20028-6</a><br/>Format: Electronic Resources<br/>Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:230262024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dimov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20239-6">http://dx.doi.org/10.1007/978-3-319-20239-6</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232892024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Roux, Olivier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23401-4">http://dx.doi.org/10.1007/978-3-319-23401-4</a><br/>Format: Electronic Resources<br/>Advances in Artificial Intelligence 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedingsent://SD_ILS/0/SD_ILS:233822024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Puerta, José M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24598-0">http://dx.doi.org/10.1007/978-3-319-24598-0</a><br/>Format: Electronic Resources<br/>Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:230322024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Panigrahi, Bijaya Ketan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20294-5">http://dx.doi.org/10.1007/978-3-319-20294-5</a><br/>Format: Electronic Resources<br/>Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230332024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Beklemishev, Lev D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20297-6">http://dx.doi.org/10.1007/978-3-319-20297-6</a><br/>Format: Electronic Resources<br/>Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:235352024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Arik, Sabri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26535-3">http://dx.doi.org/10.1007/978-3-319-26535-3</a><br/>Format: Electronic Resources<br/>Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part IIIent://SD_ILS/0/SD_ILS:235362024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Arik, Sabri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26555-1">http://dx.doi.org/10.1007/978-3-319-26555-1</a><br/>Format: Electronic Resources<br/>Neural Information Processing 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IVent://SD_ILS/0/SD_ILS:235372024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Arik, Sabri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26561-2">http://dx.doi.org/10.1007/978-3-319-26561-2</a><br/>Format: Electronic Resources<br/>Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedingsent://SD_ILS/0/SD_ILS:235482024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26841-5">http://dx.doi.org/10.1007/978-3-319-26841-5</a><br/>Format: Electronic Resources<br/>Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedingsent://SD_ILS/0/SD_ILS:236172024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Suzuki, Joe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28379-1">http://dx.doi.org/10.1007/978-3-319-28379-1</a><br/>Format: Electronic Resources<br/>Algorithms for Sensor Systems 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236222024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bose, Prosenjit. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28472-9">http://dx.doi.org/10.1007/978-3-319-28472-9</a><br/>Format: Electronic Resources<br/>Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236232024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Rozenberg, Grzegorz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28475-0">http://dx.doi.org/10.1007/978-3-319-28475-0</a><br/>Format: Electronic Resources<br/>Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:236242024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Sanità, Laura. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28684-6">http://dx.doi.org/10.1007/978-3-319-28684-6</a><br/>Format: Electronic Resources<br/>Towards Autonomous Robotic Systems 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232122024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dixon, Clare. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22416-9">http://dx.doi.org/10.1007/978-3-319-22416-9</a><br/>Format: Electronic Resources<br/>Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:228942024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dhaenens, Clarisse. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19084-6">http://dx.doi.org/10.1007/978-3-319-19084-6</a><br/>Format: Electronic Resources<br/>FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229142024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bjørner, Nikolaj. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19249-9">http://dx.doi.org/10.1007/978-3-319-19249-9</a><br/>Format: Electronic Resources<br/>Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:232642024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Azzopardi, George. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23117-4">http://dx.doi.org/10.1007/978-3-319-23117-4</a><br/>Format: Electronic Resources<br/>Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part Ient://SD_ILS/0/SD_ILS:232722024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Azzopardi, George. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23192-1">http://dx.doi.org/10.1007/978-3-319-23192-1</a><br/>Format: Electronic Resources<br/>Computational Intelligence Methods for Bioinformatics and Biostatistics 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:233652024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar DI Serio, Clelia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24462-4">http://dx.doi.org/10.1007/978-3-319-24462-4</a><br/>Format: Electronic Resources<br/>Statistical Language and Speech Processing Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234852024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25789-1">http://dx.doi.org/10.1007/978-3-319-25789-1</a><br/>Format: Electronic Resources<br/>Advances in Data Mining: Applications and Theoretical Aspects 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230912024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Perner, Petra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20910-4">http://dx.doi.org/10.1007/978-3-319-20910-4</a><br/>Format: Electronic Resources<br/>Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:233292024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Zaroliagis, Christos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24024-4">http://dx.doi.org/10.1007/978-3-319-24024-4</a><br/>Format: Electronic Resources<br/>Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:235342024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Arik, Sabri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26532-2">http://dx.doi.org/10.1007/978-3-319-26532-2</a><br/>Format: Electronic Resources<br/>Intelligent Data Engineering and Automated Learning – IDEAL 2015 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233982024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Jackowski, Konrad. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24834-9">http://dx.doi.org/10.1007/978-3-319-24834-9</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:231462024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Potapov, Igor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21500-6">http://dx.doi.org/10.1007/978-3-319-21500-6</a><br/>Format: Electronic Resources<br/>DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231862024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Phillips, Andrew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21999-8">http://dx.doi.org/10.1007/978-3-319-21999-8</a><br/>Format: Electronic Resources<br/>Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:231872024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar ten Cate, Balder. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22002-4">http://dx.doi.org/10.1007/978-3-319-22002-4</a><br/>Format: Electronic Resources<br/>Transactions on Computational Collective Intelligence XIXent://SD_ILS/0/SD_ILS:248942024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nguyen, Ngoc Thanh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49017-4">http://dx.doi.org/10.1007/978-3-662-49017-4</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:248962024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bianculli, Domenico. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49224-6">http://dx.doi.org/10.1007/978-3-662-49224-6</a><br/>Format: Electronic Resources<br/>Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:247442024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dodis, Yevgeniy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46497-7">http://dx.doi.org/10.1007/978-3-662-46497-7</a><br/>Format: Electronic Resources<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:248302024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Halldórsson, Magnús M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47666-6">http://dx.doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Electronic Resources<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:248322024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Halldórsson, Magnús M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47672-7">http://dx.doi.org/10.1007/978-3-662-47672-7</a><br/>Format: Electronic Resources<br/>Social Media Processing 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:258342024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Zhang, Xichun. editor.<br/><a href="http://dx.doi.org/10.1007/978-981-10-0080-5">http://dx.doi.org/10.1007/978-981-10-0080-5</a><br/>Format: Electronic Resources<br/>Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedingsent://SD_ILS/0/SD_ILS:225612024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Machado, Penousal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16501-1">http://dx.doi.org/10.1007/978-3-319-16501-1</a><br/>Format: Electronic Resources<br/>Multi-Agent-Based Simulation XV International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222622024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Grimaldo, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14627-0">http://dx.doi.org/10.1007/978-3-319-14627-0</a><br/>Format: Electronic Resources<br/>Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:222802024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Eiter, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14726-0">http://dx.doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Electronic Resources<br/>Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedingsent://SD_ILS/0/SD_ILS:222892024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Chalup, Stephan K. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14803-8">http://dx.doi.org/10.1007/978-3-319-14803-8</a><br/>Format: Electronic Resources<br/>Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedingsent://SD_ILS/0/SD_ILS:225692024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Mora, Antonio M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16549-3">http://dx.doi.org/10.1007/978-3-319-16549-3</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:228602024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Isokawa, Teijiro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18812-6">http://dx.doi.org/10.1007/978-3-319-18812-6</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229112024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Shallit, Jeffrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19225-3">http://dx.doi.org/10.1007/978-3-319-19225-3</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:229282024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Rutkowski, Leszek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19369-4">http://dx.doi.org/10.1007/978-3-319-19369-4</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-14T19:51:16Z2024-05-14T19:51:16ZYazar 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/>Advances in Artificial Intelligence 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:208322024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Sokolova, Marina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06483-3">http://dx.doi.org/10.1007/978-3-319-06483-3</a><br/>Format: Electronic Resources<br/>Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217242024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Wąs, Jarosław. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11520-7">http://dx.doi.org/10.1007/978-3-319-11520-7</a><br/>Format: Electronic Resources<br/>From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240532024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bensalem, Saddek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54848-2">http://dx.doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Electronic Resources<br/>Theory of Cryptography 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:239752024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Lindell, Yehuda. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54242-8">http://dx.doi.org/10.1007/978-3-642-54242-8</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:245792024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Zaverucha, Gerson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44923-3">http://dx.doi.org/10.1007/978-3-662-44923-3</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244052024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43613-4">http://dx.doi.org/10.1007/978-3-662-43613-4</a><br/>Format: Electronic Resources<br/>Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:240412024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Alam, Shah Jamal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54783-6">http://dx.doi.org/10.1007/978-3-642-54783-6</a><br/>Format: Electronic Resources<br/>Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthdayent://SD_ILS/0/SD_ILS:240432024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Casadio, Claudia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54789-8">http://dx.doi.org/10.1007/978-3-642-54789-8</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedingsent://SD_ILS/0/SD_ILS:239462024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar McMillan, Kenneth L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54013-4">http://dx.doi.org/10.1007/978-3-642-54013-4</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:246112024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45234-9">http://dx.doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Electronic Resources<br/>Social Media Processing Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246482024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, Heyan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45558-6">http://dx.doi.org/10.1007/978-3-662-45558-6</a><br/>Format: Electronic Resources<br/>LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31–April 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240002024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Pardo, Alberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54423-1">http://dx.doi.org/10.1007/978-3-642-54423-1</a><br/>Format: Electronic Resources<br/>Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246692024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Shi, Xiaodong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45701-6">http://dx.doi.org/10.1007/978-3-662-45701-6</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXIV Special Issue on Reversible Computingent://SD_ILS/0/SD_ILS:246722024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45711-5">http://dx.doi.org/10.1007/978-3-662-45711-5</a><br/>Format: Electronic Resources<br/>Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:244862024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Nicolau, Miguel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44303-3">http://dx.doi.org/10.1007/978-3-662-44303-3</a><br/>Format: Electronic Resources<br/>Evolutionary Computation in Combinatorial Optimisation 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:244872024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Blum, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44320-0">http://dx.doi.org/10.1007/978-3-662-44320-0</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:246102024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45231-8">http://dx.doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212362024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Cai, Zhipeng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08783-2">http://dx.doi.org/10.1007/978-3-319-08783-2</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212432024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Holzer, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08846-4">http://dx.doi.org/10.1007/978-3-319-08846-4</a><br/>Format: Electronic Resources<br/>From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212472024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Pobil, Angel P. del. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08864-8">http://dx.doi.org/10.1007/978-3-319-08864-8</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240552024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papersent://SD_ILS/0/SD_ILS:240682024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Atmanspacher, Harald. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54943-4">http://dx.doi.org/10.1007/978-3-642-54943-4</a><br/>Format: Electronic Resources<br/>Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245252024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Diaz, Josep. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44602-7">http://dx.doi.org/10.1007/978-3-662-44602-7</a><br/>Format: Electronic Resources<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:244472024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Esparza, Javier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43948-7">http://dx.doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Electronic Resources<br/>Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papersent://SD_ILS/0/SD_ILS:219542024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Pizzuti, Clara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12745-3">http://dx.doi.org/10.1007/978-3-319-12745-3</a><br/>Format: Electronic Resources<br/>Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218132024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Brugali, Davide. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11900-7">http://dx.doi.org/10.1007/978-3-319-11900-7</a><br/>Format: Electronic Resources<br/>FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:208202024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Jones, Cliff. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06410-9">http://dx.doi.org/10.1007/978-3-319-06410-9</a><br/>Format: Electronic Resources<br/>Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:218452024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Grandinetti, Lucio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12084-3">http://dx.doi.org/10.1007/978-3-319-12084-3</a><br/>Format: Electronic Resources<br/>Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239742024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Alhazov, Artiom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54239-8">http://dx.doi.org/10.1007/978-3-642-54239-8</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:244642024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bonsangue, Marcello M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44124-4">http://dx.doi.org/10.1007/978-3-662-44124-4</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:209502024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Rutkowski, Leszek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07173-2">http://dx.doi.org/10.1007/978-3-319-07173-2</a><br/>Format: Electronic Resources<br/>Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222312024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gheorghe, Marian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14370-5">http://dx.doi.org/10.1007/978-3-319-14370-5</a><br/>Format: Electronic Resources<br/>Intelligent Strategies for Pathway Mining Model and Pattern Identificationent://SD_ILS/0/SD_ILS:204312024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Chen, Qingfeng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04172-8">http://dx.doi.org/10.1007/978-3-319-04172-8</a><br/>Format: Electronic Resources<br/>Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:209012024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Breugel, Franck van. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06880-0">http://dx.doi.org/10.1007/978-3-319-06880-0</a><br/>Format: Electronic Resources<br/>Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211822024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Yamashita, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08494-7">http://dx.doi.org/10.1007/978-3-319-08494-7</a><br/>Format: Electronic Resources<br/>Parallel Problem Solving from Nature – PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215762024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bartz-Beielstein, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10762-2">http://dx.doi.org/10.1007/978-3-319-10762-2</a><br/>Format: Electronic Resources<br/>Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213202024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09330-7">http://dx.doi.org/10.1007/978-3-319-09330-7</a><br/>Format: Electronic Resources<br/>Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213212024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09333-8">http://dx.doi.org/10.1007/978-3-319-09333-8</a><br/>Format: Electronic Resources<br/>Artificial Neural Networks in Pattern Recognition 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217552024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Gayar, Neamat El. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11656-3">http://dx.doi.org/10.1007/978-3-319-11656-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-05-14T19:51:16Z2024-05-14T19:51:16ZYazar 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/>Intelligent Data Engineering and Automated Learning – IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215922024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Corchado, Emilio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10840-7">http://dx.doi.org/10.1007/978-3-319-10840-7</a><br/>Format: Electronic Resources<br/>Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:219912024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Siarry, Patrick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12970-9">http://dx.doi.org/10.1007/978-3-319-12970-9</a><br/>Format: Electronic Resources<br/>Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part Ient://SD_ILS/0/SD_ILS:219322024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Loo, Chu Kiong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12637-1">http://dx.doi.org/10.1007/978-3-319-12637-1</a><br/>Format: Electronic Resources<br/>Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part IIent://SD_ILS/0/SD_ILS:219332024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Loo, Chu Kiong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12640-1">http://dx.doi.org/10.1007/978-3-319-12640-1</a><br/>Format: Electronic Resources<br/>Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part IIIent://SD_ILS/0/SD_ILS:219342024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Loo, Chu Kiong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12643-2">http://dx.doi.org/10.1007/978-3-319-12643-2</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:240502024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Muscholl, Anca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54830-7">http://dx.doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:240512024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54833-8">http://dx.doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244092024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Ait Ameur, Yamine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43652-3">http://dx.doi.org/10.1007/978-3-662-43652-3</a><br/>Format: Electronic Resources<br/>Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:246412024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Esparcia-Alcázar, Anna I. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45523-4">http://dx.doi.org/10.1007/978-3-662-45523-4</a><br/>Format: Electronic Resources<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:244482024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Esparza, Javier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43951-7">http://dx.doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Electronic Resources<br/>Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246372024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Tan, Tieniu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45498-5">http://dx.doi.org/10.1007/978-3-662-45498-5</a><br/>Format: Electronic Resources<br/>Regulated Grammars and Automataent://SD_ILS/0/SD_ILS:198582024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar 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/>Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:206582024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05416-2">http://dx.doi.org/10.1007/978-3-319-05416-2</a><br/>Format: Electronic Resources<br/>Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:205142024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Krishnamachari, Bhaskar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04651-8">http://dx.doi.org/10.1007/978-3-319-04651-8</a><br/>Format: Electronic Resources<br/>Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:222482024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Aguilera, Marcos K. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14472-6">http://dx.doi.org/10.1007/978-3-319-14472-6</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205682024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04921-2">http://dx.doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Electronic Resources<br/>Computational Intelligence Methods for Bioinformatics and Biostatistics 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:212812024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Formenti, Enrico. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09042-9">http://dx.doi.org/10.1007/978-3-319-09042-9</a><br/>Format: Electronic Resources<br/>Hybrid Artificial Intelligence Systems 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210422024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Polycarpou, Marios. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07617-1">http://dx.doi.org/10.1007/978-3-319-07617-1</a><br/>Format: Electronic Resources<br/>Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:212982024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar van den Herik, H. Jaap. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09165-5">http://dx.doi.org/10.1007/978-3-319-09165-5</a><br/>Format: Electronic Resources<br/>Advances in Autonomous Robotics Systems 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215072024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Mistry, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10401-0">http://dx.doi.org/10.1007/978-3-319-10401-0</a><br/>Format: Electronic Resources<br/>DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216782024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Murata, Satoshi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11295-4">http://dx.doi.org/10.1007/978-3-319-11295-4</a><br/>Format: Electronic Resources<br/>Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216792024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Bouchachia, Abdelhamid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11298-5">http://dx.doi.org/10.1007/978-3-319-11298-5</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:209512024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Rutkowski, Leszek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07176-3">http://dx.doi.org/10.1007/978-3-319-07176-3</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215662024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Norman, Gethin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10696-0">http://dx.doi.org/10.1007/978-3-319-10696-0</a><br/>Format: Electronic Resources<br/>Artificial Neural Networks and Machine Learning – ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216512024-05-14T19:51:16Z2024-05-14T19:51:16ZYazar Wermter, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11179-7">http://dx.doi.org/10.1007/978-3-319-11179-7</a><br/>Format: Electronic Resources<br/>