Search Results for - Narrowed by: Computation by Abstract Devices. - Logic design.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-05-19T02:47:00Z

Yazar Doty, David. editor. (orcid)0000-0002-3922-172X
https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-05-19T02:47:00Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2024-05-19T02:47:00Z

Yazar Bertrand, Nathalie. editor.
https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources

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

2024-05-19T02:47:00Z

Yazar Hague, Matthew. editor.
https://doi.org/10.1007/978-3-319-67089-8
Format: Electronic Resources

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

2024-05-19T02:47:00Z

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

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

2024-05-19T02:47:00Z

Yazar Yang, Hongseok. editor.
https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2024-05-19T02:47:00Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-52228-9
Format: Electronic Resources

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2024-05-19T02:47:00Z

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

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

2024-05-19T02:47:00Z

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

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

2024-05-19T02:47:00Z

Yazar Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources

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

2024-05-19T02:47:00Z

Yazar Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
https://doi.org/10.1007/978-3-319-60252-3
Format: Electronic Resources

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2024-05-19T02:47:00Z

Yazar Esparza, Javier. editor.
https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2024-05-19T02:47:00Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

2024-05-19T02:47:00Z

Yazar Leporati, Alberto. editor.
https://doi.org/10.1007/978-3-319-54072-6
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

2024-05-19T02:47:00Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2024-05-19T02:47:00Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2024-05-19T02:47:00Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-53946-1
Format: Electronic Resources

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2024-05-19T02:47:00Z

Yazar Devitt, Simon. editor.
http://dx.doi.org/10.1007/978-3-319-40578-0
Format: Electronic Resources

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2024-05-19T02:47:00Z

Yazar Krivine, Jean. editor.
http://dx.doi.org/10.1007/978-3-319-20860-2
Format: Electronic Resources

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2024-05-19T02:47:00Z

Yazar Yamashita, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources

Transactions on Computational Science XXIV Special Issue on Reversible Computing

2024-05-19T02:47:00Z

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