Search Results for - Narrowed by: Logic design. - Computational complexity.

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

2024-05-24T02:06:34Z

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

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2024-05-24T02:06:34Z

by Baier, Christel. editor. (orcid)0000-0002-5321-9343
https://doi.org/10.1007/978-3-319-89366-2
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-24T02:06:34Z

by Konstantinidis, Stavros. editor.
https://doi.org/10.1007/978-3-319-94631-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-05-24T02:06:34Z

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

Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

2024-05-24T02:06:34Z

by Sampaio, Augusto. editor.
https://doi.org/10.1007/978-3-319-46750-4
Format: Electronic Resources

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2024-05-24T02:06:34Z

by Festa, Paola. editor.
https://doi.org/10.1007/978-3-319-50349-3
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-24T02:06:34Z

by Echahed, Rachid. editor.
https://doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-24T02:06:34Z

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

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

2024-05-24T02:06:34Z

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

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

2024-05-24T02:06:34Z

by Brlek, Srečko. editor.
https://doi.org/10.1007/978-3-662-53132-7
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-24T02:06:34Z

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

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

2024-05-24T02:06:34Z

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

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

2024-05-24T02:06:34Z

by Karydis, Ioannis. editor.
https://doi.org/10.1007/978-3-319-29919-8
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-24T02:06:34Z

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

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

2024-05-24T02:06:34Z

by Ochmański, Edward. editor.
http://dx.doi.org/10.1007/978-3-540-85238-4
Format: Electronic Resources

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

2024-05-24T02:06:34Z

by Ehrig, Hartmut. editor.
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: Electronic Resources

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

2024-05-24T02:06:34Z

by Schürr, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: Electronic Resources

Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

2024-05-24T02:06:34Z

by Hartmann, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-77684-0
Format: Electronic Resources

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

2024-05-24T02:06:34Z

by Laber, Eduardo Sany. editor.
http://dx.doi.org/10.1007/978-3-540-78773-0
Format: Electronic Resources

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2024-05-24T02:06:34Z

by Thomas, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-70918-3
Format: Electronic Resources

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2024-05-24T02:06:34Z

by Arvind, V. editor.
http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

2024-05-24T02:06:34Z

by Harju, Tero. editor.
http://dx.doi.org/10.1007/978-3-540-73208-2
Format: Electronic Resources

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2024-05-24T02:06:34Z

by Kučera, Luděk. editor.
http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2024-05-24T02:06:34Z

by Arun-Kumar, S. editor.
http://dx.doi.org/10.1007/11944836
Format: Electronic Resources

Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

2024-05-24T02:06:34Z

by Dix, Jürgen. editor.
http://dx.doi.org/10.1007/11663881
Format: Electronic Resources

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-05-24T02:06:34Z

by MacCaull, Wendy. editor.
http://dx.doi.org/10.1007/11734673
Format: Electronic Resources

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

2024-05-24T02:06:34Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/11779148
Format: Electronic Resources

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

2024-05-24T02:06:34Z

by Královič, Rastislav. editor.
http://dx.doi.org/10.1007/11821069
Format: Electronic Resources

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

2024-05-24T02:06:34Z

by Durand, Bruno. editor.
http://dx.doi.org/10.1007/11672142
Format: Electronic Resources

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

2024-05-24T02:06:34Z

by Correa, José R. editor.
http://dx.doi.org/10.1007/11682462
Format: Electronic Resources

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

2024-05-24T02:06:34Z

by Corradini, Andrea. editor.
http://dx.doi.org/10.1007/11841883
Format: Electronic Resources

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

2024-05-24T02:06:34Z

by Calude, Cristian S. editor.
http://dx.doi.org/10.1007/b103739
Format: Electronic Resources

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-05-24T02:06:34Z

by Kreowski, Hans-Jörg. editor.
http://dx.doi.org/10.1007/b106390
Format: Electronic Resources

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

2024-05-24T02:06:34Z

by Felice, Clelia. editor.
http://dx.doi.org/10.1007/b137735
Format: Electronic Resources

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

2024-05-24T02:06:34Z

by Jȩdrzejowicz, Joanna. editor.
http://dx.doi.org/10.1007/11549345
Format: Electronic Resources

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

2024-05-24T02:06:34Z

by Coppo, Mario. editor.
http://dx.doi.org/10.1007/11560586
Format: Electronic Resources

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2024-05-24T02:06:34Z

by Lodaya, Kamal. editor.
http://dx.doi.org/10.1007/b104325
Format: Electronic Resources

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2024-05-24T02:06:34Z

by Sarukkai, Sundar. editor.
http://dx.doi.org/10.1007/11590156
Format: Electronic Resources