Search Results for Coding theory.

4 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

0000DEFAULTTR

Yazdır

1.

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings için kapak resmi

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Yazar

Ekštein, Kamil. editor.

https://doi.org/10.1007/978-3-030-27947-9

Format:

Electronic Resources

Alıntı:

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

2.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings için kapak resmi

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

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.

3.

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings için kapak resmi

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

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

4.

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings için kapak resmi

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

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

Tümünü Seç

1

4 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2