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...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Schriftenreihe: | Programming and Software Engineering
7948 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Reversible Computation, 9783642389856 • Reversible Computation, 9783642389870 |
| LEADER | 02630nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 947028 | ||
| 008 | 131018s2013 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN172427517 | ||
| 020 | |a 9783642389863 | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.395 | ||
| 245 | 0 | 0 | |a Reversible Computation : |b 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings |c edited by Gerhard W. Dueck, D. Michael Miller. |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c 2013. | ||
| 490 | 0 | |a Programming and Software Engineering |v 7948 |x 2945-9168 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Physical implementation -- Arithmetic -- Programming and data structures -- Modelling -- Synthesis and optimization -- Alternative technologies. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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 | |a Actes de congrès | ||
| 700 | 1 | |a Dueck, Gerhard W. |4 pbd | |
| 700 | 1 | |a Dueck, Gerhard W. |4 pbd | |
| 700 | 1 | |a Miller, D. Michael. |4 pbd | |
| 776 | 0 | |t Reversible Computation |z 9783642389856 | |
| 776 | 0 | |t Reversible Computation |z 9783642389870 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-38986-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-P10DN7T0-L |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747817316 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-38986-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750833866 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-38986-3 |z Accès INSA CVL | |
| 997 | |0 947028 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||