Cargando…

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings

Detalles Bibliográficos
Autores principales:	Calinescu, Radu, Rumpe, Bernhard
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761333

Ejemplares similares

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: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
por: Sankaranarayanan, Sriram, et al.
Publicado: (2015)

Software architecture: 9th European conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 proceedings
por: Weyns, Danny, et al.
Publicado: (2015)

Software engineering for resilient systems: 11th international workshop, SERENE 2019, Naples, Italy, September 17, 2019, proceedings
por: Calinescu, Radu, et al.
Publicado: (2019)

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)

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016)

Information security: 18th international conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, proceedings
por: Lopez, Javier, et al.
Publicado: (2015)

Fundamental approaches to software engineering: 18th international conference, FASE 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Egyed, Alexander, et al.
Publicado: (2015)

Internet and distributed computing systems: 8th international conference, IDCS 2015, Windsor, UK, September 2-4, 2015 proceedings
por: Di Fatta, Giuseppe, et al.
Publicado: (2015)

Machines, computations, and universality: 7th international conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, proceedings
por: Nagy, Benedek, et al.
Publicado: (2015)

Business process management: 13th international conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, proceedings
por: Motahari-Nezhad, Hamid Reza, et al.
Publicado: (2015)

Parallel computing technologies: 13th international conference, PACT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, proceedings
por: Malyshkin, Victor, et al.
Publicado: (2015)

Global security, safety and sustainability: 10th international conference, ICGS3 2015, London, UK, September 15-17, 2015 proceedings
por: Jahankhani, Hamid, et al.
Publicado: (2015)

Image analysis and processing - ICIAP 2015: 18th international conference, Genoa, Italy, September 7-11, 2015, proceedings, part II
por: Murino, Vittorio, et al.
Publicado: (2015)

Logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 proceedings
por: Calimeri, Francesco, et al.
Publicado: (2015)

Software engineering for resilient systems: 7th international workshop, SERENE 2015, Paris, France, September 7-8, 2015 proceedings
por: Fantechi, Alessandro, et al.
Publicado: (2015)

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

Systems, software and services process improvement: 22nd european conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 proceedings
por: Umay Akkaya, Mariye, et al.
Publicado: (2015)

Static analysis: 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
por: Blazy, Sandrine, et al.
Publicado: (2015)

Security and trust management: 11th international workshop, STM 2015, Vienna, Austria, September 21-22, 2015, proceedings
por: Foresti, Sara
Publicado: (2015)

Tools and algorithms for the construction and analysis of systems: 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Baier, Christel, et al.
Publicado: (2015)

Programming languages and systems: 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Vitek, Jan
Publicado: (2015)

Entertainment computing - ICEC 2015: 14th international conference, ICEC 2015, Trondheim, Norway, September 29 - October 2, 2015, proceedings
por: Chorianopoulos, Konstantinos, et al.
Publicado: (2015)

KI 2015: 38th annual German conference on AI, Dresden, Germany, September 21-25, 2015, proceedings
por: Hölldobler, Steffen, et al.
Publicado: (2015)

Speech and computer: 17th international conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, proceedings
por: Ronzhin, Andrey, et al.
Publicado: (2015)

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

Computational logistics: 6th international conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, proceedings
por: Corman, Francesco, et al.
Publicado: (2015)

Collaboration and technology: 21st international conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, proceedings
por: Baloian, Nelson, et al.
Publicado: (2015)

Combinatorics on words: 10th international conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, proceedings
por: Manea, Florin, et al.
Publicado: (2015)

London Trauma Conference 2015: London, UK, 8-11 December 2015
por: Avery, Pascale, et al.
Publicado: (2016)

Cryptographic hardware and embedded systems - CHES 2015: 17th international workshop, Saint-Malo, France, September 13-16, 2015, proceedings
por: Güneysu, Tim, et al.
Publicado: (2015)

Soft computing in data science: first international conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, proceedings
por: Berry, Michael W, et al.
Publicado: (2015)

Computer vision: CCF Chinese conference, CCCV 2015, Xi'an, China, September 18-20, 2015, proceedings, part I
por: Zha, Honbin, et al.
Publicado: (2015)

Computer vision: CCF Chinese conference, CCCV 2015, Xi'an, China, September 18-20, 2015, proceedings, part II
por: Zha, Hongbin, et al.
Publicado: (2015)

Information systems: 8th SIGSAND/PLAIS Eurosymposium 2015, Gdansk, Poland, September 25, 2015, proceedings
por: Wrycza, Stanislaw
Publicado: (2015)

Proceedings of the World Molecular Imaging Congress 2015, Honolulu, Hawaii, September 2-5, 2015: General Abstracts
Publicado: (2016)

Creativity in intelligent technologies and data science: first conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015 proceedings
por: Kravets, Alla, et al.
Publicado: (2015)

Algorithmic decision theory: 4th international conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, proceedings
por: Walsh, Toby
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_rot6ueh0mifb3jtpr0doef724b