Search Results for - Narrowed by: Computation by Abstract Devices.

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

2024-05-05T18:20:31Z

Yazar Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
https://doi.org/10.1007/978-3-030-20981-0
Format: Electronic Resources

Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159
https://doi.org/10.1007/978-3-030-34872-4
Format: Electronic Resources

Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159
https://doi.org/10.1007/978-3-030-34869-4
Format: Electronic Resources

A Primer on Quantum Computing

2024-05-05T18:20:31Z

Yazar de Lima Marquezino, Franklin. author.
https://doi.org/10.1007/978-3-030-19066-8
Format: Electronic Resources

Exploring the DataFlow Supercomputing Paradigm Example Algorithms for Selected Applications

2024-05-05T18:20:31Z

Yazar Milutinovic, Veljko. editor.
https://doi.org/10.1007/978-3-030-13803-5
Format: Electronic Resources

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 II

2024-05-05T18:20:31Z

Yazar Ferrández Vicente, José Manuel. editor.
https://doi.org/10.1007/978-3-030-19651-6
Format: Electronic Resources

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 I

2024-05-05T18:20:31Z

Yazar Ferrández Vicente, José Manuel. editor.
https://doi.org/10.1007/978-3-030-19591-5
Format: Electronic Resources

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Coecke, Bob. editor. (orcid)0000-0002-5310-8723
https://doi.org/10.1007/978-3-030-35895-2
Format: Electronic Resources

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-05-05T18:20:31Z

Yazar Doty, David. editor. (orcid)0000-0002-3922-172X
https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-05-05T18:20:31Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

2024-05-05T18:20:31Z

Yazar Chen, Jianer. editor.
https://doi.org/10.1007/978-3-319-78455-7
Format: Electronic Resources

Higher Education Computer Science A Manual of Practical Approaches

2024-05-05T18:20:31Z

Yazar Carter, Jenny. editor.
https://doi.org/10.1007/978-3-319-98590-9
Format: Electronic Resources

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

2024-05-05T18:20:31Z

Yazar Graciani, Carmen. editor.
https://doi.org/10.1007/978-3-030-00265-7
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2024-05-05T18:20:31Z

Yazar Baetens, Jan M. editor.
https://doi.org/10.1007/978-3-319-92675-9
Format: Electronic Resources

A New Kind of Computational Biology Cellular Automata Based Models for Genomics and Proteomics

2024-05-05T18:20:31Z

Yazar Pal Chaudhuri, Parimal. author.
https://doi.org/10.1007/978-981-13-1639-5
Format: Electronic Resources

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888
https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources

Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Joye, Marc. editor.
https://doi.org/10.1007/978-3-319-57339-7
Format: Electronic Resources

Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Huang, De-Shuang. editor.
https://doi.org/10.1007/978-3-319-63312-1
Format: Electronic Resources

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 II

2024-05-05T18:20:31Z

Yazar Ferrández Vicente, José Manuel. editor.
https://doi.org/10.1007/978-3-319-59773-7
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-53946-1
Format: Electronic Resources

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar McDermott, James. editor.
https://doi.org/10.1007/978-3-319-55696-3
Format: Electronic Resources

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
https://doi.org/10.1007/978-3-319-69404-7
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260
https://doi.org/10.1007/978-3-319-67834-4
Format: Electronic Resources

Smart Computing and Communication First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Qiu, Meikang. editor.
https://doi.org/10.1007/978-3-319-52015-5
Format: Electronic Resources

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Nardin, Luis Gustavo. editor.
https://doi.org/10.1007/978-3-319-67477-3
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Hu, Bin. editor.
https://doi.org/10.1007/978-3-319-55453-2
Format: Electronic Resources

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Brijder, Robert. editor. (orcid)0000-0002-8912-1735
https://doi.org/10.1007/978-3-319-66799-7
Format: Electronic Resources

Artificial Life and Computational Intelligence Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 – February 2, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Wagner, Markus. editor.
https://doi.org/10.1007/978-3-319-51691-2
Format: Electronic Resources

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Leporati, Alberto. editor.
https://doi.org/10.1007/978-3-319-54072-6
Format: Electronic Resources

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Drewes, Frank. editor.
https://doi.org/10.1007/978-3-319-53733-7
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2017 18th International Conference, Guilin, China, October 30 – November 1, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401
https://doi.org/10.1007/978-3-319-68935-7
Format: Electronic Resources

Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17–20, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar R. Devanur, Nikhil. editor.
https://doi.org/10.1007/978-3-319-71924-5
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXVII

2024-05-05T18:20:31Z

Yazar Mercik, Jacek. editor.
https://doi.org/10.1007/978-3-319-70647-4
Format: Electronic Resources

Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Camelin, Nathalie. editor.
https://doi.org/10.1007/978-3-319-68456-7
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Esparza, Javier. editor.
https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Shi, Yuhui. editor.
https://doi.org/10.1007/978-3-319-68759-9
Format: Electronic Resources

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 Papers

2024-05-05T18:20:31Z

Yazar Chrobak, Marek. editor.
https://doi.org/10.1007/978-3-319-53058-1
Format: Electronic Resources

Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar de Barros, Jose Acacio. editor.
https://doi.org/10.1007/978-3-319-52289-0
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Yang, Hongseok. editor.
https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources

Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Huang, De-Shuang. editor.
https://doi.org/10.1007/978-3-319-63309-1
Format: Electronic Resources

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 II

2024-05-05T18:20:31Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Kari, Jarkko. editor.
https://doi.org/10.1007/978-3-319-58741-7
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X
https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources

Scale Space and Variational Methods in Computer Vision 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Lauze, François. editor. (orcid)0000-0003-2503-6475
https://doi.org/10.1007/978-3-319-58771-4
Format: Electronic Resources

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 I

2024-05-05T18:20:31Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources

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 I

2024-05-05T18:20:31Z

Yazar Ferrández Vicente, José Manuel. editor.
https://doi.org/10.1007/978-3-319-59740-9
Format: Electronic Resources

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
https://doi.org/10.1007/978-3-319-60252-3
Format: Electronic Resources

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Bertrand, Nathalie. editor.
https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources

Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999
https://doi.org/10.1007/978-3-319-57285-7
Format: Electronic Resources

Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-319-71069-3
Format: Electronic Resources

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Kang, U. editor.
https://doi.org/10.1007/978-3-319-67274-8
Format: Electronic Resources

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Klasing, Ralf. editor.
https://doi.org/10.1007/978-3-662-55751-8
Format: Electronic Resources

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

2024-05-05T18:20:31Z

Yazar Day, Adam. editor.
https://doi.org/10.1007/978-3-319-50062-1
Format: Electronic Resources

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Di Napoli, Edoardo. editor.
https://doi.org/10.1007/978-3-319-53862-4
Format: Electronic Resources

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Winands, Mark H.M. . editor.
https://doi.org/10.1007/978-3-319-71649-7
Format: Electronic Resources

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Knoop, Jens. editor.
https://doi.org/10.1007/978-3-319-54999-6
Format: Electronic Resources

Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19–21, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Petrosino, Alfredo. editor.
https://doi.org/10.1007/978-3-319-52962-2
Format: Electronic Resources

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Hague, Matthew. editor.
https://doi.org/10.1007/978-3-319-67089-8
Format: Electronic Resources

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-52228-9
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2024-05-05T18:20:31Z

Yazar Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources

Quantum Interaction 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Atmanspacher, Harald. editor.
http://dx.doi.org/10.1007/978-3-319-28675-4
Format: Electronic Resources

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Hajiaghayi, Mohammad Taghi. editor.
http://dx.doi.org/10.1007/978-3-319-28678-5
Format: Electronic Resources

Directed Algebraic Topology and Concurrency

2024-05-05T18:20:31Z

Yazar Fajstrup, Lisbeth. author.
http://dx.doi.org/10.1007/978-3-319-15398-8
Format: Electronic Resources

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Heywood, Malcolm I. editor.
http://dx.doi.org/10.1007/978-3-319-30668-1
Format: Electronic Resources

Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Martínez-Álvarez, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-32034-2
Format: Electronic Resources

Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Bonnevay, Stéphane. editor.
http://dx.doi.org/10.1007/978-3-319-31471-6
Format: Electronic Resources

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Larsen, Kim Guldstrand. editor.
http://dx.doi.org/10.1007/978-3-319-45994-3
Format: Electronic Resources

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Kotsireas, Ilias S. editor.
http://dx.doi.org/10.1007/978-3-319-32859-1
Format: Electronic Resources

Artificial Neural Networks in Pattern Recognition 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28–30, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Schwenker, Friedhelm. editor.
http://dx.doi.org/10.1007/978-3-319-46182-3
Format: Electronic Resources

Advances in Artificial Intelligence 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings

2024-05-05T18:20:31Z

Yazar Khoury, Richard. editor.
http://dx.doi.org/10.1007/978-3-319-34111-8
Format: Electronic Resources

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-42291-6
Format: Electronic Resources

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Devitt, Simon. editor.
http://dx.doi.org/10.1007/978-3-319-40578-0
Format: Electronic Resources

Conformal and Probabilistic Prediction with Applications 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Gammerman, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-33395-3
Format: Electronic Resources

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Dinh, Thang N. editor.
http://dx.doi.org/10.1007/978-3-319-42634-1
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Jacobs, Bart. editor.
http://dx.doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Sarro, Federica. editor.
http://dx.doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Han, Yo-Sub. editor.
http://dx.doi.org/10.1007/978-3-319-40946-7
Format: Electronic Resources

Artificial Life and Computational Intelligence Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Ray, Tapabrata. editor.
http://dx.doi.org/10.1007/978-3-319-28270-1
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Pointcheval, David. editor.
http://dx.doi.org/10.1007/978-3-319-31517-1
Format: Electronic Resources

Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-39378-0
Format: Electronic Resources

Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Kulikov, Alexander S. editor.
http://dx.doi.org/10.1007/978-3-319-34171-2
Format: Electronic Resources

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Amos, Martyn. editor.
http://dx.doi.org/10.1007/978-3-319-41312-9
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII Special Issue on Big Data for Complex Urban Systems

2024-05-05T18:20:31Z

Yazar Hameurlain, Abdelkader. editor.
http://dx.doi.org/10.1007/978-3-662-53416-8
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2024-05-05T18:20:31Z

Yazar Jobstmann, Barbara. editor.
http://dx.doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Thiemann, Peter. editor.
http://dx.doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Hannig, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-30695-7
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Chicano, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-30698-8
Format: Electronic Resources

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Gaudou, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-31447-1
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Král, Pavel. editor.
http://dx.doi.org/10.1007/978-3-319-45925-7
Format: Electronic Resources

Artificial General Intelligence 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Steunebrink, Bas. editor.
http://dx.doi.org/10.1007/978-3-319-41649-6
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Angelini, Claudia. editor.
http://dx.doi.org/10.1007/978-3-319-44332-4
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2016 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Yin, Hujun. editor.
http://dx.doi.org/10.1007/978-3-319-46257-8
Format: Electronic Resources

Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Alboul, Lyuba. editor.
http://dx.doi.org/10.1007/978-3-319-40379-3
Format: Electronic Resources

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Blesa, Maria J. editor.
http://dx.doi.org/10.1007/978-3-319-39636-1
Format: Electronic Resources

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Zhu, Daming. editor.
http://dx.doi.org/10.1007/978-3-319-39817-4
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Villa, Alessandro E.P. editor.
http://dx.doi.org/10.1007/978-3-319-44778-0
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Villa, Alessandro E.P. editor.
http://dx.doi.org/10.1007/978-3-319-44781-0
Format: Electronic Resources

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2024-05-05T18:20:31Z

Yazar Kunze, Matthias. author.
http://dx.doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part IV

2024-05-05T18:20:31Z

Yazar Hirose, Akira. editor.
http://dx.doi.org/10.1007/978-3-319-46681-1
Format: Electronic Resources

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Hirose, Akira. editor.
http://dx.doi.org/10.1007/978-3-319-46687-3
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Skavhaug, Amund. editor.
http://dx.doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources

Rough Sets International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Flores, Víctor. editor.
http://dx.doi.org/10.1007/978-3-319-47160-0
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

From Animals to Animats 14 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Tuci, Elio. editor.
http://dx.doi.org/10.1007/978-3-319-43488-9
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-05T18:20:31Z

Yazar Skrzypczak, Michał. author.
http://dx.doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-30000-9
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Cook, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources

Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

2024-05-05T18:20:31Z

Yazar El Yacoubi, Samira. editor.
http://dx.doi.org/10.1007/978-3-319-44365-2
Format: Electronic Resources

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 Papers

2024-05-05T18:20:31Z

Yazar Hasuo, Ichiro. editor.
http://dx.doi.org/10.1007/978-3-319-40370-0
Format: Electronic Resources

Swarm Intelligence 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Dorigo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-44427-7
Format: Electronic Resources

Computer Vision and Graphics International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Chmielewski, Leszek J. editor.
http://dx.doi.org/10.1007/978-3-319-46418-3
Format: Electronic Resources

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources

Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Ortiz, Magdalena. editor.
http://dx.doi.org/10.1007/978-3-319-45276-0
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Chechik, Marsha. editor.
http://dx.doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

2024-05-05T18:20:31Z

Yazar Câmpeanu, Cezar. editor.
http://dx.doi.org/10.1007/978-3-319-41114-9
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXIII

2024-05-05T18:20:31Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-52886-0
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXIV

2024-05-05T18:20:31Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-53525-7
Format: Electronic Resources

Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Kushilevitz, Eyal. editor.
http://dx.doi.org/10.1007/978-3-662-49096-9
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data

2024-05-05T18:20:31Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49521-6
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Advances in Artificial Intelligence 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings

2024-05-05T18:20:31Z

Yazar Luaces, Oscar. editor.
http://dx.doi.org/10.1007/978-3-319-44636-3
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Fränzle, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-42294-7
Format: Electronic Resources

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Hirose, Akira. editor.
http://dx.doi.org/10.1007/978-3-319-46672-9
Format: Electronic Resources

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part III

2024-05-05T18:20:31Z

Yazar Hirose, Akira. editor.
http://dx.doi.org/10.1007/978-3-319-46675-0
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXII

2024-05-05T18:20:31Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49619-0
Format: Electronic Resources

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Cao, Huiping. editor.
http://dx.doi.org/10.1007/978-3-319-42996-0
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-05-05T18:20:31Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-50412-3
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Handl, Julia. editor.
http://dx.doi.org/10.1007/978-3-319-45823-6
Format: Electronic Resources

Web Technologies and Applications APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Morishima, Atsuyuki. editor.
http://dx.doi.org/10.1007/978-3-319-45835-9
Format: Electronic Resources

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Foret, Annie. editor.
http://dx.doi.org/10.1007/978-3-662-53042-9
Format: Electronic Resources

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Brlek, Srečko. editor.
http://dx.doi.org/10.1007/978-3-662-53132-7
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV Special Issue on Database- and Expert-Systems Applications

2024-05-05T18:20:31Z

Yazar Hameurlain, Abdelkader. editor.
http://dx.doi.org/10.1007/978-3-662-49214-7
Format: Electronic Resources

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Kranakis, Evangelos. editor.
http://dx.doi.org/10.1007/978-3-662-49529-2
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33600-8
Format: Electronic Resources

Image and Signal Processing 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Mansouri, Alamin. editor.
http://dx.doi.org/10.1007/978-3-319-33618-3
Format: Electronic Resources

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2024-05-05T18:20:31Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources

Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-39384-1
Format: Electronic Resources

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2024-05-05T18:20:31Z

Yazar Rondelez, Yannick. editor.
http://dx.doi.org/10.1007/978-3-319-43994-5
Format: Electronic Resources

Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Kushilevitz, Eyal. editor.
http://dx.doi.org/10.1007/978-3-662-49099-0
Format: Electronic Resources

Multi-Agent-Based Simulation XV International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Grimaldo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-14627-0
Format: Electronic Resources

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-05-05T18:20:31Z

Yazar Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-19369-4
Format: Electronic Resources

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Naumann, David. editor.
http://dx.doi.org/10.1007/978-3-319-14806-9
Format: Electronic Resources

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Barros, Márcio. editor.
http://dx.doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Dimov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-20239-6
Format: Electronic Resources

Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Drewes, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-22360-5
Format: Electronic Resources

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining

2024-05-05T18:20:31Z

Yazar Wachsmuth, Henning. author.
http://dx.doi.org/10.1007/978-3-319-25741-9
Format: Electronic Resources

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Xu, Dachuan. editor.
http://dx.doi.org/10.1007/978-3-319-21398-9
Format: Electronic Resources

Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Felty, Amy P. editor.
http://dx.doi.org/10.1007/978-3-319-21401-6
Format: Electronic Resources

Statistical Language and Speech Processing Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-25789-1
Format: Electronic Resources

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Rozenberg, Grzegorz. editor.
http://dx.doi.org/10.1007/978-3-319-28475-0
Format: Electronic Resources

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Bojańczyk, Mikołaj. editor.
http://dx.doi.org/10.1007/978-3-319-24537-9
Format: Electronic Resources

Advances in Artificial Intelligence 16th Conference of the Spanish Association for Artiﬁcial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings

2024-05-05T18:20:31Z

Yazar Puerta, José M. editor.
http://dx.doi.org/10.1007/978-3-319-24598-0
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Pitts, Andrew. editor.
http://dx.doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
Format: Electronic Resources

Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Atmanspacher, Harald. editor.
http://dx.doi.org/10.1007/978-3-319-15931-7
Format: Electronic Resources

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Krivine, Jean. editor.
http://dx.doi.org/10.1007/978-3-319-20860-2
Format: Electronic Resources

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-22180-9
Format: Electronic Resources

Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Panigrahi, Bijaya Ketan. editor.
http://dx.doi.org/10.1007/978-3-319-20294-5
Format: Electronic Resources

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-20297-6
Format: Electronic Resources

Towards Autonomous Robotic Systems 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Dixon, Clare. editor.
http://dx.doi.org/10.1007/978-3-319-22416-9
Format: Electronic Resources

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 Papers

2024-05-05T18:20:31Z

Yazar Li, Xiao-Li. editor.
http://dx.doi.org/10.1007/978-3-319-25660-3
Format: Electronic Resources

Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday

2024-05-05T18:20:31Z

Yazar Zaroliagis, Christos. editor.
http://dx.doi.org/10.1007/978-3-319-24024-4
Format: Electronic Resources

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

2024-05-05T18:20:31Z

Yazar Potapov, Igor. editor.
http://dx.doi.org/10.1007/978-3-319-21500-6
Format: Electronic Resources

Transactions on Computational Collective Intelligence XX

2024-05-05T18:20:31Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-319-27543-7
Format: Electronic Resources

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 Papers

2024-05-05T18:20:31Z

Yazar Maler, Oded. editor.
http://dx.doi.org/10.1007/978-3-319-27656-4
Format: Electronic Resources

Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Sanità, Laura. editor.
http://dx.doi.org/10.1007/978-3-319-28684-6
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2015 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Jackowski, Konrad. editor.
http://dx.doi.org/10.1007/978-3-319-24834-9
Format: Electronic Resources

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Machado, Penousal. editor.
http://dx.doi.org/10.1007/978-3-319-16501-1
Format: Electronic Resources

Hybrid Artificial Intelligent Systems 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Onieva, Enrique. editor.
http://dx.doi.org/10.1007/978-3-319-19644-2
Format: Electronic Resources

Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Wang, Jianxin. editor.
http://dx.doi.org/10.1007/978-3-319-19647-3
Format: Electronic Resources

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Calude, Cristian S. editor.
http://dx.doi.org/10.1007/978-3-319-21819-9
Format: Electronic Resources

Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Kryszkiewicz, Marzena. editor.
http://dx.doi.org/10.1007/978-3-319-19941-2
Format: Electronic Resources

Statistical Learning and Data Sciences Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Gammerman, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-17091-6
Format: Electronic Resources

Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Azzopardi, George. editor.
http://dx.doi.org/10.1007/978-3-319-23117-4
Format: Electronic Resources

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-22186-1
Format: Electronic Resources

Advances in Data Mining: Applications and Theoretical Aspects 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-319-20910-4
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Gaspar-Cunha, António. editor.
http://dx.doi.org/10.1007/978-3-319-15892-1
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Gaspar-Cunha, António. editor.
http://dx.doi.org/10.1007/978-3-319-15934-8
Format: Electronic Resources

Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Mora, Antonio M. editor.
http://dx.doi.org/10.1007/978-3-319-16549-3
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Sankaranarayanan, Sriram. editor.
http://dx.doi.org/10.1007/978-3-319-22975-1
Format: Electronic Resources

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources

Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Lones, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-23108-2
Format: Electronic Resources

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Durand-Lose, Jerome. editor.
http://dx.doi.org/10.1007/978-3-319-23111-2
Format: Electronic Resources

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar Phillips, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-21999-8
Format: Electronic Resources

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

2024-05-05T18:20:31Z

Yazar ten Cate, Balder. editor.
http://dx.doi.org/10.1007/978-3-319-22002-4
Format: Electronic Resources

AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-24309-2
Format: Electronic Resources

Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Azzopardi, George. editor.
http://dx.doi.org/10.1007/978-3-319-23192-1
Format: Electronic Resources

Advances in Artificial Intelligence 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Barbosa, Denilson. editor.
http://dx.doi.org/10.1007/978-3-319-18356-5
Format: Electronic Resources

Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Roux, Olivier. editor.
http://dx.doi.org/10.1007/978-3-319-23401-4
Format: Electronic Resources

Modelling and Simulation for Autonomous Systems Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Hodicky, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-22383-4
Format: Electronic Resources

Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Plaat, Aske. editor.
http://dx.doi.org/10.1007/978-3-319-27992-3
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Codescu, Mihai. editor.
http://dx.doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46497-7
Format: Electronic Resources

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-662-46823-4
Format: Electronic Resources

Social Media Processing 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Zhang, Xichun. editor.
http://dx.doi.org/10.1007/978-981-10-0080-5
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Isokawa, Teijiro. editor.
http://dx.doi.org/10.1007/978-3-319-18812-6
Format: Electronic Resources

Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Dhaenens, Clarisse. editor.
http://dx.doi.org/10.1007/978-3-319-19084-6
Format: Electronic Resources

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar Shallit, Jeffrey. editor.
http://dx.doi.org/10.1007/978-3-319-19225-3
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Ochoa, Gabriela. editor.
http://dx.doi.org/10.1007/978-3-319-16468-7
Format: Electronic Resources

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-19324-3
Format: Electronic Resources

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar Chalup, Stephan K. editor.
http://dx.doi.org/10.1007/978-3-319-14803-8
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Baier, Christel. editor.
http://dx.doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources

Transactions on Computational Collective Intelligence XIX

2024-05-05T18:20:31Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49017-4
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Bianculli, Domenico. editor.
http://dx.doi.org/10.1007/978-3-662-49224-6
Format: Electronic Resources

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 II

2024-05-05T18:20:31Z

Yazar Ferrández Vicente, José Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-18833-1
Format: Electronic Resources

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 I

2024-05-05T18:20:31Z

Yazar Ferrández Vicente, José Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-18914-7
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Graf, Susanne. editor.
http://dx.doi.org/10.1007/978-3-319-19195-9
Format: Electronic Resources

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Bjørner, Nikolaj. editor.
http://dx.doi.org/10.1007/978-3-319-19249-9
Format: Electronic Resources

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-15579-1
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-17581-2
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar DI Serio, Clelia. editor.
http://dx.doi.org/10.1007/978-3-319-24462-4
Format: Electronic Resources

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Campos, Javier. editor.
http://dx.doi.org/10.1007/978-3-319-22264-6
Format: Electronic Resources

Scale Space and Variational Methods in Computer Vision 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings

2024-05-05T18:20:31Z

Yazar Aujol, Jean-François. editor.
http://dx.doi.org/10.1007/978-3-319-18461-6
Format: Electronic Resources

Machine Learning, Optimization, and Big Data First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Pardalos, Panos. editor.
http://dx.doi.org/10.1007/978-3-319-27926-8
Format: Electronic Resources

Machine Learning Meets Medical Imaging First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Bhatia, Kanwal K. editor.
http://dx.doi.org/10.1007/978-3-319-27929-9
Format: Electronic Resources

Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar Suzuki, Joe. editor.
http://dx.doi.org/10.1007/978-3-319-28379-1
Format: Electronic Resources

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 Papers

2024-05-05T18:20:31Z

Yazar Bose, Prosenjit. editor.
http://dx.doi.org/10.1007/978-3-319-28472-9
Format: Electronic Resources

Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-26520-9
Format: Electronic Resources

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Arik, Sabri. editor.
http://dx.doi.org/10.1007/978-3-319-26532-2
Format: Electronic Resources

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Arik, Sabri. editor.
http://dx.doi.org/10.1007/978-3-319-26535-3
Format: Electronic Resources

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III

2024-05-05T18:20:31Z

Yazar Arik, Sabri. editor.
http://dx.doi.org/10.1007/978-3-319-26555-1
Format: Electronic Resources

Neural Information Processing 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV

2024-05-05T18:20:31Z

Yazar Arik, Sabri. editor.
http://dx.doi.org/10.1007/978-3-319-26561-2
Format: Electronic Resources

Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-26841-5
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar D’Souza, Deepak. editor.
http://dx.doi.org/10.1007/978-3-662-46081-8
Format: Electronic Resources

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Halldórsson, Magnús M. editor.
http://dx.doi.org/10.1007/978-3-662-47666-6
Format: Electronic Resources

Web Technologies and Applications APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Cai, Ruichu. editor.
http://dx.doi.org/10.1007/978-3-319-28121-6
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVIII

2024-05-05T18:20:31Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-48145-5
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

2024-05-05T18:20:31Z

Yazar Kari, Jarkko. editor.
http://dx.doi.org/10.1007/978-3-662-47221-7
Format: Electronic Resources

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Halldórsson, Magnús M. editor.
http://dx.doi.org/10.1007/978-3-662-47672-7
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46494-6
Format: Electronic Resources

Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Aguilera, Marcos K. editor.
http://dx.doi.org/10.1007/978-3-319-14472-6
Format: Electronic Resources

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Dick, Grant. editor.
http://dx.doi.org/10.1007/978-3-319-13563-2
Format: Electronic Resources

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-13749-0
Format: Electronic Resources

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31–April 4, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Pardo, Alberto. editor.
http://dx.doi.org/10.1007/978-3-642-54423-1
Format: Electronic Resources

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. Proceedings

2024-05-05T18:20:31Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Nicolau, Miguel. editor.
http://dx.doi.org/10.1007/978-3-662-44303-3
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimisation 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Blum, Christian. editor.
http://dx.doi.org/10.1007/978-3-662-44320-0
Format: Electronic Resources

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar van den Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/978-3-319-09165-5
Format: Electronic Resources

Advances in Autonomous Robotics Systems 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Mistry, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-10401-0
Format: Electronic Resources

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Murata, Satoshi. editor.
http://dx.doi.org/10.1007/978-3-319-11295-4
Format: Electronic Resources

Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Bouchachia, Abdelhamid. editor.
http://dx.doi.org/10.1007/978-3-319-11298-5
Format: Electronic Resources

Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Siarry, Patrick. editor.
http://dx.doi.org/10.1007/978-3-319-12970-9
Format: Electronic Resources

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-05-05T18:20:31Z

Yazar Mendes, Pedro. editor.
http://dx.doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources

Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings

2024-05-05T18:20:31Z

Yazar Bazzan, Ana L.C. editor.
http://dx.doi.org/10.1007/978-3-319-12027-0
Format: Electronic Resources

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Grandinetti, Lucio. editor.
http://dx.doi.org/10.1007/978-3-319-12084-3
Format: Electronic Resources

Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.

2024-05-05T18:20:31Z

Yazar Yoshida, Hiroyuki. editor.
http://dx.doi.org/10.1007/978-3-319-13692-9
Format: Electronic Resources

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources

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. Proceedings

2024-05-05T18:20:31Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

2024-05-05T18:20:31Z

Yazar Atmanspacher, Harald. editor.
http://dx.doi.org/10.1007/978-3-642-54943-4
Format: Electronic Resources

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Alhazov, Artiom. editor.
http://dx.doi.org/10.1007/978-3-642-54239-8
Format: Electronic Resources

Theory of Cryptography 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Lindell, Yehuda. editor.
http://dx.doi.org/10.1007/978-3-642-54242-8
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Ait Ameur, Yamine. editor.
http://dx.doi.org/10.1007/978-3-662-43652-3
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Pointcheval, David. editor.
http://dx.doi.org/10.1007/978-3-319-06734-6
Format: Electronic Resources

Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Pardalos, Panos M. editor.
http://dx.doi.org/10.1007/978-3-319-09584-4
Format: Electronic Resources

Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Blesa, Maria J. editor.
http://dx.doi.org/10.1007/978-3-319-07644-7
Format: Electronic Resources

Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Cheng, Shin-Ming. editor.
http://dx.doi.org/10.1007/978-3-319-13987-6
Format: Electronic Resources

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Brugali, Davide. editor.
http://dx.doi.org/10.1007/978-3-319-11900-7
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12637-1
Format: Electronic Resources

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Pizzuti, Clara. editor.
http://dx.doi.org/10.1007/978-3-319-12745-3
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources

Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-09330-7
Format: Electronic Resources

Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-09333-8
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12640-1
Format: Electronic Resources

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

2024-05-05T18:20:31Z

Yazar Calude, Cristian S. editor.
http://dx.doi.org/10.1007/978-3-319-13350-8
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

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, Proceedings

2024-05-05T18:20:31Z

Yazar Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Esparza, Javier. editor.
http://dx.doi.org/10.1007/978-3-662-43951-7
Format: Electronic Resources

Social Media Processing Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Huang, Heyan. editor.
http://dx.doi.org/10.1007/978-3-662-45558-6
Format: Electronic Resources

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I

2024-05-05T18:20:31Z

Yazar Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-07173-2
Format: Electronic Resources

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II

2024-05-05T18:20:31Z

Yazar Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-07176-3
Format: Electronic Resources

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings

2024-05-05T18:20:31Z

Yazar Krishnamachari, Bhaskar. editor.
http://dx.doi.org/10.1007/978-3-319-04651-8
Format: Electronic Resources

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Hirsch, Edward A. editor.
http://dx.doi.org/10.1007/978-3-319-06686-8
Format: Electronic Resources

Advances in Artificial Intelligence 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Sokolova, Marina. editor.
http://dx.doi.org/10.1007/978-3-319-06483-3
Format: Electronic Resources

Artificial Intelligence: Methods and Applications 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Likas, Aristidis. editor.
http://dx.doi.org/10.1007/978-3-319-07064-3
Format: Electronic Resources

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Yamashita, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources

Artificial Neural Networks in Pattern Recognition 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Gayar, Neamat El. editor.
http://dx.doi.org/10.1007/978-3-319-11656-3
Format: Electronic Resources

Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Legrand, Pierrick. editor.
http://dx.doi.org/10.1007/978-3-319-11683-9
Format: Electronic Resources

Intelligent Strategies for Pathway Mining Model and Pattern Identification

2024-05-05T18:20:31Z

Yazar Chen, Qingfeng. editor.
http://dx.doi.org/10.1007/978-3-319-04172-8
Format: Electronic Resources

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-08019-2
Format: Electronic Resources

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Holzer, Markus. editor.
http://dx.doi.org/10.1007/978-3-319-08846-4
Format: Electronic Resources

From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Pobil, Angel P. del. editor.
http://dx.doi.org/10.1007/978-3-319-08864-8
Format: Electronic Resources

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

2024-05-05T18:20:31Z

Yazar Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/978-3-319-08123-6
Format: Electronic Resources

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Hodicky, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-13823-7
Format: Electronic Resources

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Wąs, Jarosław. editor.
http://dx.doi.org/10.1007/978-3-319-11520-7
Format: Electronic Resources

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Gheorghe, Marian. editor.
http://dx.doi.org/10.1007/978-3-319-14370-5
Format: Electronic Resources

Transactions on Computational Science XXIV Special Issue on Reversible Computing

2024-05-05T18:20:31Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-45711-5
Format: Electronic Resources

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 I

2024-05-05T18:20:31Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources

Regulated Grammars and Automata

2024-05-05T18:20:31Z

Yazar Meduna, Alexander. author.
http://dx.doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2024-05-05T18:20:31Z

Yazar Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-05416-2
Format: Electronic Resources

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Norman, Gethin. editor.
http://dx.doi.org/10.1007/978-3-319-10696-0
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

2024-05-05T18:20:31Z

Yazar Legay, Axel. editor.
http://dx.doi.org/10.1007/978-3-319-10512-3
Format: Electronic Resources

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

2024-05-05T18:20:31Z

Yazar Breugel, Franck van. editor.
http://dx.doi.org/10.1007/978-3-319-06880-0
Format: Electronic Resources