| Título : |
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XII, 428 p. 675 ilustraciones, 66 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-48077-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: |
Teoría de las máquinas Inteligencia artificial Ingeniería Informática Red de computadoras Ingeniería de software Microprogramación Lenguajes formales y teoría de los autómatas Ingeniería Informática y Redes Estructuras de control y microprogramación |
| Índice Dewey: |
5.131 |
| Resumen: |
Este libro constituye las actas arbitradas de la Séptima Conferencia Internacional sobre Métodos Rigurosos Basados en el Estado, ABZ 2020, que debía celebrarse en Ulm, Alemania, en mayo de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 12 artículos completos y 9 artículos breves fueron cuidadosamente revisados y seleccionados entre 61 presentaciones. Se presentan en este volumen junto con 2 artículos invitados, 6 contribuciones a simposios de doctorado, así como el estudio de caso y 6 artículos aceptados que describen sus soluciones. Los trabajos están organizados en las siguientes secciones: ponencias magistrales y ponencias invitadas; artículos de investigación periódicos; artículos breves; artículos que contribuyen al estudio de caso; Artículos breves del simposio de doctorado (trabajo en curso). |
| Nota de contenido: |
Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). |
| 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 |
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings [documento electrónico] / Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 428 p. 675 ilustraciones, 66 ilustraciones en color. ISBN : 978-3-030-48077-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |
Hacer una sugerencia Refinar búsqueda7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / Raschke, Alexander ; Méry, Dominique ; Houdek, Frank
