Reversible Computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : Proceedings /
Selección de ponencias presentadas en la sexta Conferencia Internacional sobre Computación Reversible, celebrada en Kioto, Japón, en julio de 2014. Los artículos están organizados en secciones temáticas relacionadas con la computación reversible, entre los que destacan los autómatas matemáticos, not...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Procedimiento de la conferencia ספר |
| שפה: | אנגלית |
| יצא לאור: |
Cham, Suiza :
Springer,
2014, c2014
|
| סדרה: | (Lecture Notes in Computer Science ;
8507) |
| נושאים: | |
| גישה מקוונת: | Ver documento en línea |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000567407 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132126.287 | ||
| 020 | |a 978-3-319-08494-7 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Reversible Computation ( |n 6a : |d 2014 : |c Kioto, Japón) | ||
| 245 | 1 | 0 | |a Reversible Computation : |b 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : Proceedings / |c Ed. de S. Yamashita, S. Minato. |
| 264 | 4 | |a Cham, Suiza : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (X, 231 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8507) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias presentadas en la sexta Conferencia Internacional sobre Computación Reversible, celebrada en Kioto, Japón, en julio de 2014. Los artículos están organizados en secciones temáticas relacionadas con la computación reversible, entre los que destacan los autómatas matemáticos, notación y lenguaje, síntesis y optimización de circuitos reversibles, validación y representación de la lógica cuántica. | ||
| 649 | |a XX | ||
| 650 | |a Computadoras Cuánticas | ||
| 650 | |a Optimización | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición | ||
| 650 | |a Lenguajes de Programación | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Ingeniería de Software - |x Tema Principal | ||
| 650 | |a Programación (Software) - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas - |x Congresos - |x Tema Principal | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Yamashita, Shigeru |e (edición) | ||
| 700 | |a Minato, Shin-ichi |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-08494-7 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 567407-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000567407 | ||