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

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

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Mousavi, Mohammad Reza. (Editor ), Sgall, Jiří. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10608
Materias:
Computers.
Algorithms.
Mathematical logic.
Computer logic.
Computer programming.
Programming languages (Electronic computers).
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Descripción
Descripción Física:XIX, 125 p. 25 illus. : online resource.
ISBN:9783319689531

Ejemplares similares