Search Results for Complexity. - Narrowed by: Computer science.

Narrating Complexity

2026-04-17T22:28:00Z

Author Walsh, Richard. editor. Stepney, Susan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64714-2
Format: Electronic Resources
Availability Online Library~1

Conquering Complexity

2026-04-17T22:28:00Z

Author Hinchey, Mike. editor. Coyle, Lorcan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2297-5
Format: Electronic Resources
Availability Online Library~1

Parameterized Complexity Theory

2026-04-17T22:28:00Z

Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29953-X
Format: Electronic Resources
Availability Online Library~1

Computability and Complexity Theory

2026-04-17T22:28:00Z

Author Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Parameterized Complexity

2026-04-17T22:28:00Z

Author Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331218.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: Electronic Resources
Availability Online Library~1

Algorithmic Randomness and Complexity

2026-04-17T22:28:00Z

Author Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68441-3
Format: Electronic Resources
Availability Online Library~1

Simulating Social Complexity A Handbook

2026-04-17T22:28:00Z

Author Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333042.1)
Electronic Access http://dx.doi.org/10.1007/978-3-540-93813-2
Format: Electronic Resources
Availability Online Library~1

Boolean Function Complexity Advances and Frontiers

2026-04-17T22:28:00Z

Author Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24508-4
Format: Electronic Resources
Availability Online Library~1

Computational Complexity Theory, Techniques, and Applications

2026-04-17T22:28:00Z

Author Meyers, Robert A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1800-9
Format: Electronic Resources
Availability Online Library~1

Information and Complexity in Statistical Modeling

2026-04-17T22:28:00Z

Author Rissanen, Jorma. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68812-1
Format: Electronic Resources
Availability Online Library~1

Data Complexity in Pattern Recognition

2026-04-17T22:28:00Z

Author Basu, Mitra. editor. Ho, Tin Kam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-172-3
Format: Electronic Resources
Availability Online Library~1

The Complexity of Valued Constraint Satisfaction Problems

2026-04-17T22:28:00Z

Author Živný, Stanislav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Electronic Resources
Availability Online Library~1

Network Science Complexity in Nature and Technology

2026-04-17T22:28:00Z

Author Estrada, Ernesto. editor. Fox, Maria. editor. Higham, Desmond J. editor. Oppo, Gian-Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-396-1
Format: Electronic Resources
Availability Online Library~1

Theory of Computation Automata, Formal Languages, Computation and Complexity

2026-04-17T22:28:00Z

Author Chowdhary, K.R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6234-7
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

2026-04-17T22:28:00Z

Author Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97100-6
Format: Electronic Resources
Availability Online Library~1

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

2026-04-17T22:28:00Z

Author Downey, Rod. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53744-8
Format: Electronic Resources
Availability Online Library~1

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

2026-04-17T22:28:00Z

Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05767-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources
Availability Online Library~1

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2026-04-17T22:28:00Z

Author Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60252-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50062-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58741-7
Format: Electronic Resources
Availability Online Library~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-04-17T22:28:00Z

Author Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41114-9
Format: Electronic Resources
Availability Online Library~1

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-04-17T22:28:00Z

Author Skrzypczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332983.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03578-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334778.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334563.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38233-8
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers

2026-04-17T22:28:00Z

Author Even, Guy. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31104-8
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

2026-04-17T22:28:00Z

Author Kutrib, Martin. editor. Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31623-4
Format: Electronic Resources
Availability Online Library~1

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

2026-04-17T22:28:00Z

Author Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35731-2
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011. Proceedings

2026-04-17T22:28:00Z

Author Kosowski, Adrian. editor. Yamashita, Masafumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22212-2
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

2026-04-17T22:28:00Z

Author Holzer, Markus. editor. Kutrib, Martin. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22600-7
Format: Electronic Resources
Availability Online Library~1

Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman

2026-04-17T22:28:00Z

Author Goldreich, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22670-0
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

2026-04-17T22:28:00Z

Author Kutten, Shay. editor. Žerovnik, Janez. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11476-2
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings

2026-04-17T22:28:00Z

Author Calamoneri, Tiziana. editor. Diaz, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13073-1
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings

2026-04-17T22:28:00Z

Author Patt-Shamir, Boaz. editor. Ekim, Tınaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13284-1
Format: Electronic Resources
Availability Online Library~1

AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers

2026-04-17T22:28:00Z

Author Casanovas, Pompeu. editor. Pagallo, Ugo. editor. Sartor, Giovanni. editor. Ajani, Gianmaria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16524-5
Format: Electronic Resources
Availability Online Library~1

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity

2026-04-17T22:28:00Z

Author Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16544-3
Format: Electronic Resources
Availability Online Library~1

An Introduction to Kolmogorov Complexity and Its Applications

2026-04-17T22:28:00Z

Author Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49820-1
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings

2026-04-17T22:28:00Z

Author Shvartsman, Alexander A. editor. Felber, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69355-0
Format: Electronic Resources
Availability Online Library~1

Understanding Planning Tasks Domain Complexity and Heuristic Decomposition

2026-04-17T22:28:00Z

Author Helmert, Malte. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77723-6
Format: Electronic Resources
Availability Online Library~1

Complexity of Constraints An Overview of Current Research Themes

2026-04-17T22:28:00Z

Author Creignou, Nadia. editor. Kolaitis, Phokion G. editor. Vollmer, Heribert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92800-3
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery and Emergent Complexity in Bioinformatics First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers

2026-04-17T22:28:00Z

Author Tuyls, Karl. editor. Westra, Ronald. editor. Saeys, Yvan. editor. Nowé, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71037-0
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings

2026-04-17T22:28:00Z

Author Prencipe, Giuseppe. editor. Zaks, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72951-8
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings

2026-04-17T22:28:00Z

Author Flocchini, Paola. editor. Gąsieniec, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780823
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings

2026-04-17T22:28:00Z

Author Calamoneri, Tiziana. editor. Finocchi, Irene. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11758471
Format: Electronic Resources
Availability Online Library~1

Complexity Theory Exploring the Limits of Efficient Algorithms

2026-04-17T22:28:00Z

Author Wegener, Ingo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27477-4
Format: Electronic Resources
Availability Online Library~1

Complexity Theory and Cryptology An Introduction to Cryptocomplexity

2026-04-17T22:28:00Z

Author Rothe, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28520-2
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings

2026-04-17T22:28:00Z

Author Pelc, Andrzej. editor. Raynal, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136628
Format: Electronic Resources
Availability Online Library~1

Probabilistic Cellular Automata Theory, Applications and Future Perspectives

2026-04-17T22:28:00Z

Author Louis, Pierre-Yves. editor. Nardi, Francesca R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65558-1
Format: Electronic Resources
Availability Online Library~1

The 3rd International Workshop on Intelligent Data Analysis and Management

2026-04-17T22:28:00Z

Author Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.
Preferred Shelf Number ONLINE(336358.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-7293-9
Format: Electronic Resources
Availability Online Library~1

Semantic Web and Web Science

2026-04-17T22:28:00Z

Author Li, Juanzi. editor. Qi, Guilin. editor. Zhao, Dongyan. editor. Nejdl, Wolfgang. editor. Zheng, Hai-Tao. editor.
Preferred Shelf Number ONLINE(332145.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6880-6
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

2026-04-17T22:28:00Z

Author Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82697-9
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

2026-04-17T22:28:00Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1093-8
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

2026-04-17T22:28:00Z

Author Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82670-2
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

2026-04-17T22:28:00Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1195-9
Format: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

2026-04-17T22:28:00Z

Author Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2845-2
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

2026-04-17T22:28:00Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1090-7
Format: Electronic Resources
Availability Online Library~1

An Introduction to Theory of Computation An Algorithmic Approach

2026-04-17T22:28:00Z

Author Ogihara, Mitsunori. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84740-0
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-04-17T22:28:00Z

Author Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85352-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

2026-04-17T22:28:00Z

Author Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77019-7
Format: Electronic Resources
Availability Online Library~1

Principle of Petri Nets

2026-04-17T22:28:00Z

Author Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7336-7
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

2026-04-17T22:28:00Z

Author Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7743-7
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

2026-04-17T22:28:00Z

Author Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49190-0
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-04-17T22:28:00Z

Author Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49193-1
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

2026-04-17T22:28:00Z

Author Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49611-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-04-17T22:28:00Z

Author Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49614-1
Format: Electronic Resources
Availability Online Library~1

Structures of Computing A Guide to Practice-Oriented Theory

2026-04-17T22:28:00Z

Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54358-6
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

2026-04-17T22:28:00Z

Author Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2340-9
Format: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

2026-04-17T22:28:00Z

Author Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0566-5
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-04-17T22:28:00Z

Author Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72621-7
Format: Electronic Resources
Availability Online Library~1

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

2026-04-17T22:28:00Z

Author Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55598-5
Format: Electronic Resources
Availability Online Library~1

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

2026-04-17T22:28:00Z

Author Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55601-2
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

2026-04-17T22:28:00Z

Author Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52113-3
Format: Electronic Resources
Availability Online Library~1

Spiking Neural P Systems Theory, Applications and Implementations

2026-04-17T22:28:00Z

Author Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9282-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00256-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04651-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99259-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Herrera, Francisco. editor. (orcid)0000-0002-7283-312X Damas, Sergio. editor. (orcid)0000-0002-8377-8349 Montes, Rosana. editor. (orcid)0000-0002-0183-044X Alonso, Sergio. editor. (orcid)0000-0001-6620-328X Cordón, Óscar. editor. (orcid)0000-0001-5112-5629
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00374-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99253-2
Format: Electronic Resources
Availability Online Library~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2026-04-17T22:28:00Z

Author Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91155-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78455-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78133-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75172-6
Format: Electronic Resources
Availability Online Library~1

Nonsymmetric Operads in Combinatorics

2026-04-17T22:28:00Z

Author Giraudo, Samuele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02074-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2026-04-17T22:28:00Z

Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Christodoulou, George. editor. Harks, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04612-5
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2026-04-17T22:28:00Z

Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources
Availability Online Library~1

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

2026-04-17T22:28:00Z

Author Kaczorowski, Jerzy. editor. Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76620-1
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-04-17T22:28:00Z

Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6893-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources
Availability Online Library~1

Space in Weak Propositional Proof Systems

2026-04-17T22:28:00Z

Author Bonacina, Ilario. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73453-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55751-8
Format: Electronic Resources
Availability Online Library~1

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

2026-04-17T22:28:00Z

Author Lindell, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57048-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62809-7
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2026-04-17T22:28:00Z

Author Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53933-0
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

2026-04-17T22:28:00Z

Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60134-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58747-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

2026-04-17T22:28:00Z

Author Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66902-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67089-8
Format: Electronic Resources
Availability Online Library~1

The Incomputable Journeys Beyond the Turing Barrier

2026-04-17T22:28:00Z

Author Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43669-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55911-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53733-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-04-17T22:28:00Z

Author Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32859-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30000-9
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications

2026-04-17T22:28:00Z

Author Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29954-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources
Availability Online Library~1

An Introduction to Online Computation Determinism, Randomization, Advice

2026-04-17T22:28:00Z

Author Komm, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42749-2
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2026-04-17T22:28:00Z

Author Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46520-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings

2026-04-17T22:28:00Z

Author Ortner, Ronald. editor. Simon, Hans Ulrich. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46379-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42634-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49096-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53132-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40946-7
Format: Electronic Resources
Availability Online Library~1

An Introduction to Transfer Entropy Information Flow in Complex Systems

2026-04-17T22:28:00Z

Author Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43222-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49099-0
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2026-04-17T22:28:00Z

Author Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45994-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34171-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Zhu, Daming. editor. Bereg, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39817-4
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2026-04-17T22:28:00Z

Author Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48758-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49529-2
Format: Electronic Resources
Availability Online Library~1

Nonlinear Structural Mechanics Theory, Dynamical Phenomena and Modeling

2026-04-17T22:28:00Z

Author Lacarbonara, Walter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330802.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1276-3
Format: Electronic Resources
Availability Online Library~1

Quantum Attacks on Public-Key Cryptosystems

2026-04-17T22:28:00Z

Author Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330828.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330901.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Amidror, Isaac. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331163.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5167-8
Format: Electronic Resources
Availability Online Library~1

Distributed Graph Algorithms for Computer Networks

2026-04-17T22:28:00Z

Author Erciyes, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331165.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5173-9
Format: Electronic Resources
Availability Online Library~1

Model-based Health Monitoring of Hybrid Systems

2026-04-17T22:28:00Z

Author Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332270.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: Electronic Resources
Availability Online Library~1

Handbook of Human Computation

2026-04-17T22:28:00Z

Author Michelucci, Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332449.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: Electronic Resources
Availability Online Library~1

Optimization Approaches for Solving String Selection Problems

2026-04-17T22:28:00Z

Author Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332467.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9053-1
Format: Electronic Resources
Availability Online Library~1

Compressed Sensing with Side Information on the Feasible Region

2026-04-17T22:28:00Z

Author Rostami, Mohammad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332732.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00366-5
Format: Electronic Resources
Availability Online Library~1

Concise Computer Mathematics Tutorials on Theory and Problems

2026-04-17T22:28:00Z

Author Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332887.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources
Availability Online Library~1

Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

2026-04-17T22:28:00Z

Author Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.
Preferred Shelf Number ONLINE(332901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02126-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings

2026-04-17T22:28:00Z

Author Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332920.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02432-5
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings

2026-04-17T22:28:00Z

Author Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332932.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02624-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332980.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03536-9
Format: Electronic Resources
Availability Online Library~1

AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

2026-04-17T22:28:00Z

Author Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03680-9
Format: Electronic Resources
Availability Online Library~1

Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings

2026-04-17T22:28:00Z

Author Bhatnagar, Vasudha. editor. Srinivasa, Srinath. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332988.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03689-2
Format: Electronic Resources
Availability Online Library~1

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

2026-04-17T22:28:00Z

Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332993.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03753-0
Format: Electronic Resources
Availability Online Library~1

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

2026-04-17T22:28:00Z

Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332994.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03756-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03780-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332997.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03841-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

2026-04-17T22:28:00Z

Author Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333000.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03859-9
Format: Electronic Resources
Availability Online Library~1

Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings

2026-04-17T22:28:00Z

Author Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.
Preferred Shelf Number ONLINE(333001.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03871-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

2026-04-17T22:28:00Z

Author Aversa, Rocco. editor. Kołodziej, Joanna. editor. Zhang, Jun. editor. Amato, Flora. editor. Fortino, Giancarlo. editor.
Preferred Shelf Number ONLINE(333003.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03889-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333005.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331104.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: Electronic Resources
Availability Online Library~1

Guide to Programming and Algorithms Using R

2026-04-17T22:28:00Z

Author Ergül, Özgür. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331192.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice X

2026-04-17T22:28:00Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332135.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Electronic Resources
Availability Online Library~1

Modelling Computing Systems Mathematics for Computer Science

2026-04-17T22:28:00Z

Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332574.1)
Electronic Access http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Science, Engineering and Information Technology Proceedings of the Third International Conference on Computational Science, Engineering and Information Technology (CCSEIT-2013), KTO Karatay University, June 7-9, 2013, Konya,Turkey - Volume 1

2026-04-17T22:28:00Z

Author Nagamalai, Dhinaharan. editor. Kumar, Ashok. editor. Annamalai, Annamalai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332821.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00951-3
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings

2026-04-17T22:28:00Z

Author Qing, Sihan. editor. Zhou, Jianying. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332941.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02726-5
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

2026-04-17T22:28:00Z

Author Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02786-9
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings

2026-04-17T22:28:00Z

Author Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number ONLINE(332953.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02895-8
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings

2026-04-17T22:28:00Z

Author Zaman, Halimah Badioze. editor. Robinson, Peter. editor. Olivier, Patrick. editor. Shih, Timothy K. editor. Velastin, Sergio. editor.
Preferred Shelf Number ONLINE(332958.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02958-0
Format: Electronic Resources
Availability Online Library~1

Biometric Recognition 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings

2026-04-17T22:28:00Z

Author Sun, Zhenan. editor. Shan, Shiguan. editor. Yang, Gongping. editor. Zhou, Jie. editor. Wang, Yunhong. editor.
Preferred Shelf Number ONLINE(332959.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02961-0
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

2026-04-17T22:28:00Z

Author Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number ONLINE(332964.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03089-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings

2026-04-17T22:28:00Z

Author Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03161-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332975.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2026-04-17T22:28:00Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333263.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29752-6
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

2026-04-17T22:28:00Z

Author Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333280.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29966-7
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers

2026-04-17T22:28:00Z

Author Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number ONLINE(333559.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32350-8
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

2026-04-17T22:28:00Z

Author Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334097.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35999-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2026-04-17T22:28:00Z

Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number ONLINE(334106.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334112.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36065-7
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings

2026-04-17T22:28:00Z

Author Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334114.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36071-8
Format: Electronic Resources
Availability Online Library~1

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-17T22:28:00Z

Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334121.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36092-3
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

2026-04-17T22:28:00Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334342.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37015-1
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2026-04-17T22:28:00Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334355.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334356.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37067-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers

2026-04-17T22:28:00Z

Author Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334362.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37105-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

2026-04-17T22:28:00Z

Author Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Preferred Shelf Number ONLINE(334370.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37140-0
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-17T22:28:00Z

Author Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334380.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37189-9
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-17T22:28:00Z

Author Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334381.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37192-9
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

2026-04-17T22:28:00Z

Author Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334382.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37195-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334383.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37198-1
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-17T22:28:00Z

Author Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number ONLINE(334384.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

2026-04-17T22:28:00Z

Author Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334386.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37213-1
Format: Electronic Resources
Availability Online Library~1

Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

2026-04-17T22:28:00Z

Author Mangard, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334401.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37288-9
Format: Electronic Resources
Availability Online Library~1

Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers

2026-04-17T22:28:00Z

Author Singh, Karan. editor. Awasthi, Amit K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334505.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37949-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334516.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38016-7
Format: Electronic Resources
Availability Online Library~1

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

2026-04-17T22:28:00Z

Author Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number ONLINE(334517.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38027-3
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings

2026-04-17T22:28:00Z

Author Cai, Zhipeng. editor. Eulenstein, Oliver. editor. Janies, Daniel. editor. Schwartz, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334520.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38036-5
Format: Electronic Resources
Availability Online Library~1

Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

2026-04-17T22:28:00Z

Author Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.
Preferred Shelf Number ONLINE(334639.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38634-3
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

2026-04-17T22:28:00Z

Author Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334572.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38267-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334577.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38294-9
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

2026-04-17T22:28:00Z

Author Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334708.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38986-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings

2026-04-17T22:28:00Z

Author Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334709.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38989-4
Format: Electronic Resources
Availability Online Library~1

Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

2026-04-17T22:28:00Z

Author Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.
Preferred Shelf Number ONLINE(334710.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38998-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2026-04-17T22:28:00Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334722.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

2026-04-17T22:28:00Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334723.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-04-17T22:28:00Z

Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334725.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings

2026-04-17T22:28:00Z

Author Cristofaro, Emiliano. editor. Wright, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334726.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39077-7
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2026-04-17T22:28:00Z

Author Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334626.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings

2026-04-17T22:28:00Z

Author Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Preferred Shelf Number ONLINE(334627.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38577-3
Format: Electronic Resources
Availability Online Library~1

Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings

2026-04-17T22:28:00Z

Author Hancock, Edwin. editor. Pelillo, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334736.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39140-8
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition in Bioinformatics 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings

2026-04-17T22:28:00Z

Author Ngom, Alioune. editor. Formenti, Enrico. editor. Hao, Jin-Kao. editor. Zhao, Xing-Ming. editor. Laarhoven, Twan. editor.
Preferred Shelf Number ONLINE(334739.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39159-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334751.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334753.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Electronic Resources
Availability Online Library~1

Security and Privacy Protection in Information Processing Systems 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings

2026-04-17T22:28:00Z

Author Janczewski, Lech J. editor. Wolfe, Henry B. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334755.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39218-4
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2026-04-17T22:28:00Z

Author Konstantinidis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334771.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39274-0
Format: Electronic Resources
Availability Online Library~1

Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings

2026-04-17T22:28:00Z

Author Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334789.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39357-0
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2026-04-17T22:28:00Z

Author Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334797.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39408-9
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

2026-04-17T22:28:00Z

Author Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number ONLINE(334939.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40395-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40450-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334948.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40453-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources
Availability Online Library~1

Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings

2026-04-17T22:28:00Z

Author Bauschert, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334966.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40552-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-04-17T22:28:00Z

Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334973.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Electronic Resources
Availability Online Library~1

Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

2026-04-17T22:28:00Z

Author Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.
Preferred Shelf Number ONLINE(334975.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40588-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334980.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

2026-04-17T22:28:00Z

Author Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.
Preferred Shelf Number ONLINE(334981.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40643-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334985.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Electronic Resources
Availability Online Library~1

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2026-04-17T22:28:00Z

Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334990.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Electronic Resources
Availability Online Library~1

Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings

2026-04-17T22:28:00Z

Author Gurevych, Iryna. editor. Biemann, Chris. editor. Zesch, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334994.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40722-2
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

2026-04-17T22:28:00Z

Author Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.
Preferred Shelf Number ONLINE(334996.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40728-4
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2026-04-17T22:28:00Z

Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335003.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

2026-04-17T22:28:00Z

Author Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335005.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40793-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems IX

2026-04-17T22:28:00Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334886.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40069-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334888.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40084-1
Format: Electronic Resources
Availability Online Library~1

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2026-04-17T22:28:00Z

Author Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.
Preferred Shelf Number ONLINE(335016.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40843-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

2026-04-17T22:28:00Z

Author Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.
Preferred Shelf Number ONLINE(335017.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40846-5
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

2026-04-17T22:28:00Z

Author Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40867-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40273-9
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings

2026-04-17T22:28:00Z

Author Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335103.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41398-8
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings

2026-04-17T22:28:00Z

Author Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41428-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Search: From Algorithms to Systems

2026-04-17T22:28:00Z

Author Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41482-4
Format: Electronic Resources
Availability Online Library~1

Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

2026-04-17T22:28:00Z

Author Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335111.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41488-6
Format: Electronic Resources
Availability Online Library~1

Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers

2026-04-17T22:28:00Z

Author Qian, Hua. editor. Kang, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335143.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41773-3
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I

2026-04-17T22:28:00Z

Author Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335145.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41822-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335154.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42001-6
Format: Electronic Resources
Availability Online Library~1

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-17T22:28:00Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335157.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42033-7
Format: Electronic Resources
Availability Online Library~1

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-17T22:28:00Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335160.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42045-0
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings

2026-04-17T22:28:00Z

Author Ramanna, Sheela. editor. Lingras, Pawan. editor. Sombattheera, Chattrakul. editor. Krishna, Aneesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335172.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44949-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335182.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45043-3
Format: Electronic Resources
Availability Online Library~1

Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II

2026-04-17T22:28:00Z

Author Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335189.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45111-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335197.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45239-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335202.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2026-04-17T22:28:00Z

Author Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335206.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Electronic Resources
Availability Online Library~1

Techniques and Tools for Designing an Online Social Network Platform

2026-04-17T22:28:00Z

Author Karampelas, Panagiotis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335297.1)
Electronic Access http://dx.doi.org/10.1007/978-3-7091-0787-4
Format: Electronic Resources
Availability Online Library~1

Security and Privacy Preserving in Social Networks

2026-04-17T22:28:00Z

Author Chbeir, Richard. editor. Al Bouna, Bechara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335299.1)
Electronic Access http://dx.doi.org/10.1007/978-3-7091-0894-9
Format: Electronic Resources
Availability Online Library~1

Agent-Based Modelling of Socio-Technical Systems

2026-04-17T22:28:00Z

Author Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335852.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4933-7
Format: Electronic Resources
Availability Online Library~1

Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

2026-04-17T22:28:00Z

Author Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337312.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37972-7
Format: Electronic Resources
Availability Online Library~1

Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen

2026-04-17T22:28:00Z

Author Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337446.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-00189-6
Format: Electronic Resources
Availability Online Library~1

Elementare Kombinatorik für die Informatik Abzählungen, Differenzengleichungen, diskretes Differenzieren und Integrieren

2026-04-17T22:28:00Z

Author Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337657.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-00994-6
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2026-04-17T22:28:00Z

Author Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335043.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2026-04-17T22:28:00Z

Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335046.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

2026-04-17T22:28:00Z

Author Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.
Preferred Shelf Number ONLINE(335048.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41054-3
Format: Electronic Resources
Availability Online Library~1

Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings

2026-04-17T22:28:00Z

Author Brisaboa, Nieves. editor. Pedreira, Oscar. editor. Zezula, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335050.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41062-8
Format: Electronic Resources
Availability Online Library~1

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

2026-04-17T22:28:00Z

Author Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335057.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41098-7
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

2026-04-17T22:28:00Z

Author Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335066.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41157-1
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I

2026-04-17T22:28:00Z

Author Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335069.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41181-6
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II

2026-04-17T22:28:00Z

Author Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335070.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41184-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2026-04-17T22:28:00Z

Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335072.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

2026-04-17T22:28:00Z

Author Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.
Preferred Shelf Number ONLINE(335084.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41278-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

2026-04-17T22:28:00Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334808.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39482-9
Format: Electronic Resources
Availability Online Library~1

Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings

2026-04-17T22:28:00Z

Author Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334813.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39515-4
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2026-04-17T22:28:00Z

Author Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334814.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Electronic Resources
Availability Online Library~1

Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings

2026-04-17T22:28:00Z

Author Gao, Yunjun. editor. Shim, Kyuseok. editor. Ding, Zhiming. editor. Jin, Peiquan. editor. Ren, Zujie. editor.
Preferred Shelf Number ONLINE(334815.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39527-7
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2026-04-17T22:28:00Z

Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335023.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Electronic Resources
Availability Online Library~1

Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings

2026-04-17T22:28:00Z

Author Fürnkranz, Johannes. editor. Hüllermeier, Eyke. editor. Higuchi, Tomoyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335025.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40897-7
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

2026-04-17T22:28:00Z

Author Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335029.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40925-7
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2026-04-17T22:28:00Z

Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335030.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335032.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2026-04-17T22:28:00Z

Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334825.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

2026-04-17T22:28:00Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334826.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39637-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

2026-04-17T22:28:00Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334827.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39640-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

2026-04-17T22:28:00Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334828.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39643-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

2026-04-17T22:28:00Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334829.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39646-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV

2026-04-17T22:28:00Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334830.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39649-6
Format: Electronic Resources
Availability Online Library~1

The Power of Algorithms Inspiration and Examples in Everyday Life

2026-04-17T22:28:00Z

Author Ausiello, Giorgio. editor. Petreschi, Rossella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334831.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39652-6
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

2026-04-17T22:28:00Z

Author Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.
Preferred Shelf Number ONLINE(334838.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39701-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number ONLINE(334915.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40235-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335098.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41383-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334925.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources
Availability Online Library~1

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-17T22:28:00Z

Author Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334929.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40328-6
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings

2026-04-17T22:28:00Z

Author Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334932.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40349-1
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II

2026-04-17T22:28:00Z

Author Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335146.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41827-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335116.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41515-9
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings

2026-04-17T22:28:00Z

Author Afek, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335119.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41527-2
Format: Electronic Resources
Availability Online Library~1

Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems

2026-04-17T22:28:00Z

Author Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335123.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41569-2
Format: Electronic Resources
Availability Online Library~1

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

2026-04-17T22:28:00Z

Author Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335124.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41575-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335176.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

2026-04-17T22:28:00Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335178.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45008-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-17T22:28:00Z

Author Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335180.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45030-3
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

2026-04-17T22:28:00Z

Author Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335181.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45037-2
Format: Electronic Resources
Availability Online Library~1

Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings

2026-04-17T22:28:00Z

Author Chen, Yiling. editor. Immorlica, Nicole. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335183.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45046-4
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

2026-04-17T22:28:00Z

Author Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335190.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45114-0
Format: Electronic Resources
Availability Online Library~1