Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
tarafından
Fomin, Fedor V. editor.
Başlık
:
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
Yazar
:
Fomin, Fedor V. editor.
ISBN
:
9783319905303
Edisyon
:
1st ed. 2018.
Fiziksel Niteleme
:
XXXII, 335 p. 41 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 10846
Özet
:
This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018. The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics such as algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems; networks; and proof theory and applications of logic to computer science. .
Konu Başlığı
:
Logic design.
Computational complexity.
Electronic data processing.
Data structures (Computer scienc.
Artificial intelligence.
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market-codes/I17028
Numeric Computing. http://scigraph.springernature.com/things/product-market-codes/I1701X
Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017
Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
Yazar Ek Girişi
:
Fomin, Fedor V.
Podolskii, Vladimir V.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 224036-1001 | QA76.9 .L63 | Springer E-Book Collection |