Autor Duan, Zhenhua
|
|
Documentos disponibles escritos por este autor (7)
Hacer una sugerencia Refinar búsqueda25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / Du, Ding-Zhu ; Duan, Zhenhua ; Tian, Cong
TÃtulo : 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings Tipo de documento: documento electrónico Autores: Du, Ding-Zhu, ; Duan, Zhenhua, ; Tian, Cong, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 678 p. 493 ilustraciones, 35 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26176-4 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: Algoritmos Informática Matemáticas discretas Inteligencia artificial Análisis numérico Gráficos de computadora Matemáticas discretas en informática Ciencia de los datos Ãndice Dewey: 518.1 Resumen: Este libro constituye las actas de la 25.ª Conferencia Internacional sobre Computación y Combinatoria, COCOON 2019, celebrada en Xi''an, China, en julio de 2019. Los 55 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 124 presentaciones. Los artÃculos cubren varios temas, incluido el diseño de algoritmos, algoritmo de aproximación, teorÃa de grafos, teorÃa de la complejidad, resolución de problemas, optimización, biologÃa computacional, aprendizaje computacional, redes de comunicación, lógica y teorÃa de juegos. Nota de contenido: Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game theory. 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 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings [documento electrónico] / Du, Ding-Zhu, ; Duan, Zhenhua, ; Tian, Cong, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 678 p. 493 ilustraciones, 35 ilustraciones en color.
ISBN : 978-3-030-26176-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Algoritmos Informática Matemáticas discretas Inteligencia artificial Análisis numérico Gráficos de computadora Matemáticas discretas en informática Ciencia de los datos Ãndice Dewey: 518.1 Resumen: Este libro constituye las actas de la 25.ª Conferencia Internacional sobre Computación y Combinatoria, COCOON 2019, celebrada en Xi''an, China, en julio de 2019. Los 55 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 124 presentaciones. Los artÃculos cubren varios temas, incluido el diseño de algoritmos, algoritmo de aproximación, teorÃa de grafos, teorÃa de la complejidad, resolución de problemas, optimización, biologÃa computacional, aprendizaje computacional, redes de comunicación, lógica y teorÃa de juegos. Nota de contenido: Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game theory. 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
TÃtulo : Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Tipo de documento: documento electrónico Autores: Duan, Zhenhua, ; Ong, Luke, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVII, 498 p. 134 ilustraciones ISBN/ISSN/DL: 978-3-319-68690-5 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: IngenierÃa de software Programación de computadoras Compiladores (programas informáticos) Ciencias de la Computación TeorÃa de las máquinas Red de computadoras Técnicas de programación Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Redes de comunicación informática Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 19.ª Conferencia Internacional sobre Métodos de IngenierÃa Formal, ICFEM 2017, celebrada en Xi''an, China, en noviembre de 2017. Los 28 artÃculos completos revisados ​​presentados junto con una charla invitada y dos resúmenes de las charlas invitadas fueron cuidadosamente revisado y seleccionado entre 80 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos de ingenierÃa formal, como verificación y validación, ingenierÃa de software, especificación y modelado formal, seguridad y confiabilidad del software. Nota de contenido: Veriï¬cation and validation -- Software engineering -- Formal speciï¬cation and modeling -- Software security -- Software reliability. 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 Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings [documento electrónico] / Duan, Zhenhua, ; Ong, Luke, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVII, 498 p. 134 ilustraciones.
ISBN : 978-3-319-68690-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Programación de computadoras Compiladores (programas informáticos) Ciencias de la Computación TeorÃa de las máquinas Red de computadoras Técnicas de programación Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Redes de comunicación informática Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 19.ª Conferencia Internacional sobre Métodos de IngenierÃa Formal, ICFEM 2017, celebrada en Xi''an, China, en noviembre de 2017. Los 28 artÃculos completos revisados ​​presentados junto con una charla invitada y dos resúmenes de las charlas invitadas fueron cuidadosamente revisado y seleccionado entre 80 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos de ingenierÃa formal, como verificación y validación, ingenierÃa de software, especificación y modelado formal, seguridad y confiabilidad del software. Nota de contenido: Veriï¬cation and validation -- Software engineering -- Formal speciï¬cation and modeling -- Software security -- Software reliability. 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
TÃtulo : Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers Tipo de documento: documento electrónico Autores: Xue, Jinyun, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VIII, 205 p. 98 ilustraciones, 45 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-77474-5 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: IngenierÃa de software Sistemas informáticos Ciencias de la Computación TeorÃa de las máquinas Microprogramación Inteligencia artificial Implementación de sistema informático Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Estructuras de control y microprogramación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del taller arbitrado del décimo taller internacional sobre lenguaje y método formal estructurado orientado a objetos, SOFL+MSVL 2020, celebrado en Singapur, en marzo de 2021. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados de 24 presentaciones. Están organizados en las siguientes secciones temáticas: modelado y especificación; verificación de modelos; especificación y verificación; y pruebas y verificación formal. Debido a la pandemia de Corona, este evento se llevó a cabo virtualmente. Nota de contenido: Modeling and Specification -- Model Checking -- Specification and Verification -- Testing and Formal Verification. . 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 Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers [documento electrónico] / Xue, Jinyun, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2021 . - VIII, 205 p. 98 ilustraciones, 45 ilustraciones en color.
ISBN : 978-3-030-77474-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Sistemas informáticos Ciencias de la Computación TeorÃa de las máquinas Microprogramación Inteligencia artificial Implementación de sistema informático Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Estructuras de control y microprogramación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del taller arbitrado del décimo taller internacional sobre lenguaje y método formal estructurado orientado a objetos, SOFL+MSVL 2020, celebrado en Singapur, en marzo de 2021. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados de 24 presentaciones. Están organizados en las siguientes secciones temáticas: modelado y especificación; verificación de modelos; especificación y verificación; y pruebas y verificación formal. Debido a la pandemia de Corona, este evento se llevó a cabo virtualmente. Nota de contenido: Modeling and Specification -- Model Checking -- Specification and Verification -- Testing and Formal Verification. . 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
TÃtulo : Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Liu, Shaoying, ; Duan, Zhenhua, ; Tian, Cong, ; Nagoya, Fumiko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 239 p. 71 ilustraciones ISBN/ISSN/DL: 978-3-319-57708-1 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: IngenierÃa de software Ciencias de la Computación Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 6º Taller Internacional sobre Estructuras, Lenguaje y Método Formal Orientado a Objetos, SOFL+MSVL 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 13 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Están organizados en secciones temáticas denominadas: modelado y especificación; animación y creación de prototipos; verificación y validación; y verificación de modelos. . Nota de contenido: Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . 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 Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers [documento electrónico] / Liu, Shaoying, ; Duan, Zhenhua, ; Tian, Cong, ; Nagoya, Fumiko, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 239 p. 71 ilustraciones.
ISBN : 978-3-319-57708-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Ciencias de la Computación Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 6º Taller Internacional sobre Estructuras, Lenguaje y Método Formal Orientado a Objetos, SOFL+MSVL 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 13 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Están organizados en secciones temáticas denominadas: modelado y especificación; animación y creación de prototipos; verificación y validación; y verificación de modelos. . Nota de contenido: Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . 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
TÃtulo : Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Tian, Cong, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 219 p. 66 ilustraciones ISBN/ISSN/DL: 978-3-319-90104-6 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: IngenierÃa de software Algoritmos Ciencias de la Computación Inteligencia artificial Lógica informática y fundamentos de la programación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del Séptimo Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2017, celebrado en Xi''an, China, en noviembre de 2017. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisado y seleccionado entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: animación y creación de prototipos; TeorÃa de grafos; verificación de modelos; modelado y especificación; y verificación y validación. Nota de contenido: Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. 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 Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers [documento electrónico] / Tian, Cong, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 219 p. 66 ilustraciones.
ISBN : 978-3-319-90104-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Algoritmos Ciencias de la Computación Inteligencia artificial Lógica informática y fundamentos de la programación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del Séptimo Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2017, celebrado en Xi''an, China, en noviembre de 2017. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisado y seleccionado entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: animación y creación de prototipos; TeorÃa de grafos; verificación de modelos; modelado y especificación; y verificación y validación. Nota de contenido: Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. 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
Permalink
Permalink
