Search Results for Mathematical models.

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Yazar

Torra, Vicenç. author.

http://dx.doi.org/10.1007/978-3-319-46481-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor.

http://dx.doi.org/10.1007/978-3-319-28934-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Deep Reinforcement Learning Frontiers of Artificial Intelligence

Yazar

Sewak, Mohit. author.

https://doi.org/10.1007/978-981-13-8285-7

Format:

Electronic Resources

Alıntı:

Approaches -- Actor-Critic Models & the A3C -- A3C in Code -- Deterministic Policy Gradient and the DDPG

Random-Like Bi-level Decision Making

Yazar

Xu, Jiuping. author.

http://dx.doi.org/10.1007/978-981-10-1768-1

Format:

Electronic Resources

Alıntı:

Lecture Notes in Economics and Mathematical Systems,

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Yazar

Lucanu, Dorel. editor.

http://dx.doi.org/10.1007/978-3-319-44802-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Escobar, Santiago. editor.

http://dx.doi.org/10.1007/978-3-319-12904-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Yazar

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Yazar

Abdelwahed, El Hassan. editor.

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

Format:

Electronic Resources

Alıntı:

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24

	{displayName}	{count}
{error}