Arama Sonuçları Complexity. - Daraltılmış: Computer science.

Narrating Complexity

2026-04-11T13:22:19Z

Yazar Walsh, Richard. editor. Stepney, Susan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64714-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conquering Complexity

2026-04-11T13:22:19Z

Yazar Hinchey, Mike. editor. Coyle, Lorcan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2297-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parameterized Complexity Theory

2026-04-11T13:22:19Z

Yazar Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-29953-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computability and Complexity Theory

2026-04-11T13:22:19Z

Yazar Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Parameterized Complexity

2026-04-11T13:22:19Z

Yazar Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Yer Numarası ONLINE(331218.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Randomness and Complexity

2026-04-11T13:22:19Z

Yazar Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68441-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulating Social Complexity A Handbook

2026-04-11T13:22:19Z

Yazar Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333042.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93813-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Boolean Function Complexity Advances and Frontiers

2026-04-11T13:22:19Z

Yazar Jukna, Stasys. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24508-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Complexity Theory, Techniques, and Applications

2026-04-11T13:22:19Z

Yazar Meyers, Robert A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1800-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Complexity in Statistical Modeling

2026-04-11T13:22:19Z

Yazar Rissanen, Jorma. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68812-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Complexity in Pattern Recognition

2026-04-11T13:22:19Z

Yazar Basu, Mitra. editor. Ho, Tin Kam. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-172-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Complexity of Valued Constraint Satisfaction Problems

2026-04-11T13:22:19Z

Yazar Živný, Stanislav. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network Science Complexity in Nature and Technology

2026-04-11T13:22:19Z

Yazar Estrada, Ernesto. editor. Fox, Maria. editor. Higham, Desmond J. editor. Oppo, Gian-Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-396-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Computation Automata, Formal Languages, Computation and Complexity

2026-04-11T13:22:19Z

Yazar Chowdhary, K.R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6234-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97100-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

2026-04-11T13:22:19Z

Yazar Downey, Rod. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53744-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05767-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00178-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94779-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60252-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50062-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58741-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-04-11T13:22:19Z

Yazar Zeume, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54314-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-04-11T13:22:19Z

Yazar Skrzypczak, Michał. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-52947-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41114-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334563.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38233-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332983.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03578-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334778.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kutrib, Martin. editor. Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31623-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Even, Guy. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31104-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35731-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Goldreich, Oded. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22670-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kosowski, Adrian. editor. Yamashita, Masafumi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22212-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Holzer, Markus. editor. Kutrib, Martin. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22600-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Calamoneri, Tiziana. editor. Diaz, Josep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13073-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity

2026-04-11T13:22:19Z

Yazar Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16544-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kutten, Shay. editor. Žerovnik, Janez. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11476-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Patt-Shamir, Boaz. editor. Ekim, Tınaz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13284-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Casanovas, Pompeu. editor. Pagallo, Ugo. editor. Sartor, Giovanni. editor. Ajani, Gianmaria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16524-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Shvartsman, Alexander A. editor. Felber, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69355-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Kolmogorov Complexity and Its Applications

2026-04-11T13:22:19Z

Yazar Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-49820-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Planning Tasks Domain Complexity and Heuristic Decomposition

2026-04-11T13:22:19Z

Yazar Helmert, Malte. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77723-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complexity of Constraints An Overview of Current Research Themes

2026-04-11T13:22:19Z

Yazar Creignou, Nadia. editor. Kolaitis, Phokion G. editor. Vollmer, Heribert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92800-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Tuyls, Karl. editor. Westra, Ronald. editor. Saeys, Yvan. editor. Nowé, Ann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71037-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Prencipe, Giuseppe. editor. Zaks, Shmuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72951-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Calamoneri, Tiziana. editor. Finocchi, Irene. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758471
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Flocchini, Paola. editor. Gąsieniec, Leszek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780823
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Pelc, Andrzej. editor. Raynal, Michel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136628
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complexity Theory Exploring the Limits of Efficient Algorithms

2026-04-11T13:22:19Z

Yazar Wegener, Ingo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-27477-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complexity Theory and Cryptology An Introduction to Cryptocomplexity

2026-04-11T13:22:19Z

Yazar Rothe, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28520-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Cellular Automata Theory, Applications and Future Perspectives

2026-04-11T13:22:19Z

Yazar Louis, Pierre-Yves. editor. Nardi, Francesca R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65558-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Web and Web Science

2026-04-11T13:22:19Z

Yazar Li, Juanzi. editor. Qi, Guilin. editor. Zhao, Dongyan. editor. Nejdl, Wolfgang. editor. Zheng, Hai-Tao. editor.
Yer Numarası ONLINE(332145.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6880-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The 3rd International Workshop on Intelligent Data Analysis and Management

2026-04-11T13:22:19Z

Yazar Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.
Yer Numarası ONLINE(336358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-7293-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82670-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1195-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1090-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85352-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82697-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1093-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2845-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Theory of Computation An Algorithmic Approach

2026-04-11T13:22:19Z

Yazar Ogihara, Mitsunori. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84740-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77019-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principle of Petri Nets

2026-04-11T13:22:19Z

Yazar Yuan, Chongyi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7336-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49190-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49193-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49611-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49614-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0566-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2340-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7743-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52113-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structures of Computing A Guide to Practice-Oriented Theory

2026-04-11T13:22:19Z

Yazar Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54358-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55598-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55601-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72621-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spiking Neural P Systems Theory, Applications and Implementations

2026-04-11T13:22:19Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-9282-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonsymmetric Operads in Combinatorics

2026-04-11T13:22:19Z

Yazar Giraudo, Samuele. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02074-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00374-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99253-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Christodoulou, George. editor. Harks, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04612-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2026-04-11T13:22:19Z

Yazar Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91155-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kaczorowski, Jerzy. editor. Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76620-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78455-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75172-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00256-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04651-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99259-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96418-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92991-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78133-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66263-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Yang, Hongseok. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54434-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2026-04-11T13:22:19Z

Yazar Lankhorst, Marc. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53933-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55911-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62809-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Space in Weak Propositional Proof Systems

2026-04-11T13:22:19Z

Yazar Bonacina, Ilario. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73453-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6893-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60134-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58631-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66902-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67089-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Incomputable Journeys Beyond the Turing Barrier

2026-04-11T13:22:19Z

Yazar Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43669-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-55751-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

2026-04-11T13:22:19Z

Yazar Lindell, Yehuda. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57048-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53733-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Weil, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58747-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30000-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34171-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45994-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications

2026-04-11T13:22:19Z

Yazar Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29954-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46520-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32859-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Ortner, Ronald. editor. Simon, Hans Ulrich. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46379-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Zhu, Daming. editor. Bereg, Sergey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39817-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39300-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48758-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49529-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49099-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49096-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Transfer Entropy Information Flow in Complex Systems

2026-04-11T13:22:19Z

Yazar Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43222-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40970-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53132-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42634-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Online Computation Determinism, Randomization, Advice

2026-04-11T13:22:19Z

Yazar Komm, Dennis. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42749-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40946-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear Structural Mechanics Theory, Dynamical Phenomena and Modeling

2026-04-11T13:22:19Z

Yazar Lacarbonara, Walter. author. SpringerLink (Online service)
Yer Numarası ONLINE(330802.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1276-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Yer Numarası ONLINE(330901.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Attacks on Public-Key Cryptosystems

2026-04-11T13:22:19Z

Yazar Yan, Song Y. author. SpringerLink (Online service)
Yer Numarası ONLINE(330828.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Amidror, Isaac. author. SpringerLink (Online service)
Yer Numarası ONLINE(331163.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5167-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Graph Algorithms for Computer Networks

2026-04-11T13:22:19Z

Yazar Erciyes, K. author. SpringerLink (Online service)
Yer Numarası ONLINE(331165.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5173-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Programming and Algorithms Using R

2026-04-11T13:22:19Z

Yazar Ergül, Özgür. author. SpringerLink (Online service)
Yer Numarası ONLINE(331192.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332993.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03753-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332994.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03756-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332995.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03780-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332997.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03841-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332999.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333000.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03859-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.
Yer Numarası ONLINE(333001.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03871-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Aversa, Rocco. editor. Kołodziej, Joanna. editor. Zhang, Jun. editor. Amato, Flora. editor. Fortino, Giancarlo. editor.
Yer Numarası ONLINE(333003.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03889-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333005.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333280.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334097.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35999-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334105.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Yer Numarası ONLINE(334106.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334112.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36065-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334114.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36071-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334121.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36092-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Sahai, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334242.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36594-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36672-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334268.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36694-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334278.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Yer Numarası ONLINE(334280.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36751-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334284.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36763-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334296.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36803-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334299.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36812-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334319.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36899-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Yer Numarası ONLINE(334328.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334330.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36955-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Zheng, Jun. editor. Mitton, Nathalie. editor. Li, Jun. editor. Lorenz, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334331.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36958-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compressed Sensing with Side Information on the Feasible Region

2026-04-11T13:22:19Z

Yazar Rostami, Mohammad. author. SpringerLink (Online service)
Yer Numarası ONLINE(332732.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00366-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334342.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37015-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334355.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334356.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37067-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334362.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37105-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Yer Numarası ONLINE(334370.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37140-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334380.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37189-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334382.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37195-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334383.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37198-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334386.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37213-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334552.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kropatsch, Walter G. editor. Artner, Nicole M. editor. Haxhimusa, Yll. editor. Jiang, Xiaoyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334559.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers

2026-04-11T13:22:19Z

Yazar Guyot, Vincent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334561.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38227-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Yer Numarası ONLINE(331104.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice X

2026-04-11T13:22:19Z

Yazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332135.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Human Computation

2026-04-11T13:22:19Z

Yazar Michelucci, Pietro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332449.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization Approaches for Solving String Selection Problems

2026-04-11T13:22:19Z

Yazar Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)
Yer Numarası ONLINE(332467.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-9053-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Computing Systems Mathematics for Computer Science

2026-04-11T13:22:19Z

Yazar Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332574.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Nagamalai, Dhinaharan. editor. Kumar, Ashok. editor. Annamalai, Annamalai. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00951-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Computer Mathematics Tutorials on Theory and Problems

2026-04-11T13:22:19Z

Yazar Bagdasar, Ovidiu. author. SpringerLink (Online service)
Yer Numarası ONLINE(332887.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332892.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.
Yer Numarası ONLINE(332901.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02126-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332910.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332920.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02432-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332932.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02624-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29752-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Yer Numarası ONLINE(333559.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32350-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334014.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334022.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Yer Numarası ONLINE(334025.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35668-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334048.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35786-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Yer Numarası ONLINE(334064.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Wang, Ruchuan. editor. Xiao, Fu. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334157.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36252-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

2026-04-11T13:22:19Z

Yazar Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334174.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36315-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Aufaure, Marie-Aude. editor. Zimányi, Esteban. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334175.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36318-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334176.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36321-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334179.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36334-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Kirchner, Matthias. editor. Ghosal, Dipak. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334187.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36373-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334381.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37192-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Yer Numarası ONLINE(334384.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2026-04-11T13:22:19Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334549.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Mangard, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334401.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37288-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334572.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38267-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334577.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38294-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Peterson, Leif E. editor. Masulli, Francesco. editor. Russo, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334585.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38342-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334587.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38348-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Yer Numarası ONLINE(334612.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38516-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334615.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38527-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334617.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334626.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Yer Numarası ONLINE(334627.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38577-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Gaborit, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334635.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38616-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

2026-04-11T13:22:19Z

Yazar Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334636.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38622-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334808.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39482-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334813.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39515-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334814.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Gao, Yunjun. editor. Shim, Kyuseok. editor. Ding, Zhiming. editor. Jin, Peiquan. editor. Ren, Zujie. editor.
Yer Numarası ONLINE(334815.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39527-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334825.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334826.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39637-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334827.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39640-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334828.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39643-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334829.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39646-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334830.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39649-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Power of Algorithms Inspiration and Examples in Everyday Life

2026-04-11T13:22:19Z

Yazar Ausiello, Giorgio. editor. Petreschi, Rossella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334831.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39652-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.
Yer Numarası ONLINE(334838.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39701-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Perner, Petra. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334839.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39712-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334844.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334871.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39958-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Public Key Infrastructures, Services and Applications 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Capitani di Vimercati, Sabrina. editor. Mitchell, Chris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334878.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40012-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334879.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40020-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Prouff, Emmanuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334880.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40026-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334881.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40041-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334886.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40069-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334888.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40084-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334893.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40104-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contemporary Evolution Strategies

2026-04-11T13:22:19Z

Yazar Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(334897.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40137-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Systems First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Gramoli, Vincent. editor. Guerraoui, Rachid. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334899.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40148-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334901.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40164-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Yer Numarası ONLINE(334915.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40235-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40273-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334929.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40328-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334932.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40349-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Schulte, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334980.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335098.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41383-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335145.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41822-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335146.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41827-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335103.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41398-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335105.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41428-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335154.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-42001-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335157.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-42033-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335160.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-42045-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Ramanna, Sheela. editor. Lingras, Pawan. editor. Sombattheera, Chattrakul. editor. Krishna, Aneesh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335172.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-44949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335176.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335180.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45030-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45037-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335124.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41575-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335190.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45114-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Stam, Martijn. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335197.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45239-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335202.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335203.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45281-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335206.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335214.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45392-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Based Modelling of Socio-Technical Systems

2026-04-11T13:22:19Z

Yazar Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335852.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4933-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)
Yer Numarası ONLINE(337312.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37972-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.
Yer Numarası ONLINE(334639.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38634-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

2026-04-11T13:22:19Z

Yazar Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334640.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38637-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334653.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38703-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334657.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38715-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

2026-04-11T13:22:19Z

Yazar Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334658.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38718-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334663.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38756-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334665.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38768-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334666.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334695.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38905-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Huth, Michael. editor. Asokan, N. editor. Čapkun, Srdjan. editor. Flechais, Ivan. editor. Coles-Kemp, Lizzie. editor.
Yer Numarası ONLINE(334696.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38908-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334708.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38986-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar 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)
Yer Numarası ONLINE(334709.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38989-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.
Yer Numarası ONLINE(334710.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38998-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334718.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334722.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334723.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2026-04-11T13:22:19Z

Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334724.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334725.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Cristofaro, Emiliano. editor. Wright, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334726.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334789.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39357-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334797.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39408-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Yer Numarası ONLINE(334939.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40395-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334947.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40450-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334948.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40453-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Bauschert, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334966.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40552-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.
Yer Numarası ONLINE(334975.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40588-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11T13:22:19Z

Yazar Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.
Yer Numarası ONLINE(334981.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40643-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-11T13:22:19Z

Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334985.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1