Search Results for Mathematical models.

15 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Modern Language Models and Computation Theory with Applications

Yazar

Meduna, Alexander. author.

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001

Discrete and Topological Models in Molecular Biology

Yazar

Jonoska, Nataša. editor.

http://dx.doi.org/10.1007/978-3-642-40193-0

Format:

Electronic Resources

Alıntı:

Discrete and Topological Models in Molecular Biology Jonoska, Nataša. editor.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

Yazar

Gopal, T. V. editor.

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

Format:

Electronic Resources

Alıntı:

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India

Models of Computation

Yazar

Bruni, Roberto. author.

https://doi.org/10.1007/978-3-319-42900-7

Format:

Electronic Resources

Alıntı:

Models of Computation Bruni, Roberto. author.

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

Yazar

Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234

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

Format:

Electronic Resources

Alıntı:

, Dissimilarity and Correlation Functions,- Mathematical Foundation of Cognitive Computing Based Artificial

Transactions on Petri Nets and Other Models of Concurrency XIV

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-60651-3

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-58381-4

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

Graph and Model Transformation General Framework and Applications

Yazar

Ehrig, Hartmut. author.

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

Format:

Electronic Resources

Alıntı:

Graph and Model Transformation General Framework and Applications / Ehrig, Hartmut. author.

10.

Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

Yazar

Kaliszyk, Cezary. editor. (orcid)0000-0002-8273-6059

https://doi.org/10.1007/978-3-030-23250-4

Format:

Electronic Resources

Alıntı:

Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic

11.

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor.

https://doi.org/10.1007/978-3-319-43669-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

12.

Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers

Yazar

Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810

https://doi.org/10.1007/978-3-030-36537-0

Format:

Electronic Resources

Alıntı:

Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24

	{displayName}	{count}
{error}