Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
tarafından
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
Başlık
:
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Yazar
:
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
ISBN
:
9783319689531
Edisyon
:
1st ed. 2017.
Fiziksel Niteleme
:
XIX, 125 p. 25 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 10608
Özet
:
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.
Konu Başlığı
:
Computer science.
Computer software.
Logic design.
Computation by Abstract Devices. http://scigraph.springernature.com/things/product-market-codes/I16013
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market-codes/I16021
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Yazar Ek Girişi
:
Mousavi, Mohammad Reza.
Sgall, Jiří.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 225732-1001 | QA75.5 -76.95 | Springer E-Book Collection |