Reversible Computation : :: SCD d'Orléans

Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

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...

Descripció completa

Guardat en:

Dades bibliogràfiques
Altres autors:	Dueck, Gerhard W. (Director editorial), Miller, D. Michael (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Col·lecció:	Programming and Software Engineering 7948
Matèries:	Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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

Ítems similars

Reversible computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Publicat: (2013)

Speech and Computer : 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings
per: Železný, Miloš

Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
per: Sharygina, Natasha
Publicat: (2013)

Computer Vision Systems : 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Publicat: (2013)

Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
per: Heckel, Reiko
Publicat: (2013)

Information processing in computer-assisted interventions : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013 : proceedings
per: Barratt, Dean
Publicat: (2013)

Proceedings of the 8th international conference on computer recognition systems CORES 2013

Abdominal Imaging. Computation and Clinical Applications : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
per: Yoshida, Hiroyuki, 1947-
Publicat: (2013)

Discrete Geometry for Computer Imagery : 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
per: Gonzalez-Diaz, Rocio
Publicat: (2013)

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
per: Wilson, Richard Michael, 1945-
Publicat: (2013)

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
per: Wilson, Richard Michael, 1945-
Publicat: (2013)

Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
per: G©asieniec, Leszek
Publicat: (2013)

Scale space and variational methods in computer vision : 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013 : proceedings
per: Kuijper, Arjan
Publicat: (2013)

Human Computer Interaction : 6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
per: Collazos, César
Publicat: (2013)

Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
per: Carette, Jacques, 19..-
Publicat: (2013)

Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
per: Chatterjee, Krishnendu

Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
per: Gerdt, Vladimir P., 1947-2021

Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
per: Bitsch, Friedemann

Computer Security ESORICS 2013 : 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings
per: Crampton, Jason
Publicat: (2013)

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

Computer Information Systems and Industrial Management : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
per: Saeed, Khalid
Publicat: (2013)

Energy Minimization Methods in Computer Vision and Pattern Recognition : 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
per: Heyden, Anders, 19..-
Publicat: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
per: Kotzé, Paula
Publicat: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
per: Kotzé, Paula
Publicat: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
per: Kotzé, Paula
Publicat: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
per: Kotzé, Paula
Publicat: (2013)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I
per: Mori, Kensaku
Publicat: (2013)

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III
per: Mori, Kensaku
Publicat: (2013)

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II
per: Mori, Kensaku
Publicat: (2013)

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Algorithms and computation : 13th international symposium, ISAAC 2002, Vancouver, BC, Canada, November 21-23, 2002 : proceedings

Reversible Computation: Extending Horizons of Computing
Publicat: (2021)

Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983

Theoretical computer science : 5th GI-conference, Karlsruhe, March 23 25, 1981

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions : 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
per: Liao, Hongen
Publicat: (2013)

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979

Human-computer interaction : 5th international conference, EWHCI '95, Moscow, Russia, July 3-7, 1995 : selected papers

E-Voting and Identify : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings
per: Heather, James
Publicat: (2013)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales