Search Results for Theory of Computation.

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

Yazar

Bojańczyk, Mikołaj. editor.

https://doi.org/10.1007/978-3-030-17127-8

Format:

Electronic Resources

Alıntı:

2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019

Genetic Programming Theory and Practice XI

Yazar

Riolo, Rick. editor.

http://dx.doi.org/10.1007/978-1-4939-0375-7

Format:

Electronic Resources

Alıntı:

Theory of Computation.

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Yazar

Hanus, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-08909-6

Format:

Electronic Resources

Alıntı:

Theory of Computation.

Programming Languages and Systems 28th European Symposium on Programming, ESOP 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

Yazar

Caires, Luís. editor. (orcid)0000-0002-3215-6734

https://doi.org/10.1007/978-3-030-17184-1

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

Theory of Computation.

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Yazar

Beklemishev, Lev D. editor.

http://dx.doi.org/10.1007/978-3-319-23534-9

Format:

Electronic Resources

Alıntı:

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Yazar

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609

https://doi.org/10.1007/978-3-030-21500-2

Format:

Electronic Resources

Alıntı:

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Shao, Zhong. editor.

http://dx.doi.org/10.1007/978-3-642-54833-8

Format:

Electronic Resources

Alıntı:

of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Thiemann, Peter. editor.

http://dx.doi.org/10.1007/978-3-662-49498-1

Format:

Electronic Resources

Alıntı:

of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The

	{displayName}	{count}
{error}