Search Results for Theory of Computation. - Narrowed by: Data Structures.

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

2024-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

Yazar Gopal, T.V. editor.
https://doi.org/10.1007/978-3-030-14812-6
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-08-16T01:49:43Z

Yazar Bojańczyk, Mikołaj. editor.
https://doi.org/10.1007/978-3-030-17127-8
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-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

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

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-08-16T01:49:43Z

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

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-08-16T01:49:43Z

Yazar Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-60651-3
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-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

Yazar Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682
https://doi.org/10.1007/978-3-030-21363-3
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-08-16T01:49:43Z

Yazar Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
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-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

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

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

2024-08-16T01:49:43Z

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