Topics in Theoretical Computer Science

Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Mohammad Reza Mousavi, Jiří Sgall (Herausgeber)

Buch | Softcover

XIX, 125 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-68952-4 (ISBN)

Artikel merken

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.

Erscheinungsdatum	18.10.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XIX, 125 p. 25 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	229 g
Themenwelt	Informatik ► Software Entwicklung ► User Interfaces (HCI)
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Algorithm analysis and problem complexity • algorithms • Applications • Complexity • computation by abstract devices • Computer Science • conference proceedings • formal methods • Formal Semantics • graph theory • Informatics • Informatik • Logic • parallel processing systems • Programming Languages • Research • theoretical computer science • Type Theory • user interface design & usability • User interface design & usability
ISBN-10	3-319-68952-5 / 3319689525
ISBN-13	978-3-319-68952-4 / 9783319689524
Zustand	Neuware