Search Results for Development Theory.

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

Yazar

Kacsuk, Péter. editor.

http://dx.doi.org/10.1007/978-3-319-11268-8

Format:

Electronic Resources

Alıntı:

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

Yazar

Hammoudi, Slimane. editor.

https://doi.org/10.1007/978-3-030-11030-7

Format:

Electronic Resources

Alıntı:

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

The Foundations of Computability Theory

Yazar

Robič, Borut. author.

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

Format:

Electronic Resources

Alıntı:

The Foundations of Computability Theory Robič, Borut. author.

Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Yazar

Dershowitz, Nachum. editor.

http://dx.doi.org/10.1007/978-3-642-45327-4

Format:

Electronic Resources

Alıntı:

Theory of Computation.

Constructivity and Computability in Historical and Philosophical Perspective

Yazar

Dubucs, Jacques. editor.

http://dx.doi.org/10.1007/978-94-017-9217-2

Format:

Electronic Resources

Alıntı:

Theory of Computation.

Turing Computability Theory and Applications

Yazar

Soare, Robert I. author.

http://dx.doi.org/10.1007/978-3-642-31933-4

Format:

Electronic Resources

Alıntı:

Theory and Applications of Computability, In cooperation with the association Computability in

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor.

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

	{displayName}	{count}
{error}