Cargando…

Software engineering for resilient systems: 6th international workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 proceedings

Detalles Bibliográficos
Autores principales:	Majzik, István, Vieira, Marco
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2014
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2757507

Ejemplares similares

HEPiX Spring 2017 Workshop at the Hungarian Academy of Sciences, Budapest, Hungary - Trip Report
por: Belleman, Jerome
Publicado: (2017)

PLC code generation based on a formal specification language
por: Darvas, Daniel, et al.
Publicado: (2017)

Conformance checking for programmable logic controller programs and specifications
por: Darvas, Daniel, et al.
Publicado: (2016)

Secure IT systems: 19th nordic conference, NordSec 2014, Tromsø, Norway, October 15-17, 2014, proceedings
por: Bernsmed, Karin, et al.
Publicado: (2014)

Product-focused software process improvement: 15th international conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, proceedings
por: Jedlitschka, Andreas, et al.
Publicado: (2014)

Advances in swarm intelligence: 5th international conference, ICSI 2014, Hefei, China, October 17-20, 2014, proceedings, part II
por: Tan, Ying, et al.
Publicado: (2014)

Artificial intelligence: 16th international conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, proceedings
por: Agre, Gennady, et al.
Publicado: (2014)

Search-based software engineering: 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, proceedings
por: Le Goues, Claire, et al.
Publicado: (2014)

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

Algorithmic learning theory: 19th international conference, ALT 2008, Budapest, Hungary, October 13-16, 2008, proceedings
por: Freund, Yoav, et al.
Publicado: (2008)

What is special about PLC software model checking?
por: Darvas, Daniel, et al.
Publicado: (2018)

Tests and proofs: 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014, proceedings
por: Seidl, Martina, et al.
Publicado: (2014)

Data privacy management, autonomous spontaneous security, and security assurance: 9th international workshop, DPM 2014, 7th international workshop, SETOP 2014, and 3rd international workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014 revised selected papers
por: Garcia-Alfaro, Joaquin, et al.
Publicado: (2015)

Knowledge management and acquisition for smart systems and services: 13th Pacific rim knowledge acquisition workshop, PKAW 2014, Gold Cost, QLD, Australia, December 1-2, 2014, proceedings
por: Kim, Yang Sok, et al.
Publicado: (2014)

Financial cryptography and data security: FC 2014 workshops, Bitcoin and WAHC 2014, Christ Church, Barbados, March 7, 2014, revised selected papers
por: Böhme, Rainer, et al.
Publicado: (2014)

Theory and practice of model transformations: 7th international conference, ICMT 2014, held as part of STAF 2014, York, UK, July 21-22, 2014, proceedings
por: Di Ruscio, Davide, et al.
Publicado: (2014)

Analysis of verbal and nonverbal communication and enactment the processing issues: COST 2102 international conference, Budapest, Hungary, September 7-10, 2010, revised selected papers
por: Esposito, Anna, et al.
Publicado: (2011)

Letter from Budapest, Hungary
por: Marx, Otto
Publicado: (1890)

Agent technology for intelligent mobile services and smart societies: workshop on collaborative agents, research and development, CARE 2014, and workshop on agents, virtual societies and analytics, AVSA 2014, held as part of AAMAS 2014, Paris, France, May 5-9, 2014 revised selected papers
por: Koch, Fernando, et al.
Publicado: (2015)

Technologies and applications of artificial intelligence: 19th international conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, proceedings
por: Cheng, Shin-Ming, et al.
Publicado: (2014)

Information technology in bio- and medical informatics: 5th international conference, ITBAM 2014, Munich, Germany, September 2, 2014 proceedings
por: Bursa, Miroslav, et al.
Publicado: (2015)

Intelligent virtual agents: 14th international conference, IVA 2014, Boston, MA, USA, August 27-29, 2014, proceedings
por: Bickmore, Timothy, et al.
Publicado: (2014)

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

Comparative genomics: 15th international workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017, proceedings
por: Meidanis, Joao, et al.
Publicado: (2017)

Nordic contributions in IS research: 5th Scandinavian conference on information systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, proceedings
por: Commisso, Trine Hald, et al.
Publicado: (2014)

Internet of things user-centric IoT: first international summit, IOT360 2014, Rome, Italy, October 27-28, 2014, revised selected papers, part I
por: Giaffreda, Raffaele, 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)

Software engineering for resilient systems: 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, proceedings
por: Romanovsky, Alexander, et al.
Publicado: (2017)

Software engineering for resilient systems: 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, proceedings
por: Crnkovic, Ivica, et al.
Publicado: (2016)

Highlights of international conference of immunogenomics and immunomics, October 8–12, 2006 Budapest, Hungary
por: Falus, András, et al.
Publicado: (2006)

Advances in visual computing: 10th international symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, proceedings, part II
por: Bebis, George, et al.
Publicado: (2014)

Safe and secure cities: 5th international conference on well-being in the information society, WIS 2014, Turku, Finland, August 18-20, 2014 proceedings
por: Saranto, Kaija, et al.
Publicado: (2014)

Autodesk Inventor 2014 and Inventor LT 2014: essentials
por: Tremblay, Thom
Publicado: (2013)

Simulated evolution and learning: 10th international conference, SEAL 2014, Dunedin, New Zealand, December 15-18, proceedings
por: Dick, Grant, et al.
Publicado: (2014)

Inductive logic programming: 24th international conference, ILP 2014, Nancy, France, September 14-16, 2014, revised selected papers
por: Davis, Jesse, et al.
Publicado: (2015)

Mastering Autodesk Inventor 2014 and Autodesk Inventor LT 2014
por: Waguespack, Curtis
Publicado: (2013)

Mastering AutoCAD 2014 and AutoCAD LT 2014
por: Omura, George, et al.
Publicado: (2013)

Logic, rationality, and interaction: 5th international workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 proceedings
por: van der Hoek, Wiebe, et al.
Publicado: (2015)

Economics of grids, clouds, systems, and services: 11th international conference, GECON 2014, Cardiff, UK, September 16-18, 2014 revised selected papers
por: Altmann, Jö, et al.
Publicado: (2015)

HEPiX Spring 2014 Workshop at LAPP, Annecy-le-Vieux, France - Trip Report
por: Meinhard, H (CERN), et al.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_0la3nifljhculv99p0v74kc0eu