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

Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Dimov, Ivan. editor.
https://doi.org/10.1007/978-3-030-11539-5
Format: Electronic Resources

Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011
https://doi.org/10.1007/978-3-030-16670-0
Format: Electronic Resources

Algorithms for Sensor Systems 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Gilbert, Seth. editor. (orcid)0000-0003-3298-7412
https://doi.org/10.1007/978-3-030-14094-6
Format: Electronic Resources

Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Du, Ding-Zhu. editor.
https://doi.org/10.1007/978-3-030-26176-4
Format: Electronic Resources

Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Nikolov, Geno. editor. (orcid)0000-0001-5608-2488
https://doi.org/10.1007/978-3-030-10692-8
Format: Electronic Resources

Web and Big Data Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I

2024-05-04T09:50:19Z

Yazar Shao, Jie. editor.
https://doi.org/10.1007/978-3-030-26072-9
Format: Electronic Resources

Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Pal, Sudebkumar Prasant. editor.
https://doi.org/10.1007/978-3-030-11509-8
Format: Electronic Resources

Business and Consumer Analytics: New Ideas

2024-05-04T09:50:19Z

Yazar Moscato, Pablo. editor.
https://doi.org/10.1007/978-3-030-06222-4
Format: Electronic Resources

Algorithms and Complexity 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Heggernes, Pinar. editor.
https://doi.org/10.1007/978-3-030-17402-6
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

2024-05-04T09:50:19Z

Yazar Sau, Ignasi. editor. (orcid)0000-0002-8981-9287
https://doi.org/10.1007/978-3-030-30786-8
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122
https://doi.org/10.1007/978-3-030-16711-0
Format: Electronic Resources

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar van Bevern, René. editor. (orcid)0000-0002-4805-218X
https://doi.org/10.1007/978-3-030-19955-5
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
https://doi.org/10.1007/978-3-030-30493-5
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources

Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Colbourn, Charles J. editor.
https://doi.org/10.1007/978-3-030-25005-8
Format: Electronic Resources

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Khachay, Michael. editor. (orcid)0000-0003-3555-0080
https://doi.org/10.1007/978-3-030-22629-9
Format: Electronic Resources

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-030-23611-3
Format: Electronic Resources

Hybrid Metaheuristics 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Blesa Aguilera, Maria J. editor. (orcid)0000-0001-8246-9926
https://doi.org/10.1007/978-3-030-05983-5
Format: Electronic Resources

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Catania, Barbara. editor. (orcid)0000-0002-6443-169X
https://doi.org/10.1007/978-3-030-10801-4
Format: Electronic Resources

WALCOM: Algorithms and Computation 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Das, Gautam K. editor. (orcid)0000-0001-7471-2885
https://doi.org/10.1007/978-3-030-10564-8
Format: Electronic Resources

Variable Neighborhood Search 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Sifaleras, Angelo. editor.
https://doi.org/10.1007/978-3-030-15843-9
Format: Electronic Resources

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Manea, Florin. editor.
https://doi.org/10.1007/978-3-030-22996-2
Format: Electronic Resources

Logic Functions and Equations Binary Models for Computer Science

2024-05-04T09:50:19Z

Yazar Posthoff, Christian. author.
https://doi.org/10.1007/978-3-030-02420-8
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-05-04T09:50:19Z

Yazar Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-60651-3
Format: Electronic Resources

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Gopal, T.V. editor.
https://doi.org/10.1007/978-3-030-14812-6
Format: Electronic Resources

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar McQuillan, Ian. editor.
https://doi.org/10.1007/978-3-030-19311-9
Format: Electronic Resources

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Holmes, Ian. editor. (orcid)0000-0001-7639-5369
https://doi.org/10.1007/978-3-030-18174-1
Format: Electronic Resources

Magic and Antimagic Graphs Attributes, Observations and Challenges in Graph Labelings

2024-05-04T09:50:19Z

Yazar Bača, Martin. author.
https://doi.org/10.1007/978-3-030-24582-5
Format: Electronic Resources

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
https://doi.org/10.1007/978-3-030-05348-2
Format: Electronic Resources

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682
https://doi.org/10.1007/978-3-030-21363-3
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Disser, Yann. editor. (orcid)0000-0002-2085-0454
https://doi.org/10.1007/978-3-030-19759-9
Format: Electronic Resources

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Khan, Md. Aquil. editor.
https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Bojańczyk, Mikołaj. editor.
https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources

Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Friggstad, Zachary. editor.
https://doi.org/10.1007/978-3-030-24766-9
Format: Electronic Resources

Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814
https://doi.org/10.1007/978-3-030-25027-0
Format: Electronic Resources

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Lodi, Andrea. editor. (orcid)0000-0001-9269-633X
https://doi.org/10.1007/978-3-030-17953-3
Format: Electronic Resources

Algorithmic Aspects in Information and Management 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Du, Ding-Zhu. editor.
https://doi.org/10.1007/978-3-030-27195-4
Format: Electronic Resources

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-030-13435-8
Format: Electronic Resources

Graph-Based Representations in Pattern Recognition 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Conte, Donatello. editor. (orcid)0000-0003-4642-4768
https://doi.org/10.1007/978-3-030-20081-7
Format: Electronic Resources

Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Censor-Hillel, Keren. editor.
https://doi.org/10.1007/978-3-030-24922-9
Format: Electronic Resources

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Coecke, Bob. editor. (orcid)0000-0002-5310-8723
https://doi.org/10.1007/978-3-030-35895-2
Format: Electronic Resources

Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Avrachenkov, Konstantin. editor.
https://doi.org/10.1007/978-3-030-25070-6
Format: Electronic Resources

Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Li, Yingshu. editor.
https://doi.org/10.1007/978-3-030-36412-0
Format: Electronic Resources

Frontiers in Algorithmics 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Chen, Yijia. editor.
https://doi.org/10.1007/978-3-030-18126-0
Format: Electronic Resources

Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

2024-05-04T09:50:19Z

Yazar Hildebrandt, Thomas. editor. (orcid)0000-0002-7435-5563
https://doi.org/10.1007/978-3-030-26619-6
Format: Electronic Resources

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713
https://doi.org/10.1007/978-3-319-73915-1
Format: Electronic Resources

Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Lee, Jon. editor.
https://doi.org/10.1007/978-3-319-96151-4
Format: Electronic Resources

Artificial Intelligence First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Zhou, Zhi-Hua. editor.
https://doi.org/10.1007/978-981-13-2122-1
Format: Electronic Resources

Fourier Analysis—A Signal Processing Approach

2024-05-04T09:50:19Z

Yazar Sundararajan, D. author.
https://doi.org/10.1007/978-981-13-1693-7
Format: Electronic Resources

Lai-Massey Cipher Designs History, Design Criteria and Cryptanalysis

2024-05-04T09:50:19Z

Yazar Nakahara Jr., Jorge. author.
https://doi.org/10.1007/978-3-319-68273-0
Format: Electronic Resources

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Deng, Xiaotie. editor.
https://doi.org/10.1007/978-3-319-99660-8
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Auger, Anne. editor.
https://doi.org/10.1007/978-3-319-99259-4
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Auger, Anne. editor.
https://doi.org/10.1007/978-3-319-99253-2
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Herrera, Francisco. editor. (orcid)0000-0002-7283-312X
https://doi.org/10.1007/978-3-030-00374-6
Format: Electronic Resources

Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Alves, Ronnie. editor. (orcid)0000-0003-4139-0562
https://doi.org/10.1007/978-3-030-01722-4
Format: Electronic Resources

Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Biedl, Therese. editor. (orcid)0000-0002-9003-3783
https://doi.org/10.1007/978-3-030-04414-5
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Davenport, James H. editor. (orcid)0000-0002-3982-7545
https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources

Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Epstein, Leah. editor.
https://doi.org/10.1007/978-3-030-04693-4
Format: Electronic Resources

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Bai, Xiao. editor.
https://doi.org/10.1007/978-3-319-97785-0
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2024-05-04T09:50:19Z

Yazar Moreno-Díaz, Roberto. editor.
https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources

Nonsymmetric Operads in Combinatorics

2024-05-04T09:50:19Z

Yazar Giraudo, Samuele. author.
https://doi.org/10.1007/978-3-030-02074-3
Format: Electronic Resources

Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Lotker, Zvi. editor.
https://doi.org/10.1007/978-3-030-01325-7
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Lambers, Leen. editor. (orcid)0000-0001-6937-5167
https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar van Hoeve, Willem-Jan. editor.
https://doi.org/10.1007/978-3-319-93031-2
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Kaczorowski, Jerzy. editor.
https://doi.org/10.1007/978-3-319-76620-1
Format: Electronic Resources

The Discrete Math Workbook A Companion Manual for Practical Study

2024-05-04T09:50:19Z

Yazar Kurgalin, Sergei. author.
https://doi.org/10.1007/978-3-319-92645-2
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2024-05-04T09:50:19Z

Yazar Moreno-Díaz, Roberto. editor.
https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources

Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Tang, Shaojie. editor.
https://doi.org/10.1007/978-3-030-04618-7
Format: Electronic Resources

Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Wang, Lusheng. editor.
https://doi.org/10.1007/978-3-319-94776-1
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Kim, Donghyun. editor.
https://doi.org/10.1007/978-3-030-04651-4
Format: Electronic Resources

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

2024-05-04T09:50:19Z

Yazar Böckenhauer, Hans-Joachim. editor.
https://doi.org/10.1007/978-3-319-98355-4
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Christodoulou, George. editor.
https://doi.org/10.1007/978-3-030-04612-5
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Alistarh, Dan. editor.
https://doi.org/10.1007/978-3-319-74875-7
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122
https://doi.org/10.1007/978-3-319-77449-7
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Brandstädt, Andreas. editor.
https://doi.org/10.1007/978-3-030-00256-5
Format: Electronic Resources

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2024-05-04T09:50:19Z

Yazar Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651
https://doi.org/10.1007/978-3-319-91155-7
Format: Electronic Resources

Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627
https://doi.org/10.1007/978-3-319-78825-8
Format: Electronic Resources

Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Solis-Oba, Roberto. editor. (orcid)0000-0002-7518-4161
https://doi.org/10.1007/978-3-319-89441-6
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Chen, Jianer. editor.
https://doi.org/10.1007/978-3-319-78455-7
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-05-04T09:50:19Z

Yazar Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-58381-4
Format: Electronic Resources

Guide to Graph Algorithms Sequential, Parallel and Distributed

2024-05-04T09:50:19Z

Yazar Erciyes, K. author.
https://doi.org/10.1007/978-3-319-73235-0
Format: Electronic Resources

Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Iliopoulos, Costas. editor.
https://doi.org/10.1007/978-3-319-94667-2
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Jenkyns, Tom. author.
https://doi.org/10.1007/978-3-319-70151-6
Format: Electronic Resources

Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Chapman, Peter. editor. (orcid)0000-0002-5524-5780
https://doi.org/10.1007/978-3-319-91379-7
Format: Electronic Resources

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Fomin, Fedor V. editor.
https://doi.org/10.1007/978-3-319-90530-3
Format: Electronic Resources

Algorithms for Computational Biology 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Jansson, Jesper. editor. (orcid)0000-0001-6859-8932
https://doi.org/10.1007/978-3-319-91938-6
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Lutton, Evelyne. editor.
https://doi.org/10.1007/978-3-319-78133-4
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478
https://doi.org/10.1007/978-3-319-75172-6
Format: Electronic Resources

Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

2024-05-04T09:50:19Z

Yazar Konstantinidis, Stavros. editor.
https://doi.org/10.1007/978-3-319-94631-3
Format: Electronic Resources

Mathematics and Computation in Music 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236
https://doi.org/10.1007/978-3-319-71827-9
Format: Electronic Resources

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar McDermott, James. editor.
https://doi.org/10.1007/978-3-319-55696-3
Format: Electronic Resources

WALCOM: Algorithms and Computation 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29–31, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Poon, Sheung-Hung. editor.
https://doi.org/10.1007/978-3-319-53925-6
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534
https://doi.org/10.1007/978-3-319-64647-3
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II

2024-05-04T09:50:19Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-62395-5
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Höfner, Peter. editor.
https://doi.org/10.1007/978-3-319-57418-9
Format: Electronic Resources

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar de Lara, Juan. editor. (orcid)0000-0001-9425-6362
https://doi.org/10.1007/978-3-319-61470-0
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II

2024-05-04T09:50:19Z

Yazar Coron, Jean-Sébastien. editor.
https://doi.org/10.1007/978-3-319-56614-6
Format: Electronic Resources

Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Xiao, Mingyu. editor. (orcid)0000-0002-1012-2373
https://doi.org/10.1007/978-3-319-59605-1
Format: Electronic Resources

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Baltag, Alexandru. editor.
https://doi.org/10.1007/978-3-662-55665-8
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Kari, Jarkko. editor.
https://doi.org/10.1007/978-3-319-58741-7
Format: Electronic Resources

Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Ellen, Faith. editor. (orcid)0000-0003-4473-931X
https://doi.org/10.1007/978-3-319-62127-2
Format: Electronic Resources

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

2024-05-04T09:50:19Z

Yazar Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
https://doi.org/10.1007/978-3-319-71150-8
Format: Electronic Resources

Algorithms and Complexity 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Fotakis, Dimitris. editor. (orcid)0000-0001-6864-8960
https://doi.org/10.1007/978-3-319-57586-5
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Klasing, Ralf. editor.
https://doi.org/10.1007/978-3-662-55751-8
Format: Electronic Resources

Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Eisenbrand, Friedrich. editor.
https://doi.org/10.1007/978-3-319-59250-3
Format: Electronic Resources

Approximation and Online Algorithms 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25–26, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Jansen, Klaus. editor.
https://doi.org/10.1007/978-3-319-51741-4
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Bodlaender, Hans L. editor.
https://doi.org/10.1007/978-3-319-68705-6
Format: Electronic Resources

Graph-Based Representations in Pattern Recognition 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16–18, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Foggia, Pasquale. editor. (orcid)0000-0002-7096-1902
https://doi.org/10.1007/978-3-319-58961-9
Format: Electronic Resources

Advances in Spatial and Temporal Databases 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 – 23, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Gertz, Michael. editor.
https://doi.org/10.1007/978-3-319-64367-0
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Salvagnin, Domenico. editor.
https://doi.org/10.1007/978-3-319-59776-8
Format: Electronic Resources

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Carmona, Josep. editor. (orcid)0000-0001-9656-254X
https://doi.org/10.1007/978-3-319-65000-5
Format: Electronic Resources

Topics in Cryptology – CT-RSA 2017 The Cryptographers’ Track at the RSA Conference 2017, San Francisco, CA, USA, February 14–17, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Handschuh, Helena. editor.
https://doi.org/10.1007/978-3-319-52153-4
Format: Electronic Resources

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23–28, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Floater, Michael. editor.
https://doi.org/10.1007/978-3-319-67885-6
Format: Electronic Resources

Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Das, Shantanu. editor.
https://doi.org/10.1007/978-3-319-72050-0
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III

2024-05-04T09:50:19Z

Yazar Coron, Jean-Sébastien. editor.
https://doi.org/10.1007/978-3-319-56617-7
Format: Electronic Resources

Mathematical Morphology and Its Applications to Signal and Image Processing 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15–17, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Angulo, Jesús. editor.
https://doi.org/10.1007/978-3-319-57240-6
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Charlier, Émilie. editor.
https://doi.org/10.1007/978-3-319-62809-7
Format: Electronic Resources

Computing and Combinatorics 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Cao, Yixin. editor. (orcid)0000-0002-6927-438X
https://doi.org/10.1007/978-3-319-62389-4
Format: Electronic Resources

Theoretical Computer Science and Discrete Mathematics First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Arumugam, S. editor.
https://doi.org/10.1007/978-3-319-64419-6
Format: Electronic Resources

Progress in Cryptology – INDOCRYPT 2017 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Patra, Arpita. editor.
https://doi.org/10.1007/978-3-319-71667-1
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Hu, Bin. editor.
https://doi.org/10.1007/978-3-319-55453-2
Format: Electronic Resources

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Brijder, Robert. editor. (orcid)0000-0002-8912-1735
https://doi.org/10.1007/978-3-319-66799-7
Format: Electronic Resources

Algorithms for Computational Biology 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Figueiredo, Daniel. editor.
https://doi.org/10.1007/978-3-319-58163-7
Format: Electronic Resources

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

2024-05-04T09:50:19Z

Yazar Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
https://doi.org/10.1007/978-3-319-71147-8
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Day, Adam. editor.
https://doi.org/10.1007/978-3-319-50062-1
Format: Electronic Resources

Combinatorial Optimization and Graph Algorithms Communications of NII Shonan Meetings

2024-05-04T09:50:19Z

Yazar Fukunaga, Takuro. editor.
https://doi.org/10.1007/978-981-10-6147-9
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Weil, Pascal. editor.
https://doi.org/10.1007/978-3-319-58747-9
Format: Electronic Resources

Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Wu, Guorong. editor.
https://doi.org/10.1007/978-3-319-67159-8
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Balduccini, Marcello. editor.
https://doi.org/10.1007/978-3-319-61660-5
Format: Electronic Resources

Algorithms and Discrete Applied Mathematics Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Gaur, Daya. editor.
https://doi.org/10.1007/978-3-319-53007-9
Format: Electronic Resources

Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Fernández Anta, Antonio. editor.
https://doi.org/10.1007/978-3-319-72751-6
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I

2024-05-04T09:50:19Z

Yazar Coron, Jean-Sébastien. editor.
https://doi.org/10.1007/978-3-319-56620-7
Format: Electronic Resources

Basic Graph Theory

2024-05-04T09:50:19Z

Yazar Rahman, Md. Saidur. author.
https://doi.org/10.1007/978-3-319-49475-3
Format: Electronic Resources

Cyber Security Cryptography and Machine Learning First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Dolev, Shlomi. editor.
https://doi.org/10.1007/978-3-319-60080-2
Format: Electronic Resources

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Winands, Mark H.M. . editor.
https://doi.org/10.1007/978-3-319-71649-7
Format: Electronic Resources

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609
https://doi.org/10.1007/978-3-319-71682-4
Format: Electronic Resources

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Phan, Raphaël C.-W. editor.
https://doi.org/10.1007/978-3-319-61273-7
Format: Electronic Resources

Combinatorial Image Analysis 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings

2024-05-04T09:50:19Z

Yazar Brimkov, Valentin E. editor.
https://doi.org/10.1007/978-3-319-59108-7
Format: Electronic Resources

Description Logics in Multimedia Reasoning

2024-05-04T09:50:19Z

Yazar Sikos, Leslie F. author.
https://doi.org/10.1007/978-3-319-54066-5
Format: Electronic Resources

Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Yung, Moti. editor.
http://dx.doi.org/10.1007/978-3-319-31550-8
Format: Electronic Resources

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Mäkinen, Veli. editor.
http://dx.doi.org/10.1007/978-3-319-44543-4
Format: Electronic Resources

Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Kochetov, Yury. editor.
http://dx.doi.org/10.1007/978-3-319-44914-2
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Han, Yo-Sub. editor.
http://dx.doi.org/10.1007/978-3-319-40946-7
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-05-04T09:50:19Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-50412-3
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III

2024-05-04T09:50:19Z

Yazar Robshaw, Matthew. editor.
http://dx.doi.org/10.1007/978-3-662-53015-3
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I

2024-05-04T09:50:19Z

Yazar Robshaw, Matthew. editor.
http://dx.doi.org/10.1007/978-3-662-53018-4
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Heggernes, Pinar. editor.
http://dx.doi.org/10.1007/978-3-662-53536-3
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Kushilevitz, Eyal. editor.
http://dx.doi.org/10.1007/978-3-662-49096-9
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Kushilevitz, Eyal. editor.
http://dx.doi.org/10.1007/978-3-662-49099-0
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Kranakis, Evangelos. editor.
http://dx.doi.org/10.1007/978-3-662-49529-2
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Quimper, Claude-Guy. editor.
http://dx.doi.org/10.1007/978-3-319-33954-2
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Standaert, François-Xavier. editor.
http://dx.doi.org/10.1007/978-3-319-43283-0
Format: Electronic Resources

Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Jamnik, Mateja. editor.
http://dx.doi.org/10.1007/978-3-319-42333-3
Format: Electronic Resources

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Greuel, Gert-Martin. editor.
http://dx.doi.org/10.1007/978-3-319-42432-3
Format: Electronic Resources

Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Louveaux, Quentin. editor.
http://dx.doi.org/10.1007/978-3-319-33461-5
Format: Electronic Resources

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Blesa, Maria J. editor.
http://dx.doi.org/10.1007/978-3-319-39636-1
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Câmpeanu, Cezar. editor.
http://dx.doi.org/10.1007/978-3-319-41114-9
Format: Electronic Resources

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

2024-05-04T09:50:19Z

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

Parallel Problem Solving from Nature – PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Handl, Julia. editor.
http://dx.doi.org/10.1007/978-3-319-45823-6
Format: Electronic Resources

Algorithms and Discrete Applied Mathematics Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Govindarajan, Sathish. editor.
http://dx.doi.org/10.1007/978-3-319-29221-2
Format: Electronic Resources

Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Goldberg, Andrew V. editor.
http://dx.doi.org/10.1007/978-3-319-38851-9
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II

2024-05-04T09:50:19Z

Yazar Robshaw, Matthew. editor.
http://dx.doi.org/10.1007/978-3-662-53008-5
Format: Electronic Resources

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Freivalds, Rūsiņš Mārtiņš. editor.
http://dx.doi.org/10.1007/978-3-662-49192-8
Format: Electronic Resources

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Dutot, Pierre-François. editor.
http://dx.doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2024-05-04T09:50:19Z

Yazar Rondelez, Yannick. editor.
http://dx.doi.org/10.1007/978-3-319-43994-5
Format: Electronic Resources

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Echahed, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

Discrete Geometry for Computer Imagery 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings

2024-05-04T09:50:19Z

Yazar Normand, Nicolas. editor.
http://dx.doi.org/10.1007/978-3-319-32360-2
Format: Electronic Resources

Algorithmic Aspects in Information and Management 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Dondi, Riccardo. editor.
http://dx.doi.org/10.1007/978-3-319-41168-2
Format: Electronic Resources

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

2024-05-04T09:50:19Z

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

Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Lipták, Zsuzsanna. editor.
http://dx.doi.org/10.1007/978-3-319-29516-9
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Karydis, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

Yazar Cook, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Heywood, Malcolm I. editor.
http://dx.doi.org/10.1007/978-3-319-30668-1
Format: Electronic Resources

Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Kordy, Barbara. editor.
http://dx.doi.org/10.1007/978-3-319-46263-9
Format: Electronic Resources

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2024-05-04T09:50:19Z

Yazar O'Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-44561-8
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Chicano, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-30698-8
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I

2024-05-04T09:50:19Z

Yazar Fischlin, Marc. editor.
http://dx.doi.org/10.1007/978-3-662-49890-3
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II

2024-05-04T09:50:19Z

Yazar Fischlin, Marc. editor.
http://dx.doi.org/10.1007/978-3-662-49896-5
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-04T09:50:19Z

Yazar Skrzypczak, Michał. author.
http://dx.doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources

Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Peyrin, Thomas. editor.
http://dx.doi.org/10.1007/978-3-662-52993-5
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Dinh, Thang N. editor.
http://dx.doi.org/10.1007/978-3-319-42634-1
Format: Electronic Resources

Algorithms in Bioinformatics 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings

2024-05-04T09:50:19Z

Yazar Frith, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-43681-4
Format: Electronic Resources

WALCOM: Algorithms and Computation 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Kaykobad, Mohammad. editor.
http://dx.doi.org/10.1007/978-3-319-30139-6
Format: Electronic Resources

Selected Areas in Cryptography - SAC 2015 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Dunkelman, Orr. editor.
http://dx.doi.org/10.1007/978-3-319-31301-6
Format: Electronic Resources

Graph-Based Representation and Reasoning 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Haemmerlé, Ollivier. editor.
http://dx.doi.org/10.1007/978-3-319-40985-6
Format: Electronic Resources

Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Cerulli, Raffaele. editor.
http://dx.doi.org/10.1007/978-3-319-45587-7
Format: Electronic Resources

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Hajiaghayi, Mohammad Taghi. editor.
http://dx.doi.org/10.1007/978-3-319-28678-5
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Brlek, Srečko. editor.
http://dx.doi.org/10.1007/978-3-662-53132-7
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers

2024-05-04T09:50:19Z

Yazar Mayr, Ernst W. editor.
http://dx.doi.org/10.1007/978-3-662-53174-7
Format: Electronic Resources

Algorithms for Computational Biology Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings

2024-05-04T09:50:19Z

Yazar Botón-Fernández, María. editor.
http://dx.doi.org/10.1007/978-3-319-38827-4
Format: Electronic Resources

Information Security and Cryptology 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers

2024-05-04T09:50:19Z

Yazar Lin, Dongdai. editor.
http://dx.doi.org/10.1007/978-3-319-38898-4
Format: Electronic Resources

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

2024-05-04T09:50:19Z

Yazar Zhu, Daming. editor.
http://dx.doi.org/10.1007/978-3-319-39817-4
Format: Electronic Resources

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

Operators for Similarity Search Semantics, Techniques and Usage Scenarios

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

Yazar Italiano, Giuseppe F. editor.
http://dx.doi.org/10.1007/978-3-662-46078-8
Format: Electronic Resources

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

Fairness in Academic Course Timetabling

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

Yazar Paschos, Vangelis Th. editor.
http://dx.doi.org/10.1007/978-3-319-18173-8
Format: Electronic Resources

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

Perceptual Image Coding with Discrete Cosine Transform

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

Semantics of Probabilistic Processes An Operational Approach

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

Regulated Grammars and Automata

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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

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

2024-05-04T09:50:19Z

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