Cargando…

Verification and evaluation of computer and communication systems: 12th international conference, VECOS 2018, Grenoble, France, September 26-28, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761146

Ejemplares similares

From programs to systems - the systems perspective in computing: ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings
por: Bensalem, Saddek, et al.
Publicado: (2014)

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

Reachability problems: 12th international conference, RP 2018, Marseille, France, September 24-26, 2018, proceedings
por: Potapov, Igor, 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)

Modelling foundations and applications: 14th European conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, proceedings
por: Pierantonio, Alfonso, et al.
Publicado: (2018)

Evolving OpenMP for evolving architectures: 14th international workshop on openmp, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, proceedings
por: de Supinski, Bronis R, et al.
Publicado: (2018)

KI 2018: 41st German conference on AI, Berlin, Germany, September 24-28, 2018, proceedings
por: Trollmann, Frank, et al.
Publicado: (2018)

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

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

Computer algebra in scientific computing: 20th international workshop, CASC 2018, Lille, France, September 17-21, 2018, proceedings
por: Gerdt, Vladimir P, 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)

Machines, computations, and universality: 8th international conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, proceedings
por: Durand-Lose, Jérôme, 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)

Advanced concepts for intelligent vision systems: 19th international conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, proceedings
por: Blanc-Talon, Jacques, et al.
Publicado: (2018)

Detection of intrusions and malware, and vulnerability assessment: 15th international conference, DIMVA 2018, Saclay, France, June 28-29, 2018, proceedings
por: Giuffrida, Cristiano, et al.
Publicado: (2018)

Selected abstracts from the 2018 Simulation Summit: Ottawa, Canada. 28-29 September 2018
Publicado: (2018)

High performance computing: 5th Latin American conference, CARLA 2018, Bucaramanga, Colombia, September 26-28, 2018, revised selected papers
por: Meneses, Esteban, et al.
Publicado: (2019)

ECML PKDD 2018 workshops: Nemesis 2018, UrbReas 2018, Sogood 2018, IWAISe 2018, and Green Data Mining 2018, Dublin, Ireland, September 10-14, 2018, proceedings
por: Alzate, Carlos, et al.
Publicado: (2019)

Experimental IR meets multilinguality, multimodality, and interaction: 9th international conference of the CLEF association, CLEF 2018, Avignon, France, September 10-14, 2018, proceedings
por: Bellot, Patrice, et al.
Publicado: (2018)

Distributed computer and communication networks: 21st international conference, DCCN 2018, Moscow, Russia, September 17-21, 2018, proceedings
por: Vishnevskiy, Vladimir M, et al.
Publicado: (2018)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part V
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part VI
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part I
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part IV
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part III
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Computer vision - ECCV 2018 workshops: Munich, Germany, September 8-14, 2018, proceedings, part II
por: Leal-Taixé, Laura, et al.
Publicado: (2019)

Information and communications security: 20th international conference, ICICS 2018, Lille, France, October 29-31, 2018, proceedings
por: Naccache, David, et al.
Publicado: (2018)

Measurement, modelling and evaluation of computing systems: 19th international GI/ITG conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, proceedings
por: German, Reinhard, et al.
Publicado: (2018)

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
por: Colombo, Christian, 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)

Emerging technologies for authorization and authentication: first international workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, proceedings
por: Saracino, Andrea, 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)

Statistical language and speech processing: second international conference, SLSP 2014, Grenoble, France, October 14-16, 2014, proceedings
por: Besacier, Laurent, et al.
Publicado: (2014)

Ad-hoc, mobile, and wireless networks: 17th international conference on ad hoc networks and wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018 proceedings
por: Montavont, Nicolas, 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)

Developments in language theory: 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, proceedings
por: Hoshi, Mizuho, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_4bdojpljsrm43rkedj0c2cb0vs