Cargando…

Reversible computation: 8th international conference, RC 2016, Bologna, Italy, July 7-8, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Devitt, Simon, Lanese, Ivan
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761490

Ejemplares similares

Business information systems: 19th international conference, BIS 2016, Leipzig, Germany, July, 6-8, 2016, proceedings
por: Abramowicz, Witold, et al.
Publicado: (2016)

Detection of intrusions and malware, and vulnerability assessment: 13th international conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, proceedings
por: Caballero, Juan, et al.
Publicado: (2016)

Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
por: Olivetti, Nicola, et al.
Publicado: (2016)

Advances in image and graphics technologies: 11th Chinese conference, IGTA 2016, Beijing, China, July 8-9, 2016, proceedings
por: Tan, Tieniu, et al.
Publicado: (2016)

Cross-cultural design: 8th international conference, CCD 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Rau, Pei-Luen Patrick
Publicado: (2016)

Virtual, augmented and mixed reality: 8th international conference, VAMR 2016, held as part of HCI international 2016, Toronto, Canada, July 17-22, 2016 proceedings
por: Lackey, Stephanie, et al.
Publicado: (2016)

Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
por: Albert, Elvira, et al.
Publicado: (2016)

Tests and proofs: 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016, proceedings
por: Aichernig, Bernhard K, et al.
Publicado: (2016)

Haptics: 10th international conference, EuroHaptics 2016, London, UK, July 4-7, 2016, proceedings, part II
por: Bello, Fernando, et al.
Publicado: (2016)

Haptics: 10th international conference, EuroHaptics 2016, London, UK, July 4-7, 2016, proceedings, part I
por: Bello, Fernando, et al.
Publicado: (2016)

Reversible computation: 6th international conference, RC 2014, Kyoto, Japan, July 10-11, 2014 proceedings
por: Yamashita, Shigeru, et al.
Publicado: (2014)

Mathematical software - ICMS 2016: 5th international conference, Berlin, Germany, July 11-14, 2016, proceedings
por: Greuel, Gert-Martin, et al.
Publicado: (2016)

Advances in neural networks - ISNN 2016: 13th international symposium on neural networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, proceedings
por: Cheng, Long, et al.
Publicado: (2016)

Trust, privacy and security in digital business: 13th international conference, TRUSTBUS 2016, Porto, Portugal, September 7-8, 2016, proceedings
por: Katsikas, Sokratis, et al.
Publicado: (2016)

OWL: 13th international workshop, OWLED 2016, and 5th international workshop, ORE 2016, Bologna, Italy, November 20, 2016, revised selected papers
por: Dragoni, Mauro, et al.
Publicado: (2017)

Pattern recognition: 8th Mexican conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016 proceedings
por: Martínez-Trinidad, José Francisco, et al.
Publicado: (2016)

AI 2016: 29th Australasian joint conference, Hobart, TAS, Australia, December 5-8, 2016, proceedings
por: Bai, Quan, et al.
Publicado: (2016)

Computational science and its applications - ICCSA 2016: 16th international conference, Beijing, China, July 4-7, 2016, proceedings, part IV
por: Gervasi, Osvaldo, et al.
Publicado: (2016)

Developments in language theory: 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016, proceedings
por: Brlek, Srečko, et al.
Publicado: (2016)

Databases and information systems: 12th international Baltic conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, proceedings
por: Borzovs, Juris, et al.
Publicado: (2016)

Unconventional computation and natural computation: 15th international conference, UCNC 2016, Manchester, UK, July 11-15, 2016, proceedings
por: Amos, Martyn, et al.
Publicado: (2016)

Pursuit of the universal: 12th conference on computability in Europe, CIE 2016, Paris, France, June 27 - July 1, 2016, proceedings
por: Beckmann, Arnold, et al.
Publicado: (2016)

E-infrastructure and e-services for developing countries: 8th international conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, proceedings
por: Bissyande, Tegawendé F, et al.
Publicado: (2017)

Progress in cryptology - AFRICACRYPT 2016: 8th international conference on cryptology in Africa, Fes, Morocco, April 13-15, 2016, proceedings
por: Pointcheval, David, et al.
Publicado: (2016)

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
por: Chaudhuri, Swarat, et al.
Publicado: (2016)

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
por: Chaudhuri, Swarat, et al.
Publicado: (2016)

Experimental IR meets multilinguality, multimodality, and interaction: 7th international conference of the CLEF association, CLEF 2016, Évora, Portugal, September 5-8, 2016, proceedings
por: Fuhr, Norbert, et al.
Publicado: (2016)

Cryptology and network security: 15th international conference, CANS 2016, Milan, Italy, November 14-16, 2016, proceedings
por: Foresti, Sara, et al.
Publicado: (2016)

NASA formal methods: 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, proceedings
por: Rayadurgam, Sanjai, et al.
Publicado: (2016)

Computational collective intelligence: 8th international conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 proceedings, part II
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2016)

Computational collective intelligence: 8th international conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 proceedings, part I
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2016)

Social informatics: 8th international conference, SOCINFO 2016, Bellevue, WA, USA, November 11-14, 2016, proceedings, part II
por: Spiro, Emma, et al.
Publicado: (2016)

Graph transformation: 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016, proceedings
por: Echahed, Rachid, et al.
Publicado: (2016)

HCI international 2016 - posters' extended abstracts: 18th international conference, HCI international 2016 Toronto, Canada, July 17-22, 2016 proceedings, part II
por: Stephanidis, Constantine
Publicado: (2016)

HCI international 2016 - posters' extended abstracts: 18th international conference, HCI international 2016, Toronto, Canada, July 17-22, 2016, proceedings, part I
por: Stephanidis, Constantine
Publicado: (2016)

Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
por: Blazy, Sandrine, et al.
Publicado: (2016)

Ad-hoc, mobile, and wireless networks: 15th international conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, proceedings
por: Mitton, Nathalie, et al.
Publicado: (2016)

Agents and artificial intelligence: 8th international conference, ICAART 2016, Rome, Italy, February 24-26, 2016, revised selected papers
por: van den Herik, Jaap, et al.
Publicado: (2017)

6(th) Annual Conference of Indian Brachytherapy Society 2016 (IBSCON 2016) Proceedings
por: Srinivasan, Venkatesan, et al.
Publicado: (2016)

Privacy technologies and policy: 4th annual privacy forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016, proceedings
por: Schiffner, Stefan, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_k2apck296a1stfs3tfrh7bbkjc