Search Results for - Narrowed by: Electronic Resources - Springer E-Book Collection - 2014 - Discrete Mathematics in Computer Science.

Regulated Grammars and Automata

2024-06-19T23:08:30Z

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

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

2024-06-19T23:08:30Z

Yazar Simovici, Dan A. author.
http://dx.doi.org/10.1007/978-1-4471-6407-4
Format: Electronic Resources

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Giese, Holger. editor.
http://dx.doi.org/10.1007/978-3-319-09108-2
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Shur, Arseny M. editor.
http://dx.doi.org/10.1007/978-3-319-09698-8
Format: Electronic Resources

Frontiers in Algorithmics 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Chen, Jianer. editor.
http://dx.doi.org/10.1007/978-3-319-08016-1
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Combinatorial Image Analysis 16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 28-30, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Barneva, Reneta P. editor.
http://dx.doi.org/10.1007/978-3-319-07148-0
Format: Electronic Resources

Digital and Discrete Geometry Theory and Algorithms

2024-06-19T23:08:30Z

Yazar Chen, Li M. author.
http://dx.doi.org/10.1007/978-3-319-12099-7
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Ciobanu, Gabriel. editor.
http://dx.doi.org/10.1007/978-3-319-10882-7
Format: Electronic Resources

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

2024-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

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

Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 – July 3, 2012, Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Floater, Michael. editor.
http://dx.doi.org/10.1007/978-3-642-54382-1
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

Yazar Murata, Satoshi. editor.
http://dx.doi.org/10.1007/978-3-319-11295-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-06-19T23:08:30Z

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

Discrete and Computational Geometry and Graphs 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Akiyama, Jin. editor.
http://dx.doi.org/10.1007/978-3-319-13287-7
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

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

Algorithms and Computation 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings

2024-06-19T23:08:30Z

Yazar Pal, Sudebkumar Prasant. editor.
http://dx.doi.org/10.1007/978-3-319-04657-0
Format: Electronic Resources

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

2024-06-19T23:08:30Z

Yazar Gaag, Linda C. van der. editor.
http://dx.doi.org/10.1007/978-3-319-11433-0
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-06-19T23:08:30Z

Yazar Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-319-04298-5
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-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

Yazar Höfner, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-06251-8
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-06-19T23:08:30Z

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

Algorithm Theory – SWAT 2014 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Ravi, R. editor.
http://dx.doi.org/10.1007/978-3-319-08404-6
Format: Electronic Resources

Combinatorial Optimization and Applications 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings

2024-06-19T23:08:30Z

Yazar Zhang, Zhao. editor.
http://dx.doi.org/10.1007/978-3-319-12691-3
Format: Electronic Resources

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I

2024-06-19T23:08:30Z

Yazar Csuhaj-Varjú, Erzsébet. editor.
http://dx.doi.org/10.1007/978-3-662-44522-8
Format: Electronic Resources

Multivariate Network Visualization Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions

2024-06-19T23:08:30Z

Yazar Kerren, Andreas. editor.
http://dx.doi.org/10.1007/978-3-319-06793-3
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Combinatorial Optimization Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Fouilhoux, Pierre. editor.
http://dx.doi.org/10.1007/978-3-319-09174-7
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014. Proceedings

2024-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

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

Approximation and Online Algorithms 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Kaklamanis, Christos. editor.
http://dx.doi.org/10.1007/978-3-319-08001-7
Format: Electronic Resources

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Jürgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-09704-6
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Algorithms and Models for the Web Graph 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings

2024-06-19T23:08:30Z

Yazar Bonato, Anthony. editor.
http://dx.doi.org/10.1007/978-3-319-13123-8
Format: Electronic Resources

Discrete Event Systems Diagnosis and Diagnosability

2024-06-19T23:08:30Z

Yazar Sayed-Mouchaweh, Moamar. author.
http://dx.doi.org/10.1007/978-1-4614-0031-8
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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-06-19T23:08:30Z

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

Algorithms for Computational Biology First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns

2024-06-19T23:08:30Z

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

Algorithmic Aspects in Information and Management 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Gu, Qianping. editor.
http://dx.doi.org/10.1007/978-3-319-07956-1
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Lee, Jon. editor.
http://dx.doi.org/10.1007/978-3-319-07557-0
Format: Electronic Resources

Combinatorial Pattern Matching 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings

2024-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

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

Discrete Geometry for Computer Imagery 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Barcucci, Elena. editor.
http://dx.doi.org/10.1007/978-3-319-09955-2
Format: Electronic Resources

Transaction Processing Management of the Logical Database and its Underlying Physical Structure

2024-06-19T23:08:30Z

Yazar Sippu, Seppo. author.
http://dx.doi.org/10.1007/978-3-319-12292-2
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-06-19T23:08:30Z

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

Progress in Cryptology -- INDOCRYPT 2014 15th International Conference on Cryptology in India, New Delhi, India, December 14-17, 2014, Proceedings

2024-06-19T23:08:30Z

Yazar Meier, Willi. editor.
http://dx.doi.org/10.1007/978-3-319-13039-2
Format: Electronic Resources

Selected Areas in Cryptography -- SAC 2014 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Joux, Antoine. editor.
http://dx.doi.org/10.1007/978-3-319-13051-4
Format: Electronic Resources

Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings

2024-06-19T23:08:30Z

Yazar Ahn, Hee-Kap. editor.
http://dx.doi.org/10.1007/978-3-319-13075-0
Format: Electronic Resources

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2024-06-19T23:08:30Z

Yazar Majkić, Zoran. author.
http://dx.doi.org/10.1007/978-3-319-04156-8
Format: Electronic Resources

Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Cygan, Marek. editor.
http://dx.doi.org/10.1007/978-3-319-13524-3
Format: Electronic Resources

Algorithms in Bioinformatics 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Brown, Dan. editor.
http://dx.doi.org/10.1007/978-3-662-44753-6
Format: Electronic Resources

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II

2024-06-19T23:08:30Z

Yazar Csuhaj-Varjú, Erzsébet. editor.
http://dx.doi.org/10.1007/978-3-662-44465-8
Format: Electronic Resources

System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Pötzsche, Christian. editor.
http://dx.doi.org/10.1007/978-3-662-45504-3
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Advances in Cryptology – CRYPTO 2014 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part I

2024-06-19T23:08:30Z

Yazar Garay, Juan A. editor.
http://dx.doi.org/10.1007/978-3-662-44371-2
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2014 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part II

2024-06-19T23:08:30Z

Yazar Garay, Juan A. editor.
http://dx.doi.org/10.1007/978-3-662-44381-1
Format: Electronic Resources

Graph Drawing 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Duncan, Christian. editor.
http://dx.doi.org/10.1007/978-3-662-45803-7
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Algorithms - ESA 2014 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Schulz, Andreas S. editor.
http://dx.doi.org/10.1007/978-3-662-44777-2
Format: Electronic Resources

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

2024-06-19T23:08:30Z

Yazar Barkatou, Moulay. editor.
http://dx.doi.org/10.1007/978-3-642-54479-8
Format: Electronic Resources

Semantics of Probabilistic Processes An Operational Approach

2024-06-19T23:08:30Z

Yazar Deng, Yuxin. author.
http://dx.doi.org/10.1007/978-3-662-45198-4
Format: Electronic Resources

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Diaz, Josep. editor.
http://dx.doi.org/10.1007/978-3-662-44602-7
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

2024-06-19T23:08:30Z

Yazar Schmidt, Kai-Uwe. editor.
http://dx.doi.org/10.1007/978-3-319-12325-7
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers

2024-06-19T23:08:30Z

Yazar Kratsch, Dieter. editor.
http://dx.doi.org/10.1007/978-3-319-12340-0
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

2024-06-19T23:08:30Z

Yazar Hong, Hoon. editor.
http://dx.doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources

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

2024-06-19T23:08:30Z

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

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

2024-06-19T23:08:30Z

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