Cargando…

Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings

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

Ejemplares similares

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)

Unconventional computation and natural computation: 17th international conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, proceedings
por: Stepney, Susan, 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)

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)

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

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)

Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
por: Havelund, Klaus, et al.
Publicado: (2018)

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

Computer performance engineering: 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings
por: Bakhshi, Rena, et al.
Publicado: (2018)

Cognitive computing - ICCC 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Xiao, Jing, et al.
Publicado: (2018)

Internet of things - ICIOT 2018: third international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Georgakopoulos, Dimitrios, et al.
Publicado: (2018)

Edge computing - EDGE 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Liu, Shijun, et al.
Publicado: (2018)

Services - SERVICES 2018: 14th world congress, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Yang, Alvin, et al.
Publicado: (2018)

Graph-theoretic concepts in computer science: 44th international workshop, WG 2018, Cottbus, Germany, June 27-29, 2018, proceedings
por: Brandstädt, Andreas, et al.
Publicado: (2018)

Web services - ICWS 2018: 25th international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Jin, Hai, et al.
Publicado: (2018)

Enterprise, business-process and information systems modeling: 19th international conference, BPMDS 2018, 23rd international conference, EMMSAD 2018, held at CAISE 2018, Tallinn, Estonia, June 11-12, 2018, proceedings
por: Gulden, Jens, et al.
Publicado: (2018)

Proceedings of the 2018 course on beam instrumentation for particle accelerators, Tuusula, Finland, 2–15 June 2018
por: Schmickler, Hermann, et al.
Publicado: (2020)

Automated invention for smart industries: 18th international TRIZ future conference, TFC 2018, Strasbourg, France, October 29-31, 2018, proceedings
por: Cavallucci, Denis, et al.
Publicado: (2018)

In the literature: June 2018
por: Pérez-Fidalgo, José Alejandro, et al.
Publicado: (2018)

Proceedings of Patient Reported Outcome Measures (PROMs) Conference Birmingham 2018: Birmingham, UK. 20 June, 2018
Publicado: (2018)

Editorial: Proceedings of KININ2018CLE, Cleveland, Ohio, June 18-20, 2018: A Compendium of the Presentations
por: Schmaier, Alvin H., et al.
Publicado: (2019)

Combinatorial algorithms: 29th international workshop, IWOCA 2018, Singapore, July 16-19, 2018, proceedings
por: Iliopoulos, Costas, et al.
Publicado: (2018)

PRIMA 2018: 21st international conference, Tokyo, Japan, October 29-November 2, 2018, proceedings
por: Miller, Tim, et al.
Publicado: (2018)

Rewriting logic and its applications: 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, proceedings
por: Rusu, Vlad
Publicado: (2018)

Pattern recognition: 10th Mexican conference, MCPR 2018, Puebla, Mexico, June 27-30, 2018, proceedings
por: Martínez-Trinidad, José Francisco, et al.
Publicado: (2018)

Computer networks: 25th international conference, CN 2018, Gliwice, Poland, June 19-22, 2018, proceedings
por: Gaj, Piotr, et al.
Publicado: (2018)

Information systems in the big data era: CAISE forum 2018, Tallinn, Estonia, June 11-15, 2018, proceedings
por: Mendling, Jan, 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)

Advances in neural networks - ISNN 2018: 15th international symposium on neural networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, proceedings
por: Huang, Tingwen, et al.
Publicado: (2018)

Formal techniques for distributed objects, components, and systems: 38th IFIP WG 6. 1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings
por: Baier, Christel, et al.
Publicado: (2018)

Enterprise and organizational modeling and simulation: 14th international workshop, EOMAS 2018, held at CAISE 2018, Tallinn, Estonia, June 11-12, 2018, selected papers
por: Pergl, Robert, et al.
Publicado: (2018)

Proceedings of elm 2018
por: Cao, Jiuwen, et al.
Publicado: (2019)

ISMB 2018 proceedings
por: Bromberg, Yana, et al.
Publicado: (2018)

Software engineering and formal methods: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
por: Ölveczky, Peter Csaba, et al.
Publicado: (2019)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, et al.
Publicado: (2015)

Council Session June 2018
por: Brice, Maximilien, et al.
Publicado: (2018)

Council Diner June 2018
por: Ordan, Julien Marius, 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)

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

Swarm intelligence: 11th international conference, ANTS 2018, Rome, Italy, October 29-31, 2018, proceedings
por: Dorigo, Marco, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_046r11jfd09aa54b9dt0s80dvu