Cargando…
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are o...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Edición: | 1st ed. 2013. |
| Colección: | Programming and Software Engineering,
7948 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-38986-3 | ||
| 003 | DE-He213 | ||
| 005 | 20220311202435.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130727s2013 gw | s |||| 0|eng d | ||
| 020 | |a 9783642389863 |9 978-3-642-38986-3 | ||
| 024 | 7 | |a 10.1007/978-3-642-38986-3 |2 doi | |
| 050 | 4 | |a QA76.9.L63 | |
| 050 | 4 | |a TK7888.4 | |
| 072 | 7 | |a UYF |2 bicssc | |
| 072 | 7 | |a COM036000 |2 bisacsh | |
| 072 | 7 | |a UYF |2 thema | |
| 082 | 0 | 4 | |a 621.395 |2 23 |
| 245 | 1 | 0 | |a Reversible Computation |h [electronic resource] : |b 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / |c edited by Gerhard W. Dueck, D. Michael Miller. |
| 250 | |a 1st ed. 2013. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2013. | |
| 300 | |a X, 263 p. 92 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Programming and Software Engineering, |x 2945-9168 ; |v 7948 | |
| 505 | 0 | |a Physical implementation -- Arithmetic -- Programming and data structures -- Modelling -- Synthesis and optimization -- Alternative technologies. | |
| 520 | |a This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies. | ||
| 650 | 0 | |a Logic design. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 1 | 4 | |a Logic Design. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Algorithms. |
| 650 | 2 | 4 | |a Software Engineering. |
| 700 | 1 | |a Dueck, Gerhard W. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Miller, D. Michael. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642389870 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642389856 |
| 830 | 0 | |a Programming and Software Engineering, |x 2945-9168 ; |v 7948 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-38986-3 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||