Search Results for Coding theory.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papers

Yazar

Huang, Shujian. editor.

https://doi.org/10.1007/978-981-15-1721-1

Format:

Electronic Resources

Alıntı:

Coding and Information Theory. https://scigraph.springernature.com/ontologies/product-market-codes

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

Yazar

Ouaknine, Joël. editor.

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

Format:

Electronic Resources

Alıntı:

Coding and Information Theory.

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Yazar

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682

https://doi.org/10.1007/978-3-030-21363-3

Format:

Electronic Resources

Alıntı:

Coding and Information Theory. https://scigraph.springernature.com/ontologies/product-market-codes

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Yazar

Urban, Christian. editor.

http://dx.doi.org/10.1007/978-3-319-22102-1

Format:

Electronic Resources

Alıntı:

Theory -- A Mechanized Theory of regular trees in dependent type theory -- Deriving Comparators and

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Yazar

Maletti, Andreas. editor.

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

Format:

Electronic Resources

Alıntı:

: Properties and Construction -- Effective Invariant Theory of Permutation Groups using Representation Theory

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}