Search Results for - Narrowed by: Springer E-Book Collection - 2014 - Computer science -- Mathematics. - Artificial intelligence.

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Cai, Zhipeng. editor.
http://dx.doi.org/10.1007/978-3-319-08783-2
Format: Electronic Resources

Data Analytics for Renewable Energy Integration Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers

2024-05-24T16:50:33Z

Yazar Woon, Wei Lee. editor.
http://dx.doi.org/10.1007/978-3-319-13290-7
Format: Electronic Resources

Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings

2024-05-24T16:50:33Z

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

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers

2024-05-24T16:50:33Z

Yazar Colinet, Margot. editor.
http://dx.doi.org/10.1007/978-3-662-44116-9
Format: Electronic Resources

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Morrill, Glyn. editor.
http://dx.doi.org/10.1007/978-3-662-44121-3
Format: Electronic Resources

Automatic Generation of Combinatorial Test Data

2024-05-24T16:50:33Z

Yazar Zhang, Jian. author.
http://dx.doi.org/10.1007/978-3-662-43429-1
Format: Electronic Resources

Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I

2024-05-24T16:50:33Z

Yazar Tan, Ying. editor.
http://dx.doi.org/10.1007/978-3-319-11857-4
Format: Electronic Resources

Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Dwyer, Tim. editor.
http://dx.doi.org/10.1007/978-3-662-44043-8
Format: Electronic Resources

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Kohlenbach, Ulrich. editor.
http://dx.doi.org/10.1007/978-3-662-44145-9
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Höfner, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-06251-8
Format: Electronic Resources

Bayesian and grAphical Models for Biomedical Imaging First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers

2024-05-24T16:50:33Z

Yazar Cardoso, M. Jorge. editor.
http://dx.doi.org/10.1007/978-3-319-12289-2
Format: Electronic Resources

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

2024-05-24T16:50:33Z

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

Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II

2024-05-24T16:50:33Z

Yazar Tan, Ying. editor.
http://dx.doi.org/10.1007/978-3-319-11897-0
Format: Electronic Resources

Uncertainty Modeling for Data Mining A Label Semantics Approach

2024-05-24T16:50:33Z

Yazar Qin, Zengchang. author.
http://dx.doi.org/10.1007/978-3-642-41251-6
Format: Electronic Resources

SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

2024-05-24T16:50:33Z

Yazar Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-319-04298-5
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

2024-05-24T16:50:33Z

Yazar Croitoru, Madalina. editor.
http://dx.doi.org/10.1007/978-3-319-04534-4
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Simonis, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-07046-9
Format: Electronic Resources

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

2024-05-24T16:50:33Z

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

Parallel Problem Solving from Nature – PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Bartz-Beielstein, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-10762-2
Format: Electronic Resources

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2024-05-24T16:50:33Z

Yazar Hanus, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

2024-05-24T16:50:33Z

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

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources

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

2024-05-24T16:50:33Z

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

Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Sinz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources

Probabilistic Graphical Models 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Gaag, Linda C. van der. editor.
http://dx.doi.org/10.1007/978-3-319-11433-0
Format: Electronic Resources

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

2024-05-24T16:50:33Z

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

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Beierle, Christoph. editor.
http://dx.doi.org/10.1007/978-3-319-04939-7
Format: Electronic Resources

Fun with Algorithms 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Ferro, Alfredo. editor.
http://dx.doi.org/10.1007/978-3-319-07890-8
Format: Electronic Resources

Experimental Algorithms 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 – July 1, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Gudmundsson, Joachim. editor.
http://dx.doi.org/10.1007/978-3-319-07959-2
Format: Electronic Resources

Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings

2024-05-24T16:50:33Z

Yazar Hernandez, Nathalie. editor.
http://dx.doi.org/10.1007/978-3-319-08389-6
Format: Electronic Resources

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Watt, Stephen M. editor.
http://dx.doi.org/10.1007/978-3-319-08434-3
Format: Electronic Resources

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar O’Sullivan, Barry. editor.
http://dx.doi.org/10.1007/978-3-319-10428-7
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-24T16:50:33Z

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

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013

2024-05-24T16:50:33Z

Yazar Krishnan, G. Sai Sundara. editor.
http://dx.doi.org/10.1007/978-81-322-1680-3
Format: Electronic Resources

Person Re-Identification

2024-05-24T16:50:33Z

Yazar Gong, Shaogang. editor.
http://dx.doi.org/10.1007/978-1-4471-6296-4
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-05-24T16:50:33Z

Yazar Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

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

2024-05-24T16:50:33Z

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

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

2024-05-24T16:50:33Z

Yazar Aranda-Corral, Gonzalo A. editor.
http://dx.doi.org/10.1007/978-3-319-13770-4
Format: Electronic Resources

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

2024-05-24T16:50:33Z

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