Cargando…

Formal modeling and analysis of timed systems: 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, proceedings

Detalles Bibliográficos
Autores principales:	Legay, Axel, Bozga, Marius
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2014
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761537

Ejemplares similares

Computer performance engineering: 11th European workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, proceedings
por: Horváth, András, 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)

Discrete geometry for computer imagery: 18th IAPR international conference, DGCI 2014, Siena, Italy, September 10-12, 2014 proceedings
por: Barcucci, Elena, et al.
Publicado: (2014)

Collaboration and technology: 20th international conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014, proceedings
por: Baloian, Nelson, et al.
Publicado: (2014)

Multiagent system technologies: 12th German conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, proceedings
por: Müller, Jörg P, et al.
Publicado: (2014)

Computer vision - ECCV 2014: 13th European conference, Zurich, Switzerland, September 6-12, 2014, proceedings, part II
por: Fleet, David, et al.
Publicado: (2014)

Computer vision - ECCV 2014: 13th European conference, Zurich, Switzerland, September 6-12, 2014, proceedings, part V
por: Fleet, David, et al.
Publicado: (2014)

Computer vision - ECCV 2014: 13th European conference, Zurich, Switzerland, September 6-12, 2014, proceedings, part III
por: Fleet, David, et al.
Publicado: (2014)

Computer vision - ECCV 2014: 13th European conference, Zurich, Switzerland, September 6-12, 2014, proceedings, part VI
por: Fleet, David, et al.
Publicado: (2014)

Artificial intelligence applications and innovations: 10th IFIP WG 12. 5 international conference, AIAI 2014, Rhodes, Greece, September 19-21, 2014, proceedings
por: Iliadis, Lazaros, et al.
Publicado: (2014)

Advances in databases and information systems: 18th East European conference, ADBIS 2014, Ohrid, Macedonia, September 7-10, 2014 proceedings
por: Manolopoulos, Yannis, et al.
Publicado: (2014)

Computer safety, reliability, and security: SAFECOMP 2014 workshops ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, proceedings
por: Bondavalli, Andrea, et al.
Publicado: (2014)

KI 2014: 37th annual German conference on AI, Stuttgart, Germany, September 22-26, 2014, proceedings
por: Lutz, Carsten, 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)

Algorithms in bioinformatics: 14th international workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014 proceedings
por: Brown, Dan, et al.
Publicado: (2014)

Algorithms - ESA 2014: 22th annual european symposium, Wrocław, Poland, September 8-10, 2014 proceedings
por: Schulz, Andreas S, et al.
Publicado: (2014)

Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
por: Merz, Stephan, et al.
Publicado: (2014)

Knowledge management in organizations: 9th international conference, KMO 2014, Santiago, Chile, September 2-5, 2014, proceedings
por: Uden, Lorna, et al.
Publicado: (2014)

Perspectives in business informatics research: 13th international conference, BIR 2014, Lund, Sweden, September 22-24, 2014, proceedings
por: Johansson, Bjö, et al.
Publicado: (2014)

Web reasoning and rule systems: 8th international conference, RR 2014, Athens, Greece, September 15-17, 2014 proceedings
por: Kontchakov, Roman, 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)

Data warehousing and knowledge discovery: 16th international conference, DAWAK 2014, Munich, Germany, September 2-4, 2014 proceedings
por: Bellatreche, Ladjel, 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)

Trust, privacy, and security in digital business: 11th international conference, TRUSTBUS 2014, Munich, Germany, September 2-3, 2014 proceedings
por: Eckert, Claudia, et al.
Publicado: (2014)

Computer vision and graphics: international conference, ICCVG 2014, Warsaw, Poland, September 15-17, 2014, proceedings
por: Chmielewski, Leszek J, et al.
Publicado: (2014)

Information systems: 7th SIGSAND/PLAIS Eurosymposium 2014, Gdańsk, Poland, September 25, 2014, proceedings
por: Wrycza, Stanisław
Publicado: (2014)

Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
por: Polikarpova, Nadia, et al.
Publicado: (2017)

Discovery science: 17th international conference, DS 2014, Bled, Slovenia, October 8-10, 2014, proceedings
por: Kocev, Dragi, et al.
Publicado: (2014)

Reversible computation: 6th international conference, RC 2014, Kyoto, Japan, July 10-11, 2014 proceedings
por: Yamashita, Shigeru, et al.
Publicado: (2014)

Cellular automata: 11th international conference on cellular automata for research and industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, proceedings
por: Was, Jaroslaw, et al.
Publicado: (2014)

Advances in natural language processing: 9th international conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014 proceedings
por: Przepiórkowski, Adam, et al.
Publicado: (2014)

Model-driven engineering languages and systems: 17th international conference, MODELS 2014, Valencia, Spain, September 28 - October 4, 2014 proceedings
por: Dingel, Juergen, et al.
Publicado: (2014)

Proceedings, 10th INTEGRAL Workshop (INTEGRAL 2014)
por: Collective
Publicado: (2015)

Cryptography and security systems: third international conference, CSS 2014, Lublin, Poland, September 22-24, 2014 proceedings
por: Kotulski, Zbigniew, et al.
Publicado: (2014)

Adaptive and intelligent systems: third international conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014 proceedings
por: Bouchachia, Abdelhamid
Publicado: (2014)

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)

Computer vision - ECCV 2014 workshops: Zurich, Switzerland, September 6-7 and 12, 2014, proceedings, part I
por: Agapito, Lourdes, et al.
Publicado: (2015)

Computer vision - ECCV 2014 workshops: Zurich, Switzerland, September 6-7 and 12, 2014, proceedings, part IV
por: Agapito, Lourdes, et al.
Publicado: (2015)

Computer vision - ECCV 2014 workshops: Zurich, Switzerland, September 6-7 and 12, 2014, proceedings, part III
por: Agapito, Lourdes, et al.
Publicado: (2015)

Service-oriented computing: 12th international conference, ICSOC 2014, Paris, France, November 3-6, 2014, proceedings
por: Franch, Xavier, et al.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_vb0dcesvdrm056kt1lvfm2oqrc