Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /

Detalles Bibliográficos
Autor principal: Zeume, Thomas. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10110
Materias:
Computer logic.
Software engineering.
Mathematical logic.
Programming languages (Electronic computers).
Algorithms.
Computer programming.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Programming Techniques.

Sistema de Bibliotecas del TEC

Detalle de Existencias desde Sistema de Bibliotecas del TEC
Copia Disponible

Ejemplares similares