Search Results for - Narrowed by: Algorithm Analysis and Problem Complexity. - Computer science.

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2024-05-17T12:18:01Z

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

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2024-05-17T12:18:01Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420
https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources

Computing and Software Science State of the Art and Perspectives

2024-05-17T12:18:01Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Bender, Michael A. editor.
https://doi.org/10.1007/978-3-319-77404-6
Format: Electronic Resources

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2024-05-17T12:18:01Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05057-3
Format: Electronic Resources

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Mitrovic, Tanja. editor.
https://doi.org/10.1007/978-3-030-03991-2
Format: Electronic Resources

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
https://doi.org/10.1007/978-3-319-97589-4
Format: Electronic Resources

Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Lutton, Evelyne. editor.
https://doi.org/10.1007/978-3-319-78133-4
Format: Electronic Resources

Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Liapis, Antonios. editor.
https://doi.org/10.1007/978-3-319-77583-8
Format: Electronic Resources

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478
https://doi.org/10.1007/978-3-319-75172-6
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Castelli, Mauro. editor.
https://doi.org/10.1007/978-3-319-77553-1
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-05-17T12:18:01Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Christodoulou, George. editor.
https://doi.org/10.1007/978-3-030-04612-5
Format: Electronic Resources

Advances in Artificial Intelligence 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Herrera, Francisco. editor. (orcid)0000-0002-7283-312X
https://doi.org/10.1007/978-3-030-00374-6
Format: Electronic Resources

Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Bramer, Max. editor.
https://doi.org/10.1007/978-3-030-04191-5
Format: Electronic Resources

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Castro, Félix. editor.
https://doi.org/10.1007/978-3-030-02837-4
Format: Electronic Resources

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-93815-8
Format: Electronic Resources

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Lambers, Leen. editor. (orcid)0000-0001-6937-5167
https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Li, Lian. editor.
https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Stoyanov, Danail. editor.
https://doi.org/10.1007/978-3-030-00689-1
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243
https://doi.org/10.1007/978-3-319-78658-2
Format: Electronic Resources

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Castro, Félix. editor.
https://doi.org/10.1007/978-3-030-02840-4
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91476-3
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05054-2
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

2024-05-17T12:18:01Z

Yazar Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91479-4
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Dorigo, Marco. editor. (orcid)0000-0002-3971-0507
https://doi.org/10.1007/978-3-030-00533-7
Format: Electronic Resources

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Hoshi, Mizuho. editor.
https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-91271-4
Format: Electronic Resources

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Bajo, Javier. editor.
https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources

Algorithms for Functional Programming

2024-05-17T12:18:01Z

Yazar Stone, John David. author.
https://doi.org/10.1007/978-3-662-57970-1
Format: Electronic Resources

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Brandstädt, Andreas. editor.
https://doi.org/10.1007/978-3-030-00256-5
Format: Electronic Resources

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Amine, Abdelmalek. editor.
https://doi.org/10.1007/978-3-319-89743-1
Format: Electronic Resources

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Gheorghe, Marian. editor.
https://doi.org/10.1007/978-3-319-73359-3
Format: Electronic Resources

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Panda, B.S. editor.
https://doi.org/10.1007/978-3-319-74180-2
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Auger, Anne. editor.
https://doi.org/10.1007/978-3-319-99259-4
Format: Electronic Resources

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Kim, Donghyun. editor.
https://doi.org/10.1007/978-3-030-04651-4
Format: Electronic Resources

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Lirkov, Ivan. editor.
https://doi.org/10.1007/978-3-319-73441-5
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91473-2
Format: Electronic Resources

Random Numbers and Computers

2024-05-17T12:18:01Z

Yazar Kneusel, Ronald T. author.
https://doi.org/10.1007/978-3-319-77697-2
Format: Electronic Resources

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources

Reconfigurable Cryptographic Processor

2024-05-17T12:18:01Z

Yazar Liu, Leibo. author.
https://doi.org/10.1007/978-981-10-8899-5
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Auger, Anne. editor.
https://doi.org/10.1007/978-3-319-99253-2
Format: Electronic Resources

Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks

2024-05-17T12:18:01Z

Yazar Rozonoer, Lev. editor.
https://doi.org/10.1007/978-3-319-99492-5
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

2024-05-17T12:18:01Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05063-4
Format: Electronic Resources

Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Nicosia, Giuseppe. editor.
https://doi.org/10.1007/978-3-319-72926-8
Format: Electronic Resources

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2024-05-17T12:18:01Z

Yazar Korošec, Peter. editor.
https://doi.org/10.1007/978-3-319-91641-5
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Models of Computation for Big Data

2024-05-17T12:18:01Z

Yazar Akerkar, Rajendra. author.
https://doi.org/10.1007/978-3-319-91851-8
Format: Electronic Resources

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2024-05-17T12:18:01Z

Yazar Heckel, Reiko. editor.
https://doi.org/10.1007/978-3-319-75396-6
Format: Electronic Resources

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Dastani, Mehdi. editor.
https://doi.org/10.1007/978-3-319-68972-2
Format: Electronic Resources

Digital Forensics and Watermarking 15th International Workshop, IWDW 2016, Beijing, China, September 17-19, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Shi, Yun Qing. editor.
https://doi.org/10.1007/978-3-319-53465-7
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Squillero, Giovanni. editor.
https://doi.org/10.1007/978-3-319-55792-2
Format: Electronic Resources

Cloud Computing and Security Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part I

2024-05-17T12:18:01Z

Yazar Sun, Xingming. editor.
https://doi.org/10.1007/978-3-319-68505-2
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Martínez de Pisón, Francisco Javier. editor.
https://doi.org/10.1007/978-3-319-59650-1
Format: Electronic Resources

Provable Security 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Okamoto, Tatsuaki. editor. (orcid)0000-0002-8145-5474
https://doi.org/10.1007/978-3-319-68637-0
Format: Electronic Resources

Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Peng, Sheng-Lung. editor.
https://doi.org/10.1007/978-3-319-72329-7
Format: Electronic Resources

Computer Security – ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Foley, Simon N. editor.
https://doi.org/10.1007/978-3-319-66402-6
Format: Electronic Resources

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-66320-3
Format: Electronic Resources

Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Rothe, Jörg. editor.
https://doi.org/10.1007/978-3-319-67504-6
Format: Electronic Resources

Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Lemke-Rust, Kerstin. editor.
https://doi.org/10.1007/978-3-319-54669-8
Format: Electronic Resources

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Kennedy, Juliette. editor.
https://doi.org/10.1007/978-3-662-55386-2
Format: Electronic Resources

Information Security and Privacy 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466
https://doi.org/10.1007/978-3-319-59870-3
Format: Electronic Resources

Computer Security – ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Foley, Simon N. editor.
https://doi.org/10.1007/978-3-319-66399-9
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Weil, Pascal. editor.
https://doi.org/10.1007/978-3-319-58747-9
Format: Electronic Resources

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

2024-05-17T12:18:01Z

Yazar McDermott, James. editor.
https://doi.org/10.1007/978-3-319-55696-3
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-17T12:18:01Z

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-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar de Moura, Leonardo. editor.
https://doi.org/10.1007/978-3-319-63046-5
Format: Electronic Resources

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2024-05-17T12:18:01Z

Yazar Zeume, Thomas. author.
https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Proença, José. editor.
https://doi.org/10.1007/978-3-319-68034-7
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-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Abate, Alessandro. editor.
https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources

WALCOM: Algorithms and Computation 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29–31, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Poon, Sheung-Hung. editor.
https://doi.org/10.1007/978-3-319-53925-6
Format: Electronic Resources

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Cong, Fengyu. editor.
https://doi.org/10.1007/978-3-319-59081-3
Format: Electronic Resources

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Gopal, T.V. editor.
https://doi.org/10.1007/978-3-319-55911-7
Format: Electronic Resources

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar de Lara, Juan. editor. (orcid)0000-0001-9425-6362
https://doi.org/10.1007/978-3-319-61470-0
Format: Electronic Resources

Computational Intelligence in Music, Sound, Art and Design 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19–21, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Correia, João. editor.
https://doi.org/10.1007/978-3-319-55750-2
Format: Electronic Resources

Cloud Computing and Security Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II

2024-05-17T12:18:01Z

Yazar Sun, Xingming. editor.
https://doi.org/10.1007/978-3-319-68542-7
Format: Electronic Resources

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
https://doi.org/10.1007/978-3-319-64119-5
Format: Electronic Resources

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Dou, Yong. editor.
https://doi.org/10.1007/978-3-319-67952-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-62395-5
Format: Electronic Resources

Digital Forensics and Watermarking 16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Kraetzer, Christian. editor.
https://doi.org/10.1007/978-3-319-64185-0
Format: Electronic Resources

Discrete Geometry for Computer Imagery 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 – 21, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Kropatsch, Walter G. editor.
https://doi.org/10.1007/978-3-319-66272-5
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Web and Wireless Geographical Information Systems 15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Brosset, David. editor.
https://doi.org/10.1007/978-3-319-55998-8
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Criado Pacheco, Natalia. editor.
https://doi.org/10.1007/978-3-319-59294-7
Format: Electronic Resources

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Du, Dingzhu. editor.
https://doi.org/10.1007/978-981-10-6893-5
Format: Electronic Resources

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Squillero, Giovanni. editor.
https://doi.org/10.1007/978-3-319-55849-3
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Saeed, Khalid. editor.
https://doi.org/10.1007/978-3-319-59105-6
Format: Electronic Resources

Context-Aware Systems and Applications 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Cong Vinh, Phan. editor.
https://doi.org/10.1007/978-3-319-56357-2
Format: Electronic Resources

Information Security and Privacy 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466
https://doi.org/10.1007/978-3-319-60055-0
Format: Electronic Resources

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

2024-05-17T12:18:01Z

Yazar Hague, Matthew. editor.
https://doi.org/10.1007/978-3-319-67089-8
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-17T12:18:01Z

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

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-319-67035-5
Format: Electronic Resources

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

2024-05-17T12:18:01Z

Yazar R. Devanur, Nikhil. editor.
https://doi.org/10.1007/978-3-319-71924-5
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-17T12:18:01Z

Yazar Chrobak, Marek. editor.
https://doi.org/10.1007/978-3-319-53058-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-17T12:18:01Z

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

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196
https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Liu, Derong. editor.
https://doi.org/10.1007/978-3-319-70087-8
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Mathematical Morphology and Its Applications to Signal and Image Processing 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15–17, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Angulo, Jesús. editor.
https://doi.org/10.1007/978-3-319-57240-6
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Trautmann, Heike. editor.
https://doi.org/10.1007/978-3-319-54157-0
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Barrett, Clark. editor. (orcid)0000-0002-9522-3084
https://doi.org/10.1007/978-3-319-57288-8
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-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Alba, Enrique. editor.
https://doi.org/10.1007/978-3-319-59513-9
Format: Electronic Resources

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Dixon, Clare. editor.
https://doi.org/10.1007/978-3-319-66167-4
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-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

Yazar Brijder, Robert. editor. (orcid)0000-0002-8912-1735
https://doi.org/10.1007/978-3-319-66799-7
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-17T12:18:01Z

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

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Kern-Isberner, Gabriele. editor.
https://doi.org/10.1007/978-3-319-67190-1
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Numerical Analysis and Its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Dimov, Ivan. editor.
https://doi.org/10.1007/978-3-319-57099-0
Format: Electronic Resources

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Beck, J. Christopher. editor.
https://doi.org/10.1007/978-3-319-66158-2
Format: Electronic Resources

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Carmona, Josep. editor. (orcid)0000-0001-9656-254X
https://doi.org/10.1007/978-3-319-65000-5
Format: Electronic Resources

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Charlier, Émilie. editor.
https://doi.org/10.1007/978-3-319-62809-7
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-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2024-05-17T12:18:01Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Rivera, Francisco F. editor. (orcid)0000-0002-6728-9350
https://doi.org/10.1007/978-3-319-64203-1
Format: Electronic Resources

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2024-05-17T12:18:01Z

Yazar Berry, Stuart. editor.
https://doi.org/10.1007/978-3-319-55417-4
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2024-05-17T12:18:01Z

Yazar Laaksonen, Antti. author.
https://doi.org/10.1007/978-3-319-72547-5
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

2024-05-17T12:18:01Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Cong, Fengyu. editor.
https://doi.org/10.1007/978-3-319-59072-1
Format: Electronic Resources

Privacy Technologies and Policy 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Schweighofer, Erich. editor.
https://doi.org/10.1007/978-3-319-67280-9
Format: Electronic Resources

Image and Video Technology – PSIVT 2015 Workshops RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015. Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Huang, Fay. editor.
http://dx.doi.org/10.1007/978-3-319-30285-0
Format: Electronic Resources

Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings

2024-05-17T12:18:01Z

Yazar Bonato, Vanderlei. editor.
http://dx.doi.org/10.1007/978-3-319-30481-6
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Wittevrongel, Sabine. editor.
http://dx.doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Privacy Technologies and Policy 4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Schiffner, Stefan. editor.
http://dx.doi.org/10.1007/978-3-319-44760-5
Format: Electronic Resources

Human Centered Computing Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Zu, Qiaohong. editor.
http://dx.doi.org/10.1007/978-3-319-31854-7
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-17T12:18:01Z

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

Distributed Computing and Internet Technology 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

2024-05-17T12:18:01Z

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

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2024-05-17T12:18:01Z

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

WALCOM: Algorithms and Computation 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Kaykobad, Mohammad. editor.
http://dx.doi.org/10.1007/978-3-319-30139-6
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-17T12:18:01Z

Yazar Luaces, Oscar. editor.
http://dx.doi.org/10.1007/978-3-319-44636-3
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-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

Yazar Hannig, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-30695-7
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-17T12:18:01Z

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

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Rueher, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-44953-1
Format: Electronic Resources

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Gerdt, Vladimir P. editor.
http://dx.doi.org/10.1007/978-3-319-45641-6
Format: Electronic Resources

Principles of Security and Trust 5th International Conference, POST 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-17T12:18:01Z

Yazar Piessens, Frank. editor.
http://dx.doi.org/10.1007/978-3-662-49635-0
Format: Electronic Resources

Harmony Search Algorithm Proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015)

2024-05-17T12:18:01Z

Yazar Kim, Joong Hoon. editor.
http://dx.doi.org/10.1007/978-3-662-47926-1
Format: Electronic Resources

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Väänänen, Jouko. editor.
http://dx.doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Robshaw, Matthew. editor.
http://dx.doi.org/10.1007/978-3-662-53008-5
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III

2024-05-17T12:18:01Z

Yazar Robshaw, Matthew. editor.
http://dx.doi.org/10.1007/978-3-662-53015-3
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Robshaw, Matthew. editor.
http://dx.doi.org/10.1007/978-3-662-53018-4
Format: Electronic Resources

Algorithmic Aspects in Information and Management 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Dondi, Riccardo. editor.
http://dx.doi.org/10.1007/978-3-319-41168-2
Format: Electronic Resources

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Rival, Xavier. editor.
http://dx.doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

Random-Like Bi-level Decision Making

2024-05-17T12:18:01Z

Yazar Xu, Jiuping. author.
http://dx.doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources

Public-Key Cryptography – PKC 2016 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Cheng, Chen-Mou. editor.
http://dx.doi.org/10.1007/978-3-662-49384-7
Format: Electronic Resources

Public-Key Cryptography – PKC 2016 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Cheng, Chen-Mou. editor.
http://dx.doi.org/10.1007/978-3-662-49387-8
Format: Electronic Resources

Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

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

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2024-05-17T12:18:01Z

Yazar Probst, Christian W. editor.
http://dx.doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources

Research in Computational Molecular Biology 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Singh, Mona. editor.
http://dx.doi.org/10.1007/978-3-319-31957-5
Format: Electronic Resources

Digital-Forensics and Watermarking 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Shi, Yun-Qing. editor.
http://dx.doi.org/10.1007/978-3-319-31960-5
Format: Electronic Resources

Database Systems for Advanced Applications DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Gao, Hong. editor.
http://dx.doi.org/10.1007/978-3-319-32055-7
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Shen, Xipeng. editor.
http://dx.doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

Information and Communications Security 17th International Conference, ICICS 2015, Beijing, China, December 9-11, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Qing, Sihan. editor.
http://dx.doi.org/10.1007/978-3-319-29814-6
Format: Electronic Resources

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Kofroň, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-29817-7
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-17T12:18:01Z

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

Pattern Mining with Evolutionary Algorithms

2024-05-17T12:18:01Z

Yazar Ventura, Sebastián. author.
http://dx.doi.org/10.1007/978-3-319-33858-3
Format: Electronic Resources

Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Wierzbicki, Adam. editor.
http://dx.doi.org/10.1007/978-3-319-28361-6
Format: Electronic Resources

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Mauw, Sjouke. editor.
http://dx.doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Abdulla, Parosh Aziz. editor.
http://dx.doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2024-05-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

Yazar Rondelez, Yannick. editor.
http://dx.doi.org/10.1007/978-3-319-43994-5
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-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Paias, Ana. editor.
http://dx.doi.org/10.1007/978-3-319-44896-1
Format: Electronic Resources

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Maruyama, Naoya. editor.
http://dx.doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

Computer Security – ESORICS 2016 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Askoxylakis, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-319-45744-4
Format: Electronic Resources

Post-Quantum Cryptography 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Takagi, Tsuyoshi. editor.
http://dx.doi.org/10.1007/978-3-319-29360-8
Format: Electronic Resources

Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Louveaux, Quentin. editor.
http://dx.doi.org/10.1007/978-3-319-33461-5
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-05-17T12:18:01Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Technology and Practice of Passwords 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7–9, 2015, Proceedings

2024-05-17T12:18:01Z

Yazar Stajano, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-29938-9
Format: Electronic Resources

Information Security and Privacy 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Liu, Joseph K. editor.
http://dx.doi.org/10.1007/978-3-319-40253-6
Format: Electronic Resources

Lightweight Cryptography for Security and Privacy 4th International Workshop, LightSec 2015, Bochum, Germany, September 10–11, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Güneysu, Tim. editor.
http://dx.doi.org/10.1007/978-3-319-29078-2
Format: Electronic Resources

Discrete Geometry for Computer Imagery 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Normand, Nicolas. editor.
http://dx.doi.org/10.1007/978-3-319-32360-2
Format: Electronic Resources

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 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-17T12:18:01Z

Yazar Lluch Lafuente, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Caballero, Juan. editor.
http://dx.doi.org/10.1007/978-3-319-30806-7
Format: Electronic Resources

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries First International Workshop, Brainles 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Crimi, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-30858-6
Format: Electronic Resources

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Greuel, Gert-Martin. editor.
http://dx.doi.org/10.1007/978-3-319-42432-3
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-17T12:18:01Z

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

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Osman, Nardine. editor.
http://dx.doi.org/10.1007/978-3-319-46882-2
Format: Electronic Resources

Databases Theory and Applications 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Cheema, Muhammad Aamir. editor.
http://dx.doi.org/10.1007/978-3-319-46922-5
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Graph-Theoretic Concepts in Computer Science 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers

2024-05-17T12:18:01Z

Yazar Mayr, Ernst W. editor.
http://dx.doi.org/10.1007/978-3-662-53174-7
Format: Electronic Resources

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Squillero, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-319-31153-1
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Squillero, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-319-31204-0
Format: Electronic Resources

Selected Areas in Cryptography - SAC 2015 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Dunkelman, Orr. editor.
http://dx.doi.org/10.1007/978-3-319-31301-6
Format: Electronic Resources

The New Codebreakers Essays Dedicated to David Kahn on the Occasion of His 85th Birthday

2024-05-17T12:18:01Z

Yazar Ryan, Peter Y. A. editor.
http://dx.doi.org/10.1007/978-3-662-49301-4
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Computer Vision – ECCV 2016 Workshops Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Hua, Gang. editor.
http://dx.doi.org/10.1007/978-3-319-46604-0
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Carvalho, Joao Paulo. editor.
http://dx.doi.org/10.1007/978-3-319-40581-0
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I

2024-05-17T12:18:01Z

Yazar Fischlin, Marc. editor.
http://dx.doi.org/10.1007/978-3-662-49890-3
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Fischlin, Marc. editor.
http://dx.doi.org/10.1007/978-3-662-49896-5
Format: Electronic Resources

Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks

2024-05-17T12:18:01Z

Yazar Murty, M.N. author.
http://dx.doi.org/10.1007/978-3-319-41063-0
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Freivalds, Rūsiņš Mārtiņš. editor.
http://dx.doi.org/10.1007/978-3-662-49192-8
Format: Electronic Resources

Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I

2024-05-17T12:18:01Z

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

Applications and Techniques in Information Security 6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Batten, Lynn. editor.
http://dx.doi.org/10.1007/978-981-10-2741-3
Format: Electronic Resources

Big Data Computing and Communications Second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Wang, Yu. editor.
http://dx.doi.org/10.1007/978-3-319-42553-5
Format: Electronic Resources

Knowledge Management and Acquisition for Intelligent Systems 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Ohwada, Hayato. editor.
http://dx.doi.org/10.1007/978-3-319-42706-5
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Yang, Qing. editor.
http://dx.doi.org/10.1007/978-3-319-42836-9
Format: Electronic Resources

Similarity Search and Applications 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Amsaleg, Laurent. editor.
http://dx.doi.org/10.1007/978-3-319-46759-7
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Altmann, Jörn. editor.
http://dx.doi.org/10.1007/978-3-319-43177-2
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Standaert, François-Xavier. editor.
http://dx.doi.org/10.1007/978-3-319-43283-0
Format: Electronic Resources

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Dutot, Pierre-François. editor.
http://dx.doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

Algorithms in Bioinformatics 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Frith, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-43681-4
Format: Electronic Resources

Medical Imaging and Augmented Reality 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Zheng, Guoyan. editor.
http://dx.doi.org/10.1007/978-3-319-43775-0
Format: Electronic Resources

Advances in Neural Networks – ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Cheng, Long. editor.
http://dx.doi.org/10.1007/978-3-319-40663-3
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-17T12:18:01Z

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

Graph-Based Representation and Reasoning 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Haemmerlé, Ollivier. editor.
http://dx.doi.org/10.1007/978-3-319-40985-6
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Gavoille, Cyril. editor.
http://dx.doi.org/10.1007/978-3-662-53426-7
Format: Electronic Resources

Privacy Technologies and Policy Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Berendt, Bettina. editor.
http://dx.doi.org/10.1007/978-3-319-31456-3
Format: Electronic Resources

Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Yung, Moti. editor.
http://dx.doi.org/10.1007/978-3-319-31550-8
Format: Electronic Resources

Information Security and Cryptology 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Lin, Dongdai. editor.
http://dx.doi.org/10.1007/978-3-319-38898-4
Format: Electronic Resources

Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Saeed, Khalid. editor.
http://dx.doi.org/10.1007/978-3-319-45378-1
Format: Electronic Resources

Geographic Information Science 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Miller, Jennifer A. editor.
http://dx.doi.org/10.1007/978-3-319-45738-3
Format: Electronic Resources

Computer Security – ESORICS 2016 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Askoxylakis, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-319-45741-3
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Rovatsos, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Limits of Computation From a Programming Perspective

2024-05-17T12:18:01Z

Yazar Reus, Bernhard. author.
http://dx.doi.org/10.1007/978-3-319-27889-6
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Green, Pervasive, and Cloud Computing 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Huang, Xinyi. editor.
http://dx.doi.org/10.1007/978-3-319-39077-2
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2024-05-17T12:18:01Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32152-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-17T12:18:01Z

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

Big Data Benchmarks, Performance Optimization, and Emerging Hardware 6th Workshop, BPOE 2015, Kohala, HI, USA, August 31 - September 4, 2015. Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Zhan, Jianfeng. editor.
http://dx.doi.org/10.1007/978-3-319-29006-5
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Mamatas, Lefteris. editor.
http://dx.doi.org/10.1007/978-3-319-33936-8
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Solving Large Scale Learning Tasks. Challenges and Algorithms Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday

2024-05-17T12:18:01Z

Yazar Michaelis, Stefan. editor.
http://dx.doi.org/10.1007/978-3-319-41706-6
Format: Electronic Resources

Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Perales, Francisco José. editor.
http://dx.doi.org/10.1007/978-3-319-41778-3
Format: Electronic Resources

Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

2024-05-17T12:18:01Z

Yazar Vrtovec, Tomaž. editor.
http://dx.doi.org/10.1007/978-3-319-41827-8
Format: Electronic Resources

Information Security and Privacy 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Liu, Joseph K. editor.
http://dx.doi.org/10.1007/978-3-319-40367-0
Format: Electronic Resources

Instruction Selection Principles, Methods, and Applications

2024-05-17T12:18:01Z

Yazar Hjort Blindell, Gabriel. author.
http://dx.doi.org/10.1007/978-3-319-34019-7
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2024-05-17T12:18:01Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42089-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2024-05-17T12:18:01Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42092-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2024-05-17T12:18:01Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42108-7
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2024-05-17T12:18:01Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42111-7
Format: Electronic Resources

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

2024-05-17T12:18:01Z

Yazar Göbel, Susanne. author.
http://dx.doi.org/10.1007/978-3-658-11765-8
Format: Electronic Resources

Information Security and Cryptology - ICISC 2015 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Kwon, Soonhak. editor.
http://dx.doi.org/10.1007/978-3-319-30840-1
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-17T12:18:01Z

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

Transactions on Edutainment XII

2024-05-17T12:18:01Z

Yazar Pan, Zhigeng. editor.
http://dx.doi.org/10.1007/978-3-662-50544-1
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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

Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Kochetov, Yury. editor.
http://dx.doi.org/10.1007/978-3-319-44914-2
Format: Electronic Resources

Artificial Intelligence Applications and Innovations 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Iliadis, Lazaros. editor.
http://dx.doi.org/10.1007/978-3-319-44944-9
Format: Electronic Resources

Computational Collective Intelligence 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part I

2024-05-17T12:18:01Z

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

Computational Collective Intelligence 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part II

2024-05-17T12:18:01Z

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

Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Cerulli, Raffaele. editor.
http://dx.doi.org/10.1007/978-3-319-45587-7
Format: Electronic Resources

Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Monrose, Fabian. editor.
http://dx.doi.org/10.1007/978-3-319-45719-2
Format: Electronic Resources

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

2024-05-17T12:18:01Z

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-17T12:18:01Z

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

A Guide to Graph Colouring Algorithms and Applications

2024-05-17T12:18:01Z

Yazar Lewis, R.M.R. author.
http://dx.doi.org/10.1007/978-3-319-25730-3
Format: Electronic Resources

Topics in Cryptology - CT-RSA 2016 The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Sako, Kazue. editor.
http://dx.doi.org/10.1007/978-3-319-29485-8
Format: Electronic Resources

Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Lipták, Zsuzsanna. editor.
http://dx.doi.org/10.1007/978-3-319-29516-9
Format: Electronic Resources

Future and Emergent Trends in Language Technology First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers

2024-05-17T12:18:01Z

Yazar Quesada, José F. editor.
http://dx.doi.org/10.1007/978-3-319-33500-1
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-17T12:18:01Z

Yazar Hajiaghayi, Mohammad Taghi. editor.
http://dx.doi.org/10.1007/978-3-319-28678-5
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-17T12:18:01Z

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

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

2024-05-17T12:18:01Z

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

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Bac, Alexandra. editor.
http://dx.doi.org/10.1007/978-3-319-39441-1
Format: Electronic Resources

Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Schockaert, Steven. editor.
http://dx.doi.org/10.1007/978-3-319-45856-4
Format: Electronic Resources

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2024-05-17T12:18:01Z

Yazar Klusch, Matthias. editor.
http://dx.doi.org/10.1007/978-3-319-45889-2
Format: Electronic Resources

Internet and Distributed Computing Systems 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings

2024-05-17T12:18:01Z

Yazar Li, Wenfeng. editor.
http://dx.doi.org/10.1007/978-3-319-45940-0
Format: Electronic Resources

Machine Learning and Data Mining in Pattern Recognition 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, Proceedings

2024-05-17T12:18:01Z

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