Autor Kapur, Deepak
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
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
