Indexaxión 621.395
621 Física aplicadaDocumentos en la biblioteca con la clasificación 621.395 (8)
Hacer una sugerencia Refinar búsqueda11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / Thomsen, Michael Kirkedal ; Soeken, Mathias
Título : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings Tipo de documento: documento electrónico Autores: Thomsen, Michael Kirkedal, ; Soeken, Mathias, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: VIII, 247 p. 315 ilustraciones, 24 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-21500-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: diseño lógico Compiladores (programas informáticos) Programación de computadoras Unidades aritméticas y lógicas informáticas Inteligencia artificial Sistemas informáticos Compiladores e intérpretes Técnicas de programación Estructuras aritméticas y lógicas Implementación de sistema informático Índice Dewey: 621.395 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Computación Reversible, RC 2019, celebrada en Lausana, Suiza, en junio de 2019. Los 12 artículos completos y dos artículos breves incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 22 presentaciones. También se incluye una charla invitada. Los artículos están organizados en las siguientes secciones temáticas: teoría y fundamento; lenguajes de programación; síntesis de circuitos; evaluación de síntesis de circuitos; y aplicaciones e implementaciones. Nota de contenido: Invited Talk -- Concurrent Quantum Strategies -- Theory and Foundation -- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits -- Inversion, Iteration, and the Art of Dual Wielding -- Reversibility vs local creation/destruction -- Characterizing Compatible View Updates in Syntactic Bidirectionalization -- Programming Languages -- Sized Types for low-level Quantum Metaprogramming -- Reversible Imperative Parallel Programs and Debugging -- Circuit Synthesis -- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation -- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid -- Evaluation of Circuit Synthesis -- Evaluating the Flexibility of A* for Mapping Quantum Circuits -- Evaluating ESOP Optimization Methods in Quantum Compilation Flows -- Applications and Implementations -- Implementing NChooseK on IBM Q Quantum Computers -- Reversible Carry-Lookahead Addition With Few Ancillae -- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. 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 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings [documento electrónico] / Thomsen, Michael Kirkedal, ; Soeken, Mathias, . - 1 ed. . - [s.l.] : Springer, 2019 . - VIII, 247 p. 315 ilustraciones, 24 ilustraciones en color.
ISBN : 978-3-030-21500-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: diseño lógico Compiladores (programas informáticos) Programación de computadoras Unidades aritméticas y lógicas informáticas Inteligencia artificial Sistemas informáticos Compiladores e intérpretes Técnicas de programación Estructuras aritméticas y lógicas Implementación de sistema informático Índice Dewey: 621.395 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Computación Reversible, RC 2019, celebrada en Lausana, Suiza, en junio de 2019. Los 12 artículos completos y dos artículos breves incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 22 presentaciones. También se incluye una charla invitada. Los artículos están organizados en las siguientes secciones temáticas: teoría y fundamento; lenguajes de programación; síntesis de circuitos; evaluación de síntesis de circuitos; y aplicaciones e implementaciones. Nota de contenido: Invited Talk -- Concurrent Quantum Strategies -- Theory and Foundation -- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits -- Inversion, Iteration, and the Art of Dual Wielding -- Reversibility vs local creation/destruction -- Characterizing Compatible View Updates in Syntactic Bidirectionalization -- Programming Languages -- Sized Types for low-level Quantum Metaprogramming -- Reversible Imperative Parallel Programs and Debugging -- Circuit Synthesis -- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation -- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid -- Evaluation of Circuit Synthesis -- Evaluating the Flexibility of A* for Mapping Quantum Circuits -- Evaluating ESOP Optimization Methods in Quantum Compilation Flows -- Applications and Implementations -- Implementing NChooseK on IBM Q Quantum Computers -- Reversible Carry-Lookahead Addition With Few Ancillae -- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. 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 : 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings Tipo de documento: documento electrónico Autores: Yamashita, Shigeru, ; Yokoyama, Tetsuo, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 275 p. 137 ilustraciones, 57 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-79837-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: diseño lógico Computadoras Propósitos especiales Ciencias de la Computación Microprogramación Procesamiento del lenguaje natural (Informática) Sistemas de propósito especial y basados en aplicaciones Teoría de la Computación Estructuras de control y microprogramación Procesamiento del lenguaje natural (PNL) Índice Dewey: 621.395 Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Computación Reversible, RC 2021, que se celebró en línea del 7 al 8 de julio de 2021. Los 11 artículos incluidos en este libro fueron cuidadosamente revisados y seleccionados entre 21 presentaciones. El libro también contiene 2 charlas invitadas en formato artículo completo, 3 artículos de trabajo en progreso y 1 documento de herramientas. Estaban organizados en secciones temáticas denominadas: programación y lenguajes de programación; cálculo concurrente reversible; teoría y fundamentos; y síntesis de circuitos. . Nota de contenido: Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for QuantumAlgorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates. 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 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings [documento electrónico] / Yamashita, Shigeru, ; Yokoyama, Tetsuo, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 275 p. 137 ilustraciones, 57 ilustraciones en color.
ISBN : 978-3-030-79837-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: diseño lógico Computadoras Propósitos especiales Ciencias de la Computación Microprogramación Procesamiento del lenguaje natural (Informática) Sistemas de propósito especial y basados en aplicaciones Teoría de la Computación Estructuras de control y microprogramación Procesamiento del lenguaje natural (PNL) Índice Dewey: 621.395 Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Computación Reversible, RC 2021, que se celebró en línea del 7 al 8 de julio de 2021. Los 11 artículos incluidos en este libro fueron cuidadosamente revisados y seleccionados entre 21 presentaciones. El libro también contiene 2 charlas invitadas en formato artículo completo, 3 artículos de trabajo en progreso y 1 documento de herramientas. Estaban organizados en secciones temáticas denominadas: programación y lenguajes de programación; cálculo concurrente reversible; teoría y fundamentos; y síntesis de circuitos. . Nota de contenido: Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for QuantumAlgorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates. 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 Functions and Equations : Binary Models for Computer Science Tipo de documento: documento electrónico Autores: Posthoff, Christian, Autor ; Steinbach, Bernd, Autor Mención de edición: 2 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 508 p. 367 ilustraciones, 54 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-02420-8 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: diseño lógico Lógica matemática Ingenieria Eléctrica Ciencias de la Computación Informática Matemáticas discretas Lógica Matemática y Fundamentos Ingeniería eléctrica y electrónica Lógica informática y fundamentos de la programación Matemáticas discretas en informática Índice Dewey: 621.395 Resumen: La segunda edición ampliada y actualizada de este texto clásico ofrece al lector una introducción completa a los conceptos de funciones y ecuaciones lógicas y sus aplicaciones en la informática. El enfoque enfatiza una comprensión profunda de los principios fundamentales, así como de los métodos de solución numéricos y basados en computadora. Actualizada en su totalidad, algunas adiciones importantes para la segunda edición incluyen: - una sección introductoria ampliada sobre ecuaciones lógicas; - un nuevo capítulo sobre conjuntos, redes y clases de funciones lógicas; - un nuevo capítulo sobre problemas SAT; - un nuevo capítulo sobre métodos para resolver problemas extremadamente complejos; y - una sección ampliada con nuevos métodos de descomposición que utilizan el cálculo diferencial booleano extendido a redes de funciones lógicas. El libro proporciona información sobre aplicaciones en aritmética binaria, codificación, complejidad, diseño lógico, programación, arquitectura informática e inteligencia artificial. Basado en la amplia experiencia docente de los autores, Funciones y ecuaciones lógicas es altamente recomendado para un curso de uno o dos semestres en informática y programas relacionados. Proporciona un acceso directo y de alto nivel a estos métodos y permite aplicaciones sofisticadas, cerrando de manera elegante la brecha entre las matemáticas y los fundamentos teóricos de la ciencia informática. Nota de contenido: Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. 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 Functions and Equations : Binary Models for Computer Science [documento electrónico] / Posthoff, Christian, Autor ; Steinbach, Bernd, Autor . - 2 ed. . - [s.l.] : Springer, 2019 . - XVI, 508 p. 367 ilustraciones, 54 ilustraciones en color.
ISBN : 978-3-030-02420-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: diseño lógico Lógica matemática Ingenieria Eléctrica Ciencias de la Computación Informática Matemáticas discretas Lógica Matemática y Fundamentos Ingeniería eléctrica y electrónica Lógica informática y fundamentos de la programación Matemáticas discretas en informática Índice Dewey: 621.395 Resumen: La segunda edición ampliada y actualizada de este texto clásico ofrece al lector una introducción completa a los conceptos de funciones y ecuaciones lógicas y sus aplicaciones en la informática. El enfoque enfatiza una comprensión profunda de los principios fundamentales, así como de los métodos de solución numéricos y basados en computadora. Actualizada en su totalidad, algunas adiciones importantes para la segunda edición incluyen: - una sección introductoria ampliada sobre ecuaciones lógicas; - un nuevo capítulo sobre conjuntos, redes y clases de funciones lógicas; - un nuevo capítulo sobre problemas SAT; - un nuevo capítulo sobre métodos para resolver problemas extremadamente complejos; y - una sección ampliada con nuevos métodos de descomposición que utilizan el cálculo diferencial booleano extendido a redes de funciones lógicas. El libro proporciona información sobre aplicaciones en aritmética binaria, codificación, complejidad, diseño lógico, programación, arquitectura informática e inteligencia artificial. Basado en la amplia experiencia docente de los autores, Funciones y ecuaciones lógicas es altamente recomendado para un curso de uno o dos semestres en informática y programas relacionados. Proporciona un acceso directo y de alto nivel a estos métodos y permite aplicaciones sofisticadas, cerrando de manera elegante la brecha entre las matemáticas y los fundamentos teóricos de la ciencia informática. Nota de contenido: Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. 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 : Principles and Structures of FPGAs Tipo de documento: documento electrónico Autores: Amano, Hideharu, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2018 Número de páginas: IX, 231 p. 176 ilustraciones, 34 ilustraciones en color. ISBN/ISSN/DL: 978-981-1308246-- 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: diseño lógico Circuitos electrónicos Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Índice Dewey: 621.395 Resumen: Este completo libro de texto sobre la matriz de puertas programables en campo (FPGA) cubre su historia, conocimientos fundamentales, arquitecturas, tecnologías de dispositivos, tecnologías de diseño asistido por computadora, herramientas de diseño, ejemplos de aplicaciones y tendencias futuras. Los dispositivos lógicos programables representados por FPGA se han desarrollado rápidamente en los últimos años y se han convertido en dispositivos electrónicos clave utilizados en la mayoría de los productos de TI. Este libro proporciona introducciones completas adecuadas para estudiantes y principiantes, y técnicas de alto nivel útiles para ingenieros e investigadores en este campo. Desarrollado de manera diferente a los circuitos integrados habituales, el FPGA tiene estructuras, metodologías de diseño y técnicas de aplicación únicas. Al permitir la programación por parte de los usuarios, el dispositivo puede reducir drásticamente el creciente costo del desarrollo de chips semiconductores avanzados. La FPGA ahora impulsa los procesos de semiconductores más avanzados y es una plataforma todo en uno que combina memoria, CPU y varias interfaces periféricas. Este libro presenta la FPGA desde varios aspectos para lectores de diferentes niveles. Los estudiantes novatos pueden adquirir un conocimiento fundamental de la FPGA, incluida su historia, en el Capítulo 1; la primera mitad del Capítulo 2; y el Capítulo 4. Los profesionales que ya están familiarizados con el dispositivo obtendrán una comprensión más profunda de las estructuras y metodologías de diseño de los Capítulos 3 y 5. Los Capítulos 6 a 8 también proporcionan técnicas avanzadas y aplicaciones y tendencias de vanguardia útiles para los profesionales. Aunque las primeras partes son principalmente adecuadas para estudiantes, las secciones avanzadas del libro serán valiosas para que los profesionales adquieran una comprensión profunda de la FPGA para maximizar el rendimiento del dispositivo. Nota de contenido: Chapter 1: Basic knowledge to understand FPGAs -- Chapter 2: What is an FPGA? -- Chapter 3: FPGA Structure -- Chapter 4: Design flow and design tools -- Chapter 5: Design Methodology -- Chapter 6: Hardware Algorithms -- Chapter 7: Programmable Logic Devices (PLDs) in Practical Applications -- Chapter 8: Advanced Devices and Architectures. 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 Principles and Structures of FPGAs [documento electrónico] / Amano, Hideharu, . - 1 ed. . - Singapore [Malasya] : Springer, 2018 . - IX, 231 p. 176 ilustraciones, 34 ilustraciones en color.
ISBN : 978-981-1308246--
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: diseño lógico Circuitos electrónicos Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Índice Dewey: 621.395 Resumen: Este completo libro de texto sobre la matriz de puertas programables en campo (FPGA) cubre su historia, conocimientos fundamentales, arquitecturas, tecnologías de dispositivos, tecnologías de diseño asistido por computadora, herramientas de diseño, ejemplos de aplicaciones y tendencias futuras. Los dispositivos lógicos programables representados por FPGA se han desarrollado rápidamente en los últimos años y se han convertido en dispositivos electrónicos clave utilizados en la mayoría de los productos de TI. Este libro proporciona introducciones completas adecuadas para estudiantes y principiantes, y técnicas de alto nivel útiles para ingenieros e investigadores en este campo. Desarrollado de manera diferente a los circuitos integrados habituales, el FPGA tiene estructuras, metodologías de diseño y técnicas de aplicación únicas. Al permitir la programación por parte de los usuarios, el dispositivo puede reducir drásticamente el creciente costo del desarrollo de chips semiconductores avanzados. La FPGA ahora impulsa los procesos de semiconductores más avanzados y es una plataforma todo en uno que combina memoria, CPU y varias interfaces periféricas. Este libro presenta la FPGA desde varios aspectos para lectores de diferentes niveles. Los estudiantes novatos pueden adquirir un conocimiento fundamental de la FPGA, incluida su historia, en el Capítulo 1; la primera mitad del Capítulo 2; y el Capítulo 4. Los profesionales que ya están familiarizados con el dispositivo obtendrán una comprensión más profunda de las estructuras y metodologías de diseño de los Capítulos 3 y 5. Los Capítulos 6 a 8 también proporcionan técnicas avanzadas y aplicaciones y tendencias de vanguardia útiles para los profesionales. Aunque las primeras partes son principalmente adecuadas para estudiantes, las secciones avanzadas del libro serán valiosas para que los profesionales adquieran una comprensión profunda de la FPGA para maximizar el rendimiento del dispositivo. Nota de contenido: Chapter 1: Basic knowledge to understand FPGAs -- Chapter 2: What is an FPGA? -- Chapter 3: FPGA Structure -- Chapter 4: Design flow and design tools -- Chapter 5: Design Methodology -- Chapter 6: Hardware Algorithms -- Chapter 7: Programmable Logic Devices (PLDs) in Practical Applications -- Chapter 8: Advanced Devices and Architectures. 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 : Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings Tipo de documento: documento electrónico Autores: Kari, Jarkko, ; Ulidowski, Irek, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 353 p. 132 ilustraciones ISBN/ISSN/DL: 978-3-319-99498-7 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: diseño lógico Inteligencia artificial Compiladores (programas informáticos) Red de computadoras Ingeniería de software Compiladores e intérpretes Redes de comunicación informática Índice Dewey: 621.395 Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Computación Reversible, RC 2018, celebrada en Leicester, Reino Unido, en septiembre de 2018. Los 13 artículos completos, 7 breves y un tutorial incluidos en este volumen, junto con cuatro charlas invitadas, fueron cuidadosamente revisado y seleccionado entre 28 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: computación concurrente reversible; circuitos cuánticos; lenguajes de programación reversibles; y aplicaciones. Nota de contenido: Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. 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 Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings [documento electrónico] / Kari, Jarkko, ; Ulidowski, Irek, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 353 p. 132 ilustraciones.
ISBN : 978-3-319-99498-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: diseño lógico Inteligencia artificial Compiladores (programas informáticos) Red de computadoras Ingeniería de software Compiladores e intérpretes Redes de comunicación informática Índice Dewey: 621.395 Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Computación Reversible, RC 2018, celebrada en Leicester, Reino Unido, en septiembre de 2018. Los 13 artículos completos, 7 breves y un tutorial incluidos en este volumen, junto con cuatro charlas invitadas, fueron cuidadosamente revisado y seleccionado entre 28 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: computación concurrente reversible; circuitos cuánticos; lenguajes de programación reversibles; y aplicaciones. Nota de contenido: Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. 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
