Cargando…

Tests and proofs: 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Gabmeyer, Sebastian, Johnsen, Einar Broch
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764111

Ejemplares similares

Software technologies: STAF 2017 collocated workshops, Marburg, Germany, July 17-21, 2017, revised selected papers
por: Seidl, Martina, et al.
Publicado: (2018)

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: 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)

Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
por: Johnsen, Einar Broch, et al.
Publicado: (2018)

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)

Service-oriented and cloud computing: 6th IFIP WG 2. 14 European conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings
por: De Paoli, Flavio, et al.
Publicado: (2017)

Cross-cultural design: 9th international conference, CCD 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings
por: Rau, Pei-Luen Patrick
Publicado: (2017)

Engineering psychology and cognitive ergonomics: 14th international conference, EPCE 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Harris, Don
Publicado: (2017)

Design, user experience, and usability: 6th international conference, DUXU 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Marcus, Aaron, et al.
Publicado: (2017)

Design, user experience, and usability: 6th international conference, DUXU 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part III
por: Marcus, Aaron, et al.
Publicado: (2017)

Design, user experience, and usability: 6th international conference, DUXU 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part I
por: Marcus, Aaron, et al.
Publicado: (2017)

Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
por: Majumdar, Rupak, et al.
Publicado: (2017)

Distributed, ambient and pervasive interactions: 5th international conference, DAPI 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings
por: Streitz, Norbert, et al.
Publicado: (2017)

Virtual, augmented and mixed reality: 9th international conference, VAMR 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings
por: Lackey, Stephanie, et al.
Publicado: (2017)

Learning and collaboration technologies technology in education: 4th international conference, LCT 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Zaphiris, Panayiotis, et al.
Publicado: (2017)

HCI in business, government and organizations supporting business: 4th international conference, HCIBGO 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Nah, Fiona Fui-Hoon, et al.
Publicado: (2017)

Learning and collaboration technologies novel learning ecosystems: 4th international conference, LCT 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part I
por: Zaphiris, Panayiotis, et al.
Publicado: (2017)

Hci in business, government and organizations interacting with information systems: 4th international conference, HCIBGO 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part I
por: Nah, Fiona Fui-Hoon, et al.
Publicado: (2017)

Augmented cognition enhancing cognition and behavior in complex human environments: 11th international conference, AC 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Schmorrow, Dylan D, et al.
Publicado: (2017)

Rough sets: international joint conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, proceedings, part I
por: Polkowski, Lech, et al.
Publicado: (2017)

Rough sets: international joint conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, proceedings, part II
por: Polkowski, Lech, et al.
Publicado: (2017)

Engineering secure software and systems: 9th international symposium, ESSOS 2017, Bonn, Germany, July 3-5, 2017, proceedings
por: Bodden, Eric, et al.
Publicado: (2017)

Globe July 2017
por: Ordan, Julien Marius
Publicado: (2017)

Web and big data: first international joint conference, APWeb-WAIM 2017, Beijing, China, July 7-9, 2017, proceedings, part II
por: Chen, Lei, et al.
Publicado: (2017)

Advances in swarm intelligence: 8th international conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, proceedings, part I
por: Tan, Ying, et al.
Publicado: (2017)

Computational science and its applications - ICCSA 2017: 17th international conference, Trieste, Italy, July 3-6, 2017, proceedings, part V
por: Gervasi, Osvaldo, et al.
Publicado: (2017)

Web and big data: first international joint conference, APWeb-WAIM 2017, Beijing, China, July 7-9, 2017, proceedings, part I
por: Chen, Lei, et al.
Publicado: (2017)

Fundamental approaches to software engineering: 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Huisman, Marieke, et al.
Publicado: (2017)

Information retrieval: 23rd China conference, CCIR 2017, Shanghai, China, July 13-14, 2017, proceedings
por: Wen, Jirong, et al.
Publicado: (2017)

ISOLDE Experiment July 2017
por: Ordan, Julien Marius
Publicado: (2017)

IAPCON 2017 Proceedings
por: Ramachandran, Rajith
Publicado: (2017)

Rules and reasoning: international joint conference, RuleML+RR 2017, London, UK, July 12-15, 2017, proceedings
por: Costantini, Stefania, et al.
Publicado: (2017)

Computer security - ESORICS 2017: 22nd European symposium on research in computer security, Oslo, Norway, September 11-15, 2017, proceedings, part I
por: Foley, Simon N, et al.
Publicado: (2017)

Principles of security and trust: 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Maffei, Matteo, et al.
Publicado: (2017)

Human-computer interaction interaction contexts: 19th international conference, HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Kurosu, Masaaki
Publicado: (2017)

Data mining and big data: second international conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017, proceedings
por: Tan, Ying, et al.
Publicado: (2017)

Applied cryptography and network security: 15th international conference, ACNS 2017, Kanazawa, Japan, july 10-12, 2017, proceedings
por: Gollmann, Dieter, et al.
Publicado: (2017)

Programming languages and systems: 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Yang, Hongseok
Publicado: (2017)

Software business: 8th international conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, proceedings
por: Ojala, Arto, et al.
Publicado: (2017)

Summer Students Globe July 2017
por: Ordan, Julien Marius
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_l3i0s0emmf7tnud7gl0b4bvhoa