Cargando…

Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Furia, Carlo A, Winter, Kirsten
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757098

Ejemplares similares

Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
por: Howar, Falk, et al.
Publicado: (2018)

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

ECML PKDD 2018 workshops: MIDAS 2018 and PAP 2018, Dublin, Ireland, September 10-14, 2018, proceedings
por: Alzate, Carlos, et al.
Publicado: (2019)

Artificial intelligence: 18th international conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, proceedings
por: Agre, Gennady, 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)

Theory and practice of natural computing: 7th international conference, TPNC 2018, Dublin, Ireland, December 12-14, 2018, proceedings
por: Fagan, David, et al.
Publicado: (2018)

Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
por: Jansen, David N, et al.
Publicado: (2018)

Machine learning and knowledge discovery in databases: European conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, proceedings, part III
por: Brefeld, Ulf, et al.
Publicado: (2019)

Machine learning and knowledge discovery in databases: European conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, proceedings, part II
por: Berlingerio, Michele, et al.
Publicado: (2019)

Machine learning and knowledge discovery in databases: European conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, proceedings, part I
por: Berlingerio, Michele, 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)

Integrated formal methods: 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019, proceedings
por: Ahrendt, Wolfgang, et al.
Publicado: (2019)

Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
por: Ábrahám, Erika, et al.
Publicado: (2016)

Multiple access communications: 5th international workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, proceedings
por: Bellalta, Boris, et al.
Publicado: (2012)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part XII
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Web information systems and applications: 15th international conference, WISA 2018, Taiyuan, China, September 14-15, 2018, proceedings
por: Meng, Xiaofeng, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part I
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part IV
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part III
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part XIII
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part XIV
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part IX
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part II
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Information security practice and experience: 14th international conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, proceedings
por: Su, Chunhua, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part XVI
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Business process management: 16th international conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, proceedings
por: Weske, Mathias, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part XI
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part VIII
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part X
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part VII
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part V
por: Ferrari, Vittorio, et al.
Publicado: (2018)

Computer vision - ECCV 2018: 15th European conference, Munich, Germany, September 8-14, 2018, proceedings, part XV
por: Ferrari, Vittorio, 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)

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

Advances in computing: 13th Colombian conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, proceedings
por: Serrano C, Jairo E, 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)

Collaboration and technology: 24th international conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, proceedings
por: Rodrigues, Armanda, 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)

ECML PKDD 2018 workshops: DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, revised selected papers
por: Monreale, Anna, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_0tt248lidehndre087o2p19qki