Autor Groote, Jan Friso
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / Groote, Jan Friso ; Larsen, Kim Guldstrand
TÃtulo : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Larsen, Kim Guldstrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 471 p. 106 ilustraciones ISBN/ISSN/DL: 978-3-030-72016-2 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 IngenierÃa Informática Red de computadoras Microprogramación Programación lógica TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación Lógica en IA Ãndice Dewey: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . 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 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I [documento electrónico] / Groote, Jan Friso, ; Larsen, Kim Guldstrand, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 471 p. 106 ilustraciones.
ISBN : 978-3-030-72016-2
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 IngenierÃa Informática Red de computadoras Microprogramación Programación lógica TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación Lógica en IA Ãndice Dewey: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . 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 : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Larsen, Kim Guldstrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 465 p. 91 ilustraciones ISBN/ISSN/DL: 978-3-030-72013-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: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación IngenierÃa de software TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación Ãndice Dewey: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). 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 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [documento electrónico] / Groote, Jan Friso, ; Larsen, Kim Guldstrand, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 465 p. 91 ilustraciones.
ISBN : 978-3-030-72013-1
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 IngenierÃa Informática Red de computadoras Microprogramación IngenierÃa de software TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación Ãndice Dewey: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). 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 : Logic Gates, Circuits, Processors, Compilers and Computers Tipo de documento: documento electrónico Autores: Groote, Jan Friso, Autor ; Morel, Rolf, Autor ; Schmaltz, Julien, Autor ; Watkins, Adam, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 251 p. 82 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-68553-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: Ordenadores Compiladores (programas informáticos) Hardware de la computadora Compiladores e intérpretes Ãndice Dewey: 4 Resumen: Las computadoras están construidas con circuitos integrados como microprocesadores. Estos procesadores pueden contener más de mil millones de transistores, todos conectados entre sà en un patrón intrincado. Además de este hardware, se utilizan muchas capas de software, lo que convierte a los sistemas informáticos en objetos muy complejos. Sin embargo, muchas de las ideas esenciales detrás de la construcción de computadoras son en realidad bastante sencillas. El propósito de este libro de texto es dar una descripción concisa pero precisa de la esencia de una computadora. Comienza describiendo las puertas lógicas que se construyen a partir de transistores y luego explica cómo dichas puertas pueden usarse para implementar funciones lógicas a través de circuitos combinatorios. La cobertura adicional incluye aspectos clave del procesamiento, la programación ensambladora, la compilación de lenguajes de nivel superior y la organización informática. El libro también incluye un capÃtulo útil sobre Raspberry Pi como herramienta de aprendizaje adecuada. Temas y caracterÃsticas: * Presenta una visión holÃstica de las tecnologÃas de hardware y software relevantes * Presenta a los estudiantes los circuitos electrónicos básicos antes de examinar elementos más avanzados * Proporciona muchos ejercicios, y también incluye sus respuestas al final del libro * Explica las relaciones crÃticas con la programación en ensamblaje. lenguajes de nivel superior y organización de computadoras * Hace un uso útil de los microprocesadores Raspberry Pi y ARM para explicaciones. Este libro de texto único y conciso para estudiantes universitarios, ampliamente probado en clase, describe los componentes y el funcionamiento esenciales de una computadora. Útil en cursos de informática e ingenierÃa electrónica o para el autoaprendizaje, el trabajo supone conocimientos básicos de matemáticas elementales y electrónica, asà como cierta experiencia con un lenguaje de programación común como Java o C++. El Prof. Jan Friso Groote, el Dr. Julien Schmaltz y el Dr. Adam Watkins están todos en la Universidad de TecnologÃa, Matemáticas e Informática de Eindhoven, Eindhoven, PaÃses Bajos. El Sr. Rolf Morel trabaja en el Departamento de Ciencias de la Computación de la Universidad de Oxford, Oxford, Reino Unido. Nota de contenido: Basic Components and Combinatorial Circuits -- Numbers, Basic Circuits, and the ALU -- Sequential Circuits -- An Elementary Processor -- Assembly Programming -- Compiling Higher-Level Languages -- Computer Organisation -- The Raspberry Pi and the ARM Processor -- App. A, An Extended Instruction Set for the Simple Processor -- App. B, The ARM Instruction Set -- App. C, Syntax of the Register Transfer Language -- App. D, Exercise Answers. 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 Logic Gates, Circuits, Processors, Compilers and Computers [documento electrónico] / Groote, Jan Friso, Autor ; Morel, Rolf, Autor ; Schmaltz, Julien, Autor ; Watkins, Adam, Autor . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 251 p. 82 ilustraciones, 1 ilustraciones en color.
ISBN : 978-3-030-68553-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ordenadores Compiladores (programas informáticos) Hardware de la computadora Compiladores e intérpretes Ãndice Dewey: 4 Resumen: Las computadoras están construidas con circuitos integrados como microprocesadores. Estos procesadores pueden contener más de mil millones de transistores, todos conectados entre sà en un patrón intrincado. Además de este hardware, se utilizan muchas capas de software, lo que convierte a los sistemas informáticos en objetos muy complejos. Sin embargo, muchas de las ideas esenciales detrás de la construcción de computadoras son en realidad bastante sencillas. El propósito de este libro de texto es dar una descripción concisa pero precisa de la esencia de una computadora. Comienza describiendo las puertas lógicas que se construyen a partir de transistores y luego explica cómo dichas puertas pueden usarse para implementar funciones lógicas a través de circuitos combinatorios. La cobertura adicional incluye aspectos clave del procesamiento, la programación ensambladora, la compilación de lenguajes de nivel superior y la organización informática. El libro también incluye un capÃtulo útil sobre Raspberry Pi como herramienta de aprendizaje adecuada. Temas y caracterÃsticas: * Presenta una visión holÃstica de las tecnologÃas de hardware y software relevantes * Presenta a los estudiantes los circuitos electrónicos básicos antes de examinar elementos más avanzados * Proporciona muchos ejercicios, y también incluye sus respuestas al final del libro * Explica las relaciones crÃticas con la programación en ensamblaje. lenguajes de nivel superior y organización de computadoras * Hace un uso útil de los microprocesadores Raspberry Pi y ARM para explicaciones. Este libro de texto único y conciso para estudiantes universitarios, ampliamente probado en clase, describe los componentes y el funcionamiento esenciales de una computadora. Útil en cursos de informática e ingenierÃa electrónica o para el autoaprendizaje, el trabajo supone conocimientos básicos de matemáticas elementales y electrónica, asà como cierta experiencia con un lenguaje de programación común como Java o C++. El Prof. Jan Friso Groote, el Dr. Julien Schmaltz y el Dr. Adam Watkins están todos en la Universidad de TecnologÃa, Matemáticas e Informática de Eindhoven, Eindhoven, PaÃses Bajos. El Sr. Rolf Morel trabaja en el Departamento de Ciencias de la Computación de la Universidad de Oxford, Oxford, Reino Unido. Nota de contenido: Basic Components and Combinatorial Circuits -- Numbers, Basic Circuits, and the ALU -- Sequential Circuits -- An Elementary Processor -- Assembly Programming -- Compiling Higher-Level Languages -- Computer Organisation -- The Raspberry Pi and the ARM Processor -- App. A, An Extended Instruction Set for the Simple Processor -- App. B, The ARM Instruction Set -- App. C, Syntax of the Register Transfer Language -- App. D, Exercise Answers. 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
