Search Results for Discrete Mathematics in Computer Science.

Stream Ciphers

2026-04-02T03:31:05Z

by Klein, Andreas. author.
http://dx.doi.org/10.1007/978-1-4471-5079-4
Format: Electronic Resources

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

2026-04-02T03:31:05Z

by Gąsieniec, Leszek. editor.
http://dx.doi.org/10.1007/978-3-642-40164-0
Format: Electronic Resources

Ramsey Theory for Discrete Structures

2026-04-02T03:31:05Z

by Prömel, Hans Jürgen. author.
http://dx.doi.org/10.1007/978-3-319-01315-2
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

2026-04-02T03:31:05Z

by Jenkyns, Tom. author.
http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Electronic Resources

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

2026-04-02T03:31:05Z

by Sippu, Seppo. author.
http://dx.doi.org/10.1007/978-3-319-12292-2
Format: Electronic Resources

Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

2026-04-02T03:31:05Z

by Akiyama, Jin. editor.
http://dx.doi.org/10.1007/978-3-642-45281-9
Format: Electronic Resources

Magic Graphs

2026-04-02T03:31:05Z

by Marr, Alison M. author.
http://dx.doi.org/10.1007/978-0-8176-8391-7
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Approximation and Online Algorithms 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers

2026-04-02T03:31:05Z

by Bampis, Evripidis. editor.
http://dx.doi.org/10.1007/978-3-319-18263-6
Format: Electronic Resources

Mathematical Morphology and Its Applications to Signal and Image Processing 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings

2026-04-02T03:31:05Z

by Benediktsson, Jón Atli. editor.
http://dx.doi.org/10.1007/978-3-319-18720-4
Format: Electronic Resources

Clusters, Orders, and Trees: Methods and Applications In Honor of Boris Mirkin's 70th Birthday

2026-04-02T03:31:05Z

by Aleskerov, Fuad. editor.
http://dx.doi.org/10.1007/978-1-4939-0742-7
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Perceptual Image Coding with Discrete Cosine Transform

2026-04-02T03:31:05Z

by Tan, Ee-Leng. author.
http://dx.doi.org/10.1007/978-981-287-543-3
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

2026-04-02T03:31:05Z

by Wismath, Stephen. editor.
http://dx.doi.org/10.1007/978-3-319-03841-4
Format: Electronic Resources

Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings

2026-04-02T03:31:05Z

by Paschos, Vangelis Th. editor.
http://dx.doi.org/10.1007/978-3-319-18173-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

2026-04-02T03:31:05Z

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

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

2026-04-02T03:31:05Z

by Goemans, Michel. editor.
http://dx.doi.org/10.1007/978-3-642-36694-9
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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings

2026-04-02T03:31:05Z

by Nascimento, Mario A. editor.
http://dx.doi.org/10.1007/978-3-642-40235-7
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

2026-04-02T03:31:05Z

by Brandstädt, Andreas. editor.
http://dx.doi.org/10.1007/978-3-642-45043-3
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

2026-04-02T03:31:05Z

by Aydinian, Harout. editor.
http://dx.doi.org/10.1007/978-3-642-36899-8
Format: Electronic Resources

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

2026-04-02T03:31:05Z

by Pfeiffer, Heather D. editor.
http://dx.doi.org/10.1007/978-3-642-35786-2
Format: Electronic Resources

An Introduction to Catalan Numbers

2026-04-02T03:31:05Z

by Roman, Steven. author.
http://dx.doi.org/10.1007/978-3-319-22144-1
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

2026-04-02T03:31:05Z

by Ghosh, Subir Kumar. editor.
http://dx.doi.org/10.1007/978-3-642-36065-7
Format: Electronic Resources

Progress in Cryptology -- INDOCRYPT 2015 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings

2026-04-02T03:31:05Z

by Biryukov, Alex. editor.
http://dx.doi.org/10.1007/978-3-319-26617-6
Format: Electronic Resources

Combinatorial Optimization and Applications 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings

2026-04-02T03:31:05Z

by Lu, Zaixin. editor.
http://dx.doi.org/10.1007/978-3-319-26626-8
Format: Electronic Resources

Hypergraph Theory An Introduction

2026-04-02T03:31:05Z

by Bretto, Alain. author.
http://dx.doi.org/10.1007/978-3-319-00080-0
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Optimal Interconnection Trees in the Plane Theory, Algorithms and Applications

2026-04-02T03:31:05Z

by Brazil, Marcus. author.
http://dx.doi.org/10.1007/978-3-319-13915-9
Format: Electronic Resources

Combinatorial Search: From Algorithms to Systems

2026-04-02T03:31:05Z

by Hamadi, Youssef. author.
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-02T03:31:05Z

by Middendorf, Martin. editor.
http://dx.doi.org/10.1007/978-3-642-37198-1
Format: Electronic Resources

Algorithms and Computation 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings

2026-04-02T03:31:05Z

by Elbassioni, Khaled. editor.
http://dx.doi.org/10.1007/978-3-662-48971-0
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

2026-04-02T03:31:05Z

by Widmayer, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-03780-6
Format: Electronic Resources

Advances in Spatial and Temporal Databases 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015. Proceedings

2026-04-02T03:31:05Z

by Claramunt, Christophe. editor.
http://dx.doi.org/10.1007/978-3-319-22363-6
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Operators for Similarity Search Semantics, Techniques and Usage Scenarios

2026-04-02T03:31:05Z

by P, Deepak. author.
http://dx.doi.org/10.1007/978-3-319-21257-9
Format: Electronic Resources

Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

2026-04-02T03:31:05Z

by Atzmueller, Martin. editor.
http://dx.doi.org/10.1007/978-3-642-45392-2
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings

2026-04-02T03:31:05Z

by Bonato, Anthony. editor.
http://dx.doi.org/10.1007/978-3-319-03536-9
Format: Electronic Resources

Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I

2026-04-02T03:31:05Z

by Gennaro, Rosario. editor.
http://dx.doi.org/10.1007/978-3-662-47989-6
Format: Electronic Resources

Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II

2026-04-02T03:31:05Z

by Gennaro, Rosario. editor.
http://dx.doi.org/10.1007/978-3-662-48000-7
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

2026-04-02T03:31:05Z

by Manea, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-23660-5
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

2026-04-02T03:31:05Z

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

Algorithms in Bioinformatics 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings

2026-04-02T03:31:05Z

by Pop, Mihai. editor.
http://dx.doi.org/10.1007/978-3-662-48221-6
Format: Electronic Resources

Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

2026-04-02T03:31:05Z

by Erlebach, Thomas. editor.
http://dx.doi.org/10.1007/978-3-642-38016-7
Format: Electronic Resources

WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings

2026-04-02T03:31:05Z

by Rahman, M. Sohel. editor.
http://dx.doi.org/10.1007/978-3-319-15612-5
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Regulated Grammars and Automata

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings

2026-04-02T03:31:05Z

by Scheideler, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-25258-2
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Digital and Discrete Geometry Theory and Algorithms

2026-04-02T03:31:05Z

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

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

2026-04-02T03:31:05Z

by Kosowski, Adrian. editor.
http://dx.doi.org/10.1007/978-3-319-22177-9
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings

2026-04-02T03:31:05Z

by Ganguly, Sumit. editor.
http://dx.doi.org/10.1007/978-3-319-14974-5
Format: Electronic Resources

Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers

2026-04-02T03:31:05Z

by Di Giacomo, Emilio. editor.
http://dx.doi.org/10.1007/978-3-319-27261-0
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

2026-04-02T03:31:05Z

by Glass, Kristin. editor.
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

2026-04-02T03:31:05Z

by Moscibroda, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-03578-9
Format: Electronic Resources

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

2026-04-02T03:31:05Z

by Dimov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-642-41515-9
Format: Electronic Resources

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2026-04-02T03:31:05Z

by Béal, Marie-Pierre. editor.
http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

2026-04-02T03:31:05Z

by Johansson, Thomas. editor.
http://dx.doi.org/10.1007/978-3-642-38348-9
Format: Electronic Resources

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

2026-04-02T03:31:05Z

by Botana, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-21362-0
Format: Electronic Resources

Modelling Computing Systems Mathematics for Computer Science

2026-04-02T03:31:05Z

by Moller, Faron. author.
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Semantics of Probabilistic Processes An Operational Approach

2026-04-02T03:31:05Z

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

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

2026-04-02T03:31:05Z

by Cai, Leizhen. editor.
http://dx.doi.org/10.1007/978-3-642-45030-3
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I

2026-04-02T03:31:05Z

by Canetti, Ran. editor.
http://dx.doi.org/10.1007/978-3-642-40041-4
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

2026-04-02T03:31:05Z

by Canetti, Ran. editor.
http://dx.doi.org/10.1007/978-3-642-40084-1
Format: Electronic Resources

Optimization Approaches for Solving String Selection Problems

2026-04-02T03:31:05Z

by Pappalardo, Elisa. author.
http://dx.doi.org/10.1007/978-1-4614-9053-1
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Facets of Combinatorial Optimization Festschrift for Martin Grötschel

2026-04-02T03:31:05Z

by Jünger, Michael. editor.
http://dx.doi.org/10.1007/978-3-642-38189-8
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2026-04-02T03:31:05Z

by Ida, Tetsuo. editor.
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2026-04-02T03:31:05Z

by Muntean, Traian. editor.
http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Electronic Resources

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

2026-04-02T03:31:05Z

by Fischer, Johannes. editor.
http://dx.doi.org/10.1007/978-3-642-38905-4
Format: Electronic Resources

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

2026-04-02T03:31:05Z

by Bar-Noy, Amotz. editor.
http://dx.doi.org/10.1007/978-3-642-36092-3
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Combinatorial Image Analysis 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings

2026-04-02T03:31:05Z

by Barneva, Reneta P. editor.
http://dx.doi.org/10.1007/978-3-319-26145-4
Format: Electronic Resources

Progress in Cryptology - LATINCRYPT 2014 Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers

2026-04-02T03:31:05Z

by Aranha, Diego F. editor.
http://dx.doi.org/10.1007/978-3-319-16295-9
Format: Electronic Resources

Advances in Information and Computer Security 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings

2026-04-02T03:31:05Z

by Tanaka, Keisuke. editor.
http://dx.doi.org/10.1007/978-3-319-22425-1
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

2026-04-02T03:31:05Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-25150-9
Format: Electronic Resources

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

2026-04-02T03:31:05Z

by Bansal, Nikhil. editor.
http://dx.doi.org/10.1007/978-3-662-48350-3
Format: Electronic Resources

Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings

2026-04-02T03:31:05Z

by Groth, Jens. editor.
http://dx.doi.org/10.1007/978-3-319-27239-9
Format: Electronic Resources

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

2026-04-02T03:31:05Z

by Spirakis, Paul G. editor.
http://dx.doi.org/10.1007/978-3-642-38233-8
Format: Electronic Resources

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

2026-04-02T03:31:05Z

by Lecroq, Thierry. editor.
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Electronic Resources

Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts

2026-04-02T03:31:05Z

by Amidror, Isaac. author.
http://dx.doi.org/10.1007/978-1-4471-5167-8
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

2026-04-02T03:31:05Z

by Hendriks, Cris L. Luengo. editor.
http://dx.doi.org/10.1007/978-3-642-38294-9
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

2026-04-02T03:31:05Z

by Tan, Ying. editor.
http://dx.doi.org/10.1007/978-3-642-38715-9
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

2026-04-02T03:31:05Z

by Gribaudo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-18579-8
Format: Electronic Resources

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

2026-04-02T03:31:05Z

by Maletti, Andreas. editor.
http://dx.doi.org/10.1007/978-3-319-23021-4
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

2026-04-02T03:31:05Z

by Gutin, Gregory. editor.
http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

2026-04-02T03:31:05Z

by Tan, Ying. editor.
http://dx.doi.org/10.1007/978-3-642-38703-6
Format: Electronic Resources

Codes, Cryptology, and Information Security First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger

2026-04-02T03:31:05Z

by El Hajji, Said. editor.
http://dx.doi.org/10.1007/978-3-319-18681-8
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2026-04-02T03:31:05Z

by De Nivelle, Hans. editor.
http://dx.doi.org/10.1007/978-3-319-24312-2
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Geometric Science of Information Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings

2026-04-02T03:31:05Z

by Nielsen, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-25040-3
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings

2026-04-02T03:31:05Z

by Nielsen, Frank. editor.
http://dx.doi.org/10.1007/978-3-642-40020-9
Format: Electronic Resources

Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

2026-04-02T03:31:05Z

by Dehne, Frank. editor.
http://dx.doi.org/10.1007/978-3-642-40104-6
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2026-04-02T03:31:05Z

by Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Electronic Resources

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2026-04-02T03:31:05Z

by Emde Boas, Peter van. editor.
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings

2026-04-02T03:31:05Z

by Bampis, Evripidis. editor.
http://dx.doi.org/10.1007/978-3-319-20086-6
Format: Electronic Resources

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

2026-04-02T03:31:05Z

by Bonifaci, Vincenzo. editor.
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: Electronic Resources

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2026-04-02T03:31:05Z

by Fomin, Fedor V. editor.
http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Electronic Resources

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2026-04-02T03:31:05Z

by Fomin, Fedor V. editor.
http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Electronic Resources

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

2026-04-02T03:31:05Z

by Nicosia, Giuseppe. editor.
http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Electronic Resources

Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2026-04-02T03:31:05Z

by Bodlaender, Hans L. editor.
http://dx.doi.org/10.1007/978-3-642-40450-4
Format: Electronic Resources

Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings

2026-04-02T03:31:05Z

by Cicalese, Ferdinando. editor.
http://dx.doi.org/10.1007/978-3-319-19929-0
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2026-04-02T03:31:05Z

by van der Hoek, Wiebe. editor.
http://dx.doi.org/10.1007/978-3-662-48561-3
Format: Electronic Resources

Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday

2026-04-02T03:31:05Z

by Brodnik, Andrej. editor.
http://dx.doi.org/10.1007/978-3-642-40273-9
Format: Electronic Resources

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

2026-04-02T03:31:05Z

by Gonzalez-Diaz, Rocio. editor.
http://dx.doi.org/10.1007/978-3-642-37067-0
Format: Electronic Resources

Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

2026-04-02T03:31:05Z

by Sakiyama, Kazuo. editor.
http://dx.doi.org/10.1007/978-3-642-41383-4
Format: Electronic Resources

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2026-04-02T03:31:05Z

by Jurgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Electronic Resources

Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings

2026-04-02T03:31:05Z

by Gleich, David F. editor.
http://dx.doi.org/10.1007/978-3-319-26784-5
Format: Electronic Resources

Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings

2026-04-02T03:31:05Z

by Kropatsch, Walter G. editor.
http://dx.doi.org/10.1007/978-3-642-38221-5
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

2026-04-02T03:31:05Z

by Kahl, Wolfram. editor.
http://dx.doi.org/10.1007/978-3-319-24704-5
Format: Electronic Resources

Graph-Based Representations in Pattern Recognition 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings

2026-04-02T03:31:05Z

by Liu, Cheng-Lin. editor.
http://dx.doi.org/10.1007/978-3-319-18224-7
Format: Electronic Resources

Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers

2026-04-02T03:31:05Z

by Boissonnat, Jean-Daniel. editor.
http://dx.doi.org/10.1007/978-3-319-22804-4
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2026-04-02T03:31:05Z

by Baldoni, Roberto. editor.
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Electronic Resources

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

2026-04-02T03:31:05Z

by Italiano, Giuseppe F. editor.
http://dx.doi.org/10.1007/978-3-662-48057-1
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers

2026-04-02T03:31:05Z

by Lin, Dongdai. editor.
http://dx.doi.org/10.1007/978-3-319-16745-9
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Concise Computer Mathematics Tutorials on Theory and Problems

2026-04-02T03:31:05Z

by Bagdasar, Ovidiu. author.
http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

2026-04-02T03:31:05Z

by Gomes, Carla. editor.
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2026-04-02T03:31:05Z

by Falaschi, Moreno. editor.
http://dx.doi.org/10.1007/978-3-319-27436-2
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Discrete Event Systems Diagnosis and Diagnosability

2026-04-02T03:31:05Z

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

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2026-04-02T03:31:05Z

by Soloveichik, David. editor.
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

2026-04-02T03:31:05Z

by Hinze, Ralf. editor.
http://dx.doi.org/10.1007/978-3-319-19797-5
Format: Electronic Resources

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-04-02T03:31:05Z

by Bonizzoni, Paola. editor.
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources

Algorithms and Data Structures 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings

2026-04-02T03:31:05Z

by Dehne, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-21840-3
Format: Electronic Resources

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings

2026-04-02T03:31:05Z

by Italiano, Giuseppe F. editor.
http://dx.doi.org/10.1007/978-3-662-46078-8
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

2026-04-02T03:31:05Z

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

Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers

2026-04-02T03:31:05Z

by Jan, Kratochvíl. editor.
http://dx.doi.org/10.1007/978-3-319-19315-1
Format: Electronic Resources

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2026-04-02T03:31:05Z

by Bulatov, Andrei A. editor.
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

2026-04-02T03:31:05Z

by Gerdt, Vladimir P. editor.
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

2026-04-02T03:31:05Z

by Fellows, Michael. editor.
http://dx.doi.org/10.1007/978-3-642-38756-2
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

2026-04-02T03:31:05Z

by Du, Ding-Zhu. editor.
http://dx.doi.org/10.1007/978-3-642-38768-5
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

2026-04-02T03:31:05Z

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

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I

2026-04-02T03:31:05Z

by Blockeel, Hendrik. editor.
http://dx.doi.org/10.1007/978-3-642-40988-2
Format: Electronic Resources

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II

2026-04-02T03:31:05Z

by Blockeel, Hendrik. editor.
http://dx.doi.org/10.1007/978-3-642-40991-2
Format: Electronic Resources

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III

2026-04-02T03:31:05Z

by Blockeel, Hendrik. editor.
http://dx.doi.org/10.1007/978-3-642-40994-3
Format: Electronic Resources

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2026-04-02T03:31:05Z

by Iwama, Kazuo. editor.
http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-04-02T03:31:05Z

by Galmiche, Didier. editor.
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

2026-04-02T03:31:05Z

by Michel, Laurent. editor.
http://dx.doi.org/10.1007/978-3-319-18008-3
Format: Electronic Resources

Latent Variable Analysis and Signal Separation 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings

2026-04-02T03:31:05Z

by Vincent, Emmanuel. editor.
http://dx.doi.org/10.1007/978-3-319-22482-4
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2026-04-02T03:31:05Z

by Grossi, Davide. editor.
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources

Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers

2026-04-02T03:31:05Z

by Koç, Çetin Kaya. editor.
http://dx.doi.org/10.1007/978-3-319-16277-5
Format: Electronic Resources

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

2026-04-02T03:31:05Z

by Parisi-Presicce, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-21145-9
Format: Electronic Resources

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2026-04-02T03:31:05Z

by Chatterjee, Krishnendu. editor.
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings

2026-04-02T03:31:05Z

by Baixeries, Jaume. editor.
http://dx.doi.org/10.1007/978-3-319-19545-2
Format: Electronic Resources

Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday

2026-04-02T03:31:05Z

by Fischlin, Marc. editor.
http://dx.doi.org/10.1007/978-3-642-42001-6
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2026-04-02T03:31:05Z

by Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2026-04-02T03:31:05Z

by Proietti, Maurizio. editor.
http://dx.doi.org/10.1007/978-3-319-17822-6
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2026-04-02T03:31:05Z

by Cabalar, Pedro. editor.
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

2026-04-02T03:31:05Z

by Lauter, Kristin. editor.
http://dx.doi.org/10.1007/978-3-319-22174-8
Format: Electronic Resources

Fairness in Academic Course Timetabling

2026-04-02T03:31:05Z

by Mühlenthaler, Moritz. author.
http://dx.doi.org/10.1007/978-3-319-12799-6
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

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

2026-04-02T03:31:05Z

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

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

2026-04-02T03:31:05Z

by Sako, Kazue. editor.
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: Electronic Resources

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

2026-04-02T03:31:05Z

by Sako, Kazue. editor.
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: Electronic Resources

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

2026-04-02T03:31:05Z

by Raghavendra, Prasad. editor.
http://dx.doi.org/10.1007/978-3-642-40328-6
Format: Electronic Resources

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

2026-04-02T03:31:05Z

by Didimo, Walter. editor.
http://dx.doi.org/10.1007/978-3-642-36763-2
Format: Electronic Resources

Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2026-04-02T03:31:05Z

by Darling, Aaron. editor.
http://dx.doi.org/10.1007/978-3-642-40453-5
Format: Electronic Resources

Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers

2026-04-02T03:31:05Z

by Yung, Moti. editor.
http://dx.doi.org/10.1007/978-3-319-27998-5
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers

2026-04-02T03:31:05Z

by Mangard, Stefan. editor.
http://dx.doi.org/10.1007/978-3-319-21476-4
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures

2026-04-02T03:31:05Z

by Aufaure, Marie-Aude. editor.
http://dx.doi.org/10.1007/978-3-642-36318-4
Format: Electronic Resources

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

2026-04-02T03:31:05Z

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

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

2026-04-02T03:31:05Z

by Stam, Martijn. editor.
http://dx.doi.org/10.1007/978-3-642-45239-0
Format: Electronic Resources

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2026-04-02T03:31:05Z

by Lodaya, Kamal. editor.
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Electronic Resources

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2026-04-02T03:31:05Z

by Schulte, Christian. editor.
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Electronic Resources

Words and Graphs

2026-04-02T03:31:05Z

by Kitaev, Sergey. author.
http://dx.doi.org/10.1007/978-3-319-25859-1
Format: Electronic Resources

Morphological Modeling of Terrains and Volume Data

2026-04-02T03:31:05Z

by Čomić, Lidija. author.
http://dx.doi.org/10.1007/978-1-4939-2149-2
Format: Electronic Resources

Open Problems in Mathematics and Computational Science

2026-04-02T03:31:05Z

by Koç, Çetin Kaya. editor.
http://dx.doi.org/10.1007/978-3-319-10683-0
Format: Electronic Resources

Connected Dominating Set: Theory and Applications

2026-04-02T03:31:05Z

by Du, Ding-Zhu. author.
http://dx.doi.org/10.1007/978-1-4614-5242-3
Format: Electronic Resources

Random Walks, Random Fields, and Disordered Systems

2026-04-02T03:31:05Z

by Bovier, Anton. author.
http://dx.doi.org/10.1007/978-3-319-19339-7
Format: Electronic Resources

Modeling Discrete Competitive Facility Location

2026-04-02T03:31:05Z

by Karakitsiou, Athanasia. author.
http://dx.doi.org/10.1007/978-3-319-21341-5
Format: Electronic Resources

Wavelets Made Easy

2026-04-02T03:31:05Z

by Nievergelt, Yves. author.
http://dx.doi.org/10.1007/978-1-4614-6006-0
Format: Electronic Resources

A Course in Topological Combinatorics

2026-04-02T03:31:05Z

by Longueville, Mark de. author.
http://dx.doi.org/10.1007/978-1-4419-7910-0
Format: Electronic Resources

Lectures on Sphere Arrangements – the Discrete Geometric Side

2026-04-02T03:31:05Z

by Bezdek, Károly. author.
http://dx.doi.org/10.1007/978-1-4614-8118-8
Format: Electronic Resources

Gems of Combinatorial Optimization and Graph Algorithms

2026-04-02T03:31:05Z

by Schulz, Andreas S. editor.
http://dx.doi.org/10.1007/978-3-319-24971-1
Format: Electronic Resources

An Introduction to Mathematical Cryptography

2026-04-02T03:31:05Z

by Hoffstein, Jeffrey. author.
http://dx.doi.org/10.1007/978-1-4939-1711-2
Format: Electronic Resources

Memristor Networks

2026-04-02T03:31:05Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-02630-5
Format: Electronic Resources

Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems

2026-04-02T03:31:05Z

by Shukla, K. K. author.
http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: Electronic Resources

Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information

2026-04-02T03:31:05Z

by Cicalese, Ferdinando. author.
http://dx.doi.org/10.1007/978-3-642-17327-1
Format: Electronic Resources

Discrete and Topological Models in Molecular Biology

2026-04-02T03:31:05Z

by Jonoska, Nataša. editor.
http://dx.doi.org/10.1007/978-3-642-40193-0
Format: Electronic Resources

Introduction to Cryptography with Maple

2026-04-02T03:31:05Z

by Gómez Pardo, José Luis. author.
http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Electronic Resources

Decentralized Spatial Computing Foundations of Geosensor Networks

2026-04-02T03:31:05Z

by Duckham, Matt. author.
http://dx.doi.org/10.1007/978-3-642-30853-6
Format: Electronic Resources

Operator Algebra and Dynamics Nordforsk Network Closing Conference, Faroe Islands, May 2012

2026-04-02T03:31:05Z

by Carlsen, Toke M. editor.
http://dx.doi.org/10.1007/978-3-642-39459-1
Format: Electronic Resources

Handbook of Combinatorial Optimization

2026-04-02T03:31:05Z

by Pardalos, Panos M. editor.
http://dx.doi.org/10.1007/978-1-4419-7997-1
Format: Electronic Resources