Autor Zhang, Zili
|
|
Documentos disponibles escritos por este autor (6)
Hacer una sugerencia Refinar búsqueda4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / Bowen, Jonathan P. ; Liu, Zhiming ; Zhang, Zili
TÃtulo : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures Tipo de documento: documento electrónico Autores: Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVII, 237 p. 556 ilustraciones, 84 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-17601-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: IngenierÃa de software Red de computadoras Algoritmos Ciencias de la Computación TeorÃa de las máquinas Inteligencia artificial Redes de comunicación informática Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen contiene conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas informáticos; en la 4ta Escuela Internacional de IngenierÃa de Sistemas de Software Confiables, SETSS 2018, celebrada en abril de 2018 en la Universidad Southwest en Chongqing, China. Los cinco capÃtulos de este volumen brindan una descripción general de la investigación en la frontera de las teorÃas, métodos y herramientas para el modelado, diseño y verificación de software. Los temas cubiertos en este capÃtulo incluyen la verificación de software con Whiley, el aprendizaje de los autómatas Büchi y sus aplicaciones, la seguridad en aplicaciones de IoT, la programación en Z3 y el impacto de Alan Turing: métodos formales y más. El volumen proporciona un recurso útil para estudiantes de posgrado, investigadores, académicos e ingenieros de la industria interesados ​​en teorÃa, métodos y herramientas para el desarrollo de software confiable. Nota de contenido: An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. . 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 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVII, 237 p. 556 ilustraciones, 84 ilustraciones en color.
ISBN : 978-3-030-17601-3
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 Red de computadoras Algoritmos Ciencias de la Computación TeorÃa de las máquinas Inteligencia artificial Redes de comunicación informática Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen contiene conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas informáticos; en la 4ta Escuela Internacional de IngenierÃa de Sistemas de Software Confiables, SETSS 2018, celebrada en abril de 2018 en la Universidad Southwest en Chongqing, China. Los cinco capÃtulos de este volumen brindan una descripción general de la investigación en la frontera de las teorÃas, métodos y herramientas para el modelado, diseño y verificación de software. Los temas cubiertos en este capÃtulo incluyen la verificación de software con Whiley, el aprendizaje de los autómatas Büchi y sus aplicaciones, la seguridad en aplicaciones de IoT, la programación en Z3 y el impacto de Alan Turing: métodos formales y más. El volumen proporciona un recurso útil para estudiantes de posgrado, investigadores, académicos e ingenieros de la industria interesados ​​en teorÃa, métodos y herramientas para el desarrollo de software confiable. Nota de contenido: An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. . 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 : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures Tipo de documento: documento electrónico Autores: Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVII, 221 p. 242 ilustraciones, 9 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-55089-9 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 Red de computadoras Inteligencia artificial Programación de computadoras Sistemas informáticos Procesamiento del lenguaje natural (Informática) Redes de comunicación informática Técnicas de programación Implementación de sistema informático Procesamiento del lenguaje natural (PNL) Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la Quinta Escuela Internacional de IngenierÃa de Sistemas de Software Confiables, SETSS 2019, celebrada en Chongqing, China, en abril de 2019. Los cinco capÃtulos de este volumen ofrecen conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas computacionales. Los temas cubiertos en estos capÃtulos incluyen Desarrollo continuo de sistemas basados ​​en modelos: fundamentos; Desde el análisis de accesibilidad limitada de autómatas hÃbridos lineales hasta la verificación de CPS industriales e IoT; Semántica de expectativas previas más débiles para la inferencia bayesiana: condicionamiento, distribuciones continuas y divergencia; K – Un marco semántico para lenguajes de programación y herramientas de análisis formal; y abstracciones de software y modelado de arquitectura de sistemas humano-ciberfÃsicos. Nota de contenido: Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. 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 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 221 p. 242 ilustraciones, 9 ilustraciones en color.
ISBN : 978-3-030-55089-9
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 Red de computadoras Inteligencia artificial Programación de computadoras Sistemas informáticos Procesamiento del lenguaje natural (Informática) Redes de comunicación informática Técnicas de programación Implementación de sistema informático Procesamiento del lenguaje natural (PNL) Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la Quinta Escuela Internacional de IngenierÃa de Sistemas de Software Confiables, SETSS 2019, celebrada en Chongqing, China, en abril de 2019. Los cinco capÃtulos de este volumen ofrecen conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas computacionales. Los temas cubiertos en estos capÃtulos incluyen Desarrollo continuo de sistemas basados ​​en modelos: fundamentos; Desde el análisis de accesibilidad limitada de autómatas hÃbridos lineales hasta la verificación de CPS industriales e IoT; Semántica de expectativas previas más débiles para la inferencia bayesiana: condicionamiento, distribuciones continuas y divergencia; K – Un marco semántico para lenguajes de programación y herramientas de análisis formal; y abstracciones de software y modelado de arquitectura de sistemas humano-ciberfÃsicos. Nota de contenido: Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. 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 : 8th CCF Conference, BigData 2020, Chongqing, China, October 22–24, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Mei, Hong, ; Zhang, Weiguo, ; Fan, Wenfei, ; Zhang, Zili, ; Huang, Yihua, ; Bu, Jiajun, ; Gao, Yang, ; Wang, Li, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: XVIII, 243 p. 98 ilustraciones, 85 ilustraciones en color. ISBN/ISSN/DL: 978-981-1607059-- 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: Inteligencia artificial IngenierÃa Informática Red de computadoras Ciencias sociales Informática Procesamiento de imágenes Visión por computador IngenierÃa Informática y Redes Aplicación informática en ciencias sociales y del comportamiento Computadoras y Educación Matemáticas de la Computación Imágenes por computadora visión reconocimiento de patrones y gráficos Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas de la octava Conferencia CCF sobre Big Data, BigData 2020, celebrada en Chongqing, China, en octubre de 2020. Los 16 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. Presentan investigaciones recientes sobre aspectos teóricos y técnicos de big data, asà como sobre las demandas de la economÃa digital en las aplicaciones de big data. . Nota de contenido: A Short Text Classification Model Based on Cross-Layer Connected Gated Recurrent Unit Capsule Network -- Image Compressed Sensing using Neural Architecture Search -- Discovery of Sparse Formula Based on Elastic Network Method and its Application in Identification of Turbulent Boundary Layer Wall Function -- Rotation-Dpeak: Improving Density Peaks Selection for Imbalanced Data -- Introducing MDPSD, a Multimodal Dataset for Psychological Stress Detection -- Small-Scale Data Classification Based Deep Forest -- An Answer Sorting Method Combining Multiple Neural Networks and Attentional Mechanisms -- Optimal Subspace Analysis based on Information-Entropy Increment -- Link Prediction of Attention Flow Network Based on Maximum Entropy Model -- Graph Representation Learning using Attention Network -- Food Pairing Based on Generative Adversarial Networks -- Comparisons of Deep Neural Networks in Multi-Label Classification for Chinese Recipes -- Improving Word Alignment With Contextualized Embedding and Bilingual Dictionary -- Hypernetwork Model Based on Logistic Regression -- Multi Dimensional Evaluation of Middle School Students' Physical and Mental Quality and Intelligent Recommendation of Exercise Programs Based on Big Data Analysis -- Diversity-Aware Top-N Recommendation: A Deep Reinforcement Learning way. 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 8th CCF Conference, BigData 2020, Chongqing, China, October 22–24, 2020, Revised Selected Papers [documento electrónico] / Mei, Hong, ; Zhang, Weiguo, ; Fan, Wenfei, ; Zhang, Zili, ; Huang, Yihua, ; Bu, Jiajun, ; Gao, Yang, ; Wang, Li, . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XVIII, 243 p. 98 ilustraciones, 85 ilustraciones en color.
ISBN : 978-981-1607059--
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Inteligencia artificial IngenierÃa Informática Red de computadoras Ciencias sociales Informática Procesamiento de imágenes Visión por computador IngenierÃa Informática y Redes Aplicación informática en ciencias sociales y del comportamiento Computadoras y Educación Matemáticas de la Computación Imágenes por computadora visión reconocimiento de patrones y gráficos Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas de la octava Conferencia CCF sobre Big Data, BigData 2020, celebrada en Chongqing, China, en octubre de 2020. Los 16 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. Presentan investigaciones recientes sobre aspectos teóricos y técnicos de big data, asà como sobre las demandas de la economÃa digital en las aplicaciones de big data. . Nota de contenido: A Short Text Classification Model Based on Cross-Layer Connected Gated Recurrent Unit Capsule Network -- Image Compressed Sensing using Neural Architecture Search -- Discovery of Sparse Formula Based on Elastic Network Method and its Application in Identification of Turbulent Boundary Layer Wall Function -- Rotation-Dpeak: Improving Density Peaks Selection for Imbalanced Data -- Introducing MDPSD, a Multimodal Dataset for Psychological Stress Detection -- Small-Scale Data Classification Based Deep Forest -- An Answer Sorting Method Combining Multiple Neural Networks and Attentional Mechanisms -- Optimal Subspace Analysis based on Information-Entropy Increment -- Link Prediction of Attention Flow Network Based on Maximum Entropy Model -- Graph Representation Learning using Attention Network -- Food Pairing Based on Generative Adversarial Networks -- Comparisons of Deep Neural Networks in Multi-Label Classification for Chinese Recipes -- Improving Word Alignment With Contextualized Embedding and Bilingual Dictionary -- Hypernetwork Model Based on Logistic Regression -- Multi Dimensional Evaluation of Middle School Students' Physical and Mental Quality and Intelligent Recommendation of Exercise Programs Based on Big Data Analysis -- Diversity-Aware Top-N Recommendation: A Deep Reinforcement Learning way. 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 : Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures Tipo de documento: documento electrónico Autores: Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XV, 259 p. 64 ilustraciones ISBN/ISSN/DL: 978-3-319-56841-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 Programación de computadoras Compiladores (programas informáticos) Ordenadores Profesiones Ciencias de la Computación Computadoras digitales electrónicas Técnicas de programación Compiladores e intérpretes La profesión informática Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen contiene un registro de algunas de las conferencias y seminarios impartidos en la Segunda Escuela Internacional de IngenierÃa de Sistemas de Software Confiables (SETSS 2016), celebrada en marzo/abril de 2016 en la Universidad Southwest en Chongqing, China. Las seis contribuciones incluidas en este volumen brindan una descripción general de la investigación de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas informáticos. Provienen de seis cursos y dos seminarios sobre temas como modelado y verificación en el evento B; programación paralela hoy; verificación del tiempo de ejecución; Java en el dominio crÃtico para la seguridad; semántica de sistemas reactivos; pruebas unitarias parametrizadas; razonamiento formal sobre valores de datos infinitos; y Alan Turing y sus notables logros. El material es útil para estudiantes de posgrado, investigadores, académicos e ingenieros industriales interesados ​​en la teorÃa y práctica de métodos y herramientas para el diseño y programación de sistemas de software confiables. Nota de contenido: Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. 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 Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, . - 1 ed. . - [s.l.] : Springer, 2017 . - XV, 259 p. 64 ilustraciones.
ISBN : 978-3-319-56841-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 Programación de computadoras Compiladores (programas informáticos) Ordenadores Profesiones Ciencias de la Computación Computadoras digitales electrónicas Técnicas de programación Compiladores e intérpretes La profesión informática Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen contiene un registro de algunas de las conferencias y seminarios impartidos en la Segunda Escuela Internacional de IngenierÃa de Sistemas de Software Confiables (SETSS 2016), celebrada en marzo/abril de 2016 en la Universidad Southwest en Chongqing, China. Las seis contribuciones incluidas en este volumen brindan una descripción general de la investigación de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas informáticos. Provienen de seis cursos y dos seminarios sobre temas como modelado y verificación en el evento B; programación paralela hoy; verificación del tiempo de ejecución; Java en el dominio crÃtico para la seguridad; semántica de sistemas reactivos; pruebas unitarias parametrizadas; razonamiento formal sobre valores de datos infinitos; y Alan Turing y sus notables logros. El material es útil para estudiantes de posgrado, investigadores, académicos e ingenieros industriales interesados ​​en la teorÃa y práctica de métodos y herramientas para el diseño y programación de sistemas de software confiables. Nota de contenido: Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. 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 : Knowledge Science, Engineering and Management : 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings Tipo de documento: documento electrónico Autores: Li, Gang, ; Ge, Yong, ; Zhang, Zili, ; Jin, Zhi, ; Blumenstein, Michael, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVII, 563 p. 150 ilustraciones ISBN/ISSN/DL: 978-3-319-63558-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: Inteligencia artificial Procesamiento de datos Software de la aplicacion Sistemas de almacenamiento y recuperación de información Procesamiento de imágenes Visión por computador Red de computadoras MinerÃa de datos y descubrimiento de conocimientos Aplicaciones informáticas y de sistemas de información Almacenamiento y recuperación de información Imágenes por computadora visión reconocimiento de patrones y gráficos Redes de comunicación informática Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Ciencia, IngenierÃa y Gestión del Conocimiento, KSEM 2017, celebrada en Melbourne, Australia, en agosto de 2017. Los 35 artÃculos completos revisados ​​y los 12 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 134 presentaciones. . Los artÃculos están organizados en las siguientes secciones temáticas: minerÃa de textos y análisis de documentos; semántica formal y lógica difusa; conocimiento administrativo; integración de conocimientos; recuperación de conocimientos; algoritmos y sistemas de recomendación; ingenierÃa del conocimiento; y representación y razonamiento del conocimiento. 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 Knowledge Science, Engineering and Management : 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings [documento electrónico] / Li, Gang, ; Ge, Yong, ; Zhang, Zili, ; Jin, Zhi, ; Blumenstein, Michael, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVII, 563 p. 150 ilustraciones.
ISBN : 978-3-319-63558-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Inteligencia artificial Procesamiento de datos Software de la aplicacion Sistemas de almacenamiento y recuperación de información Procesamiento de imágenes Visión por computador Red de computadoras MinerÃa de datos y descubrimiento de conocimientos Aplicaciones informáticas y de sistemas de información Almacenamiento y recuperación de información Imágenes por computadora visión reconocimiento de patrones y gráficos Redes de comunicación informática Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Ciencia, IngenierÃa y Gestión del Conocimiento, KSEM 2017, celebrada en Melbourne, Australia, en agosto de 2017. Los 35 artÃculos completos revisados ​​y los 12 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 134 presentaciones. . Los artÃculos están organizados en las siguientes secciones temáticas: minerÃa de textos y análisis de documentos; semántica formal y lógica difusa; conocimiento administrativo; integración de conocimientos; recuperación de conocimientos; algoritmos y sistemas de recomendación; ingenierÃa del conocimiento; y representación y razonamiento del conocimiento. 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
