Título :	Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Tipo de documento:	documento electrónico
Autores:	Hung, Dang Van, ; Kapur, Deepak,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2017
Número de páginas:	XX, 305 p. 58 ilustraciones
ISBN/ISSN/DL:	978-3-319-67729-3
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ciencias de la Computación  Compiladores (programas informáticos)  Inteligencia artificial  Ingeniería de software  Teoría de las máquinas  Lógica informática y fundamentos de la programación  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas arbitradas del 14º Coloquio Internacional sobre Aspectos Teóricos de la Computación, ICTAC 2017, celebrado en Hanoi, Vietnam, en octubre de 2017. Los 17 artículos completos revisados ​​presentados junto con tres charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 40 presentaciones. Los artículos están organizados en secciones temáticas sobre lógica; componentes de software y concurrencia; autómatas; Solucionadores y algoritmos SMT; y seguridad.
Nota de contenido:	Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings [documento electrónico] / Hung, Dang Van, ; Kapur, Deepak,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XX, 305 p. 58 ilustraciones.
ISBN : 978-3-319-67729-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ciencias de la Computación  Compiladores (programas informáticos)  Inteligencia artificial  Ingeniería de software  Teoría de las máquinas  Lógica informática y fundamentos de la programación  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas arbitradas del 14º Coloquio Internacional sobre Aspectos Teóricos de la Computación, ICTAC 2017, celebrado en Hanoi, Vietnam, en octubre de 2017. Los 17 artículos completos revisados ​​presentados junto con tres charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 40 presentaciones. Los artículos están organizados en secciones temáticas sobre lógica; componentes de software y concurrencia; autómatas; Solucionadores y algoritmos SMT; y seguridad.
Nota de contenido:	Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i