Cargando…

Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers

Detalles Bibliográficos
Autores principales:	Giannakopoulou, Dimitra, Kroening, Daniel
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2014
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757629

Ejemplares similares

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)

Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
por: Gurfinkel, Arie, 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)

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)

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)

Software engineering in health care: 4th international symposium, FHIES 2014, and 6th international workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, revised selected papers
por: Huhn, Michaela, et al.
Publicado: (2017)

Software engineering and formal methods: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Advances in digital forensics x: 10th IFIP WG 11. 9 international conference, Vienna, Austria, January 8-10, 2014, revised selected papers
por: Peterson, Gilbert, et al.
Publicado: (2014)

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)

Games and learning alliance: third international conference, GALA 2014, Bucharest, Romania, July 2-4, 2014, revised selected papers
por: De Gloria, Alessandro
Publicado: (2015)

18 July 2014 - Professor J. Farrar
por: Gadmer, Jean-Claude
Publicado: (2014)

13(th) EBSA congress, July 24–28, 2021, Vienna, Austria
Publicado: (2021)

Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
por: Botana, Francisco, et al.
Publicado: (2015)

Quantum interaction: 8th international conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014 revised selected papers
por: Atmanspacher, Harald, et al.
Publicado: (2015)

Robotics: joint conference on robotics, LARS 2014, SBR 2014, RoboControl 2014, São Carlos, Brazil, October 18-23, 2014 revised selected papers
por: Osório, Fernando S, et al.
Publicado: (2015)

17 July 2014 - Union of South American Nations
por: Gadmer, Jean-Claude
Publicado: (2014)

Numerical software verification: 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
por: Bogomolov, Sergiy, et al.
Publicado: (2017)

Cellular automata and discrete complex systems: 20th international workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, revised selected papers
por: Isokawa, Teijiro, et al.
Publicado: (2015)

Fast software encryption: 21st international workshop, FSE 2014, London, UK, March 3-5, 2014 revised selected papers
por: Cid, Carlos, et al.
Publicado: (2015)

15th International Congress on Neuromuscular Diseases, July 6 - 10, 2018 Vienna, Austria
Publicado: (2018)

Augmented and virtual reality: first international conference, AVR 2014, Lecce, Italy, September 17-20, 2014, revised selected papers
por: De Paolis, Lucio Tommaso, et al.
Publicado: (2014)

Software quality: 12th international conference, SWQD 2020, Vienna, Austria, January 14-17, 2020, proceedings
por: Winkler, Dietmar, et al.
Publicado: (2019)

High performance computing for computational science - VECPAR 2014: 11th international conference, Eugene, OR, USA, June 30 - July 3, 2014, revised selected papers
por: Daydé, Michel, et al.
Publicado: (2015)

Software quality: 11th international conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, proceedings
por: Winkler, Dietmar, et al.
Publicado: (2018)

Cryptography and information security in the Balkans: first international conference, BALKANCRYPTSEC 2014, Istanbul, Turkey, October 16-17, 2014, revised selected papers
por: Ors, Berna, et al.
Publicado: (2015)

Decision support systems IV - information and knowledge management in decision processes: Euro working group conferences, EWG-DSS 2014, Toulouse, France, June 10-13, 2014, and Barcelona, Spain, July 13-18, 2014, revised selected and extended papers
por: Linden, Isabelle, et al.
Publicado: (2015)

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

Business process management workshops: BPM 2019 international workshops, Vienna, Austria, September 1-6, 2019, revised selected papers
por: Di Francescomarino, Chiara, et al.
Publicado: (2020)

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)

Euro-Par 2015: euro-Par 2015 international workshops, Vienna, Austria, August 24-25, 2015, revised selected papers
por: Hunold, Sascha, et al.
Publicado: (2015)

Evaluation of novel approaches to software engineering: 9th international conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 revised selected papers
por: Maciaszek, Leszek A, et al.
Publicado: (2015)

Languages and compilers for parallel computing: 27th international workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, revised selected papers
por: Brodman, James, et al.
Publicado: (2015)

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

Swarm, evolutionary, and memetic computing: 5th international conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, revised selected papers
por: Panigrahi, Bijaya Ketan, et al.
Publicado: (2015)

Approximation and online algorithms: 15th international workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, revised selected papers
por: Solis-Oba, Roberto, et al.
Publicado: (2018)

Intelligent software methodologies, tools and techniques: 13th international conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 revised selected papers
por: Fujita, Hamido, et al.
Publicado: (2015)

Oligoarthritis Caused by Borrelia bavariensis, Austria, 2014
por: Markowicz, Mateusz, et al.
Publicado: (2015)

Adaptive resource management and scheduling for cloud computing: first international workshop, ARMS-CC 2014, held in conjunction with ACM symposium on principles of distributed computing, PODC 2014, Paris, France, July 15, 2014, revised selected papers
por: Pop, Florin, et al.
Publicado: (2014)

Key competencies in ICT and informatics: IFIP WG 3. 4/3. 7 international conferences, KCICTP and ITEM 2014, Potsdam, Germany, July 1-4, 2014, revised selected papers
por: Passey, Don, et al.
Publicado: (2014)

Job scheduling strategies for parallel processing: 18th international workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 revised selected papers
por: Cirne, Walfredo, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_ish7k2aih3vth88tagrf0vh7sq