Cargando…

Tests and proofs: 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Aichernig, Bernhard K, Furia, Carlo A
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761350

Ejemplares similares

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)

Fifth European Dirofilaria and Angiostrongylus Days (FiEDAD) 2016: Vienna, Austria. 11–13 July 2016
por: Simón, F., et al.
Publicado: (2017)

Trust and trustworthy computing: 9th international conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, proceedings
por: Franz, Michael, et al.
Publicado: (2016)

Tests and proofs: 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014, proceedings
por: Seidl, Martina, et al.
Publicado: (2014)

Tests and proofs: 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017, proceedings
por: Gabmeyer, Sebastian, et al.
Publicado: (2017)

Learning and collaboration technologies: third international conference, LCT 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Zaphiris, Panayiotis, et al.
Publicado: (2016)

Software technologies: STAF 2016 collocated workshops DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, revised selected papers
por: Milazzo, Paolo, 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)

Foundations of augmented cognition: 10th international conference, AC 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings, part I
por: Schmorrow, Dylan D, et al.
Publicado: (2016)

HCI in business, government, and organizations: third international conference, HCIBGO 2016, held as part of HCI international 2016, Toronto, Canada, July 17-22, 2016, proceedings, part II
por: Nah, Fiona Fui-Hoon, et al.
Publicado: (2016)

Foundations of augmented cognition: 10th international conference, AC 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings, part II
por: Schmorrow, Dylan D, et al.
Publicado: (2016)

Tests and proofs: 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 proceedings
por: Blanchette, Jasmin Christian, et al.
Publicado: (2015)

Advances in cryptology - EUROCRYPT 2016: 35th annual international conference on the theory and applications of cryptographic techniques, Vienna, Austria, May 8-12, 2016, proceedings, part I
por: Fischlin, Marc, et al.
Publicado: (2016)

Design, user experience, and usability: 5th international conference, DUXU 2016, held as part of HCI international 2016, Toronto, Canada, July 17-22, 2016, proceedings, part I
por: Marcus, Aaron
Publicado: (2016)

Design, user experience, and usability: 5th international conference, DUXU 2016, held as part of HCI international 2016, Toronto, Canada, July 17-22, 2016, proceedings, part III
por: Marcus, Aaron
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)

Mobile web and intelligent information systems: 13th international conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, proceedings
por: Younas, Muhammad, et al.
Publicado: (2016)

Human aspects of IT for the aged population design for aging: second international conference, ITAP 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings, part I
por: Zhou, Jia, et al.
Publicado: (2016)

Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
por: Demri, Stéphane, et al.
Publicado: (2014)

Human aspects of information security, privacy, and trust: 4th international conference, HAS 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Tryfonas, Theo
Publicado: (2016)

Service-oriented and cloud computing: 5th IFIP WG 2. 14 European conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, proceedings
por: Aiello, Marco, et al.
Publicado: (2016)

Research and practical issues of enterprise information systems: 10th IFIP WG 8. 9 working conference, CONFENIS 2016, Vienna, Austria, December 13-14, 2016, proceedings
por: Tjoa, A Min, 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)

Theory and applications of satisfiability testing - SAT 2014: 17th international conference, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings
por: Sinz, Carsten, et al.
Publicado: (2014)

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)

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)

KI 2016: 39th annual German conference on AI, Klagenfurt, Austria, September 26-30, 2016, proceedings
por: Friedrich, Gerhard, et al.
Publicado: (2016)

Information security and privacy: 21st australasian conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, proceedings, part II
por: Liu, Joseph K, 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)

Information security and privacy: 21st Australasian conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, proceedings, part I
por: Liu, Joseph K, et al.
Publicado: (2016)

Reversible computation: 8th international conference, RC 2016, Bologna, Italy, July 7-8, 2016, proceedings
por: Devitt, Simon, et al.
Publicado: (2016)

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

Advances in service-oriented and cloud computing: workshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016, revised selected papers
por: Lazovik, Alexander, et al.
Publicado: (2018)

Human interface and the management of information: 18th international conference, HCI international 2016 Toronto, Canada, July 17-22, 2016, proceedings, part I
por: Yamamoto, Sakae
Publicado: (2016)

Electronic voting: first international joint conference, E-VOTE-ID 2016, Bregenz, Austria, October 18-21, 2016, proceedings
por: Krimmer, Robert, et al.
Publicado: (2017)

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)

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

Cannot write session to /tmp/vufind_sessions/sess_blihfbhk180rfm9brhvo07dv6j