Cargando…

Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II

Detalles Bibliográficos
Autores principales:	Majumdar, Rupak, Kunčak, Viktor
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756933

Ejemplares similares

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)

Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
por: Paskevich, Andrei, et al.
Publicado: (2017)

Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II
por: Kroening, Daniel, et al.
Publicado: (2015)

Biometric recognition: 12th Chinese conference, CCBR 2017, Shenzhen, China, October 28-29, 2017, proceedings
por: Zhou, Jie, et al.
Publicado: (2017)

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)

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

Advanced information systems engineering: 29th international conference, CAISE 2017, Essen, Germany, June 12-16, 2017, proceedings
por: Dubois, Eric, et al.
Publicado: (2017)

String processing and information retrieval: 24th international symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, proceedings
por: Fici, Gabriele, et al.
Publicado: (2017)

Innovations for community services: 17th international conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, proceedings
por: Eichler, Gerald, et al.
Publicado: (2017)

Analytical and stochastic modelling techniques and applications: 24th international conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, proceedings
por: Thomas, Nigel, et al.
Publicado: (2017)

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

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

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

Information security theory and practice: 11th IFIP WG 11. 2 international conference, WISTP 2017, Heraklion, Crete, Greece, September 28-29, 2017, proceedings
por: Hancke, Gerhard P, et al.
Publicado: (2018)

Rough sets: international joint conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, proceedings, part I
por: Polkowski, Lech, et al.
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)

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

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

Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
por: Lahiri, Shuvendu, et al.
Publicado: (2017)

WALCOM: 11th international conference and workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, proceedings
por: Poon, Sheung-Hung, et al.
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)

Database and expert systems applications: 28th international conference, DEXA 2017, Lyon, France, August 28-31, 2017, proceedings, part I
por: Benslimane, Djamal, et al.
Publicado: (2017)

Hardware and software: 13th international haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017, proceedings
por: Strichman, Ofer, et al.
Publicado: (2017)

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

Programming languages and systems: 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2017)

Computational color imaging: 6th international workshop, CCIW 2017, Milan, Italy, March 29-31, 2017, proceedings
por: Bianco, Simone, et al.
Publicado: (2017)

Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
por: Cavalheiro, Simone, et al.
Publicado: (2017)

Technologies and innovation: third international conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2017)

Software business: 8th international conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, proceedings
por: Ojala, Arto, 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)

Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
por: Bartocci, Ezio, et al.
Publicado: (2015)

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

Agenda for the 56th Meeting of the INTC on Wednesday 28 and Thursday 29 June 2017
por: CERN. Geneva. ISOLDE and neutron Time-of-Flight Experiments Committee, et al.
Publicado: (2017)

Combinatorial algorithms: 28th international workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, revised selected papers
por: Brankovic, Ljiljana, et al.
Publicado: (2018)

Applications and techniques in information security: 8th international conference, ATIS 2017, Auckland, New Zealand, July 6-7, 2017, proceedings
por: Batten, Lynn, et al.
Publicado: (2017)

VLSI design and test: 21st international symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, revised selected papers
por: Kaushik, Brajesh Kumar, et al.
Publicado: (2017)

Distributed computer and communication networks: 20th international conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, proceedings
por: Vishnevskiy, Vladimir M, 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)

Cannot write session to /tmp/vufind_sessions/sess_o1pe1gae0nrkfls28uuggb86av