Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

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.

Riassunto

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.

Dettagli sul prodotto

• Con la collaborazione di: Mohammad Mousavi (Editore), Mohammad Reza Mousavi (Editore), Mohamma Reza Mousavi (Editore), Mohammad Reza Mousavi (Editore), Sgall (Editore), Sgall (Editore), Jirí Sgall (Editore), Jiří Sgall (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 01.01.2017
• EAN: 9783319689524
• ISBN: 978-3-31-968952-4
• Pagine: 125
• Dimensioni: 155 mm x 8 mm x 235 mm
• Peso: 244 g
• Illustrazioni: XIX, 125 p. 25 illus.
• Serie: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; C, Algorithms, computer science, Theory of Computation, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Computers, Algorithms & data structures, Mathematical theory of computation, Computer programming / software engineering, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computation by Abstract Devices, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters