Cargando…

Dependable software engineering theories, tools, and applications: 4th international symposium, SETTA 2018, Beijing, China, September 4-6, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Feng, Xinyu, Müller-Olm, Markus, Yang, Zijiang
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761770

Ejemplares similares

Dependable software engineering: second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016, proceedings
por: änzle, Martin, et al.
Publicado: (2016)

Search-based software engineering: 10th international symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, proceedings
por: Colanzi, Thelma Elita, et al.
Publicado: (2018)

Dependable software engineering theories, tools, and applications: third international symposium, SETTA 2017, Changsha, China, October 23-25, 2017, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2017)

Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
por: Jansen, David N, et al.
Publicado: (2018)

Software architecture: 12th European conference on software architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, proceedings
por: Cuesta, Carlos E, et al.
Publicado: (2018)

Graph drawing and network visualization: 26th international symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, proceedings
por: Biedl, Therese, et al.
Publicado: (2018)

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
por: Gallardo, María del Mar, et al.
Publicado: (2018)

ICT innovations 2018 engineering and life sciences: 10th international conference, ICT innovations 2018, Ohrid, Macedonia, September 17-19, 2018, proceedings
por: Kalajdziski, Slobodan, et al.
Publicado: (2018)

Engineering applications of neural networks: 19th international conference, EANN 2018, Bristol, UK, September 3-5, 2018, proceedings
por: Pimenidis, Elias, et al.
Publicado: (2018)

Static analysis: 21st international symposium, SAS 2014, Munich, Germany, September 11-13, 2014 proceedings
por: Müller-Olm, Markus, et al.
Publicado: (2014)

Data science: 4th international conference of pioneering computer scientists, engineers and educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, proceedings, part I
por: Zhou, Qinglei, et al.
Publicado: (2018)

Bio-inspired computing: 13th international conference, BIC-TA 2018, Beijing, China, November 2-4, 2018, proceedings, part II
por: Qiao, Jianyong, et al.
Publicado: (2018)

Stabilization, safety, and security of distributed systems: 20th international symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, proceedings
por: Izumi, Taisuke, et al.
Publicado: (2018)

Computer and information sciences: 32nd international symposium, ISCIS 2018, held at the 24th IFIP world computer congress, WCC 2018, Poznan, Poland, September 20-21, 2018, proceedings
por: Czachórski, Tadeusz, et al.
Publicado: (2018)

ECML PKDD 2018 workshops: MIDAS 2018 and PAP 2018, Dublin, Ireland, September 10-14, 2018, proceedings
por: Alzate, Carlos, et al.
Publicado: (2019)

Reachability problems: 12th international conference, RP 2018, Marseille, France, September 24-26, 2018, proceedings
por: Potapov, Igor, et al.
Publicado: (2018)

Artificial intelligence: 18th international conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, proceedings
por: Agre, Gennady, et al.
Publicado: (2018)

Speech and computer: 20th international conference, SPECOM 2018, Leipzig, Germany, September 18-22, 2018, proceedings
por: Karpov, Alexey, et al.
Publicado: (2018)

Advances in computing: 13th Colombian conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, proceedings
por: Serrano C, Jairo E, et al.
Publicado: (2018)

Reversible computation: 10th international conference, RC 2018, Leicester, UK, September 12-14, 2018, proceedings
por: Kari, Jarkko, et al.
Publicado: (2018)

Artificial intelligence: 16th Russian conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, proceedings
por: Kuznetsov, Sergei O, et al.
Publicado: (2018)

Proceedings of the 25th European Paediatric Rheumatology Congress (PReS 2018): Lisbon, Portugal. 5-8 September 2018
Publicado: (2018)

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)

Applied reconfigurable computing architectures, tools, and applications: 14th international symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, proceedings
por: Voros, Nikolaos, et al.
Publicado: (2018)

Research in attacks, intrusions, and defenses: 21st international symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, proceedings
por: Bailey, Michael, et al.
Publicado: (2018)

Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings
por: Furia, Carlo A, et al.
Publicado: (2018)

Security and cryptography for networks: 11th international conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, proceedings
por: Catalano, Dario, et al.
Publicado: (2018)

Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
por: Mesnard, Fred, et al.
Publicado: (2019)

Search-based software engineering: 7th international symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, proceedings
por: Barros, Márcio, et al.
Publicado: (2015)

Search based software engineering: 9th international symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, proceedings
por: Menzies, Tim, et al.
Publicado: (2017)

Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
por: Podelski, Andreas
Publicado: (2018)

Latin 2018: 13th Latin American symposium, Buenos Aires, Argentina, April 16-19, 2018, proceedings
por: Bender, Michael A, et al.
Publicado: (2018)

Machine learning in medical imaging: 9th international workshop, MLMI 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, proceedings
por: Shi, Yinghuan, et al.
Publicado: (2018)

Software quality: 10th international conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, proceedings
por: Winkler, Dietmar, et al.
Publicado: (2017)

Artificial intelligence and symbolic computation: 13th international conference, AISC 2018, Suzhou, China, September 16-19, 2018, proceedings
por: Fleuriot, Jacques, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part XII
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Web information systems and applications: 15th international conference, WISA 2018, Taiyuan, China, September 14-15, 2018, proceedings
por: Meng, Xiaofeng, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part I
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part IV
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part III
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_4rp59rvpl9dassb918cfqq8cgl