Cargando…

Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Ábrahám, Erika, Huisman, Marieke
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764135

Ejemplares similares

Unifying theories of programming: 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, revised selected papers
por: Bowen, Jonathan P, et al.
Publicado: (2017)

Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings
por: Furia, Carlo A, 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)

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

NASA formal methods: 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, proceedings
por: Rayadurgam, Sanjai, et al.
Publicado: (2016)

Software reuse: 15th international conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, proceedings
por: Kapitsaki, Georgia M, et al.
Publicado: (2016)

Pursuit of the universal: 12th conference on computability in Europe, CIE 2016, Paris, France, June 27 - July 1, 2016, proceedings
por: Beckmann, Arnold, et al.
Publicado: (2016)

Artificial intelligence and soft computing: 15th international conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, proceedings, part II
por: Rutkowski, Leszek, et al.
Publicado: (2016)

Vital Statistics of Iceland and Reykjavik during the Last Decennium
por: Hjaltelin, John
Publicado: (1866)

Pattern recognition: 8th Mexican conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016 proceedings
por: Martínez-Trinidad, José Francisco, et al.
Publicado: (2016)

Advanced information systems engineering: 28th international conference, CAISE 2016, Ljubljana, Slovenia, June 13-17, 2016 proceedings
por: Nurcan, Selmin, et al.
Publicado: (2016)

Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
por: Olivetti, Nicola, et al.
Publicado: (2016)

Applied cryptography and network security: 14th international conference, ACNS 2016, Guildford, UK, June 19-22, 2016 proceedings
por: Manulis, Mark, et al.
Publicado: (2016)

Integer programming and combinatorial optimization: 18th international conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, proceedings
por: Louveaux, Quentin, et al.
Publicado: (2016)

Open source systems: 12th IFIP WG 2. 13 international conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, proceedings
por: Crowston, Kevin, et al.
Publicado: (2016)

Software process improvement and capability determination: 16th international conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, proceedings
por: Clarke, Paul M, et al.
Publicado: (2016)

Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings
por: änzle, Martin, et al.
Publicado: (2016)

Web-age information management: 17th international conference, WAIM 2016, Nanchang, China, June 3-5, 2016, proceedings, part I
por: Cui, Bin, et al.
Publicado: (2016)

Application and theory of petri nets and concurrency: 37th international conference, Petri Nets 2016, Toruń, Poland, June 19-24, 2016 proceedings
por: Kordon, Fabrice, et al.
Publicado: (2016)

Cognitive radio oriented wireless networks: 11th international conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, proceedings
por: Noguet, Dominique, et al.
Publicado: (2016)

Image and signal processing: 7th international conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, proceedings
por: Mansouri, Alamin, et al.
Publicado: (2016)

Smart cities: first international conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, proceedings
por: Alba, Enrique, et al.
Publicado: (2016)

Epidemiology and treatment of distal radius fractures in Reykjavik, Iceland, in 2004: Comparison with an Icelandic study from 1985
por: Sigurdardottir, Kristbjörg, et al.
Publicado: (2011)

Hybrid metaheuristics: 10th international workshop, HM 2016, Plymouth, UK, June 8-10, 2016, proceedings
por: Blesa, Maria J, et al.
Publicado: (2016)

Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
por: Albert, Elvira, et al.
Publicado: (2016)

Collaborate computing: 12th international conference, CollaborateCom 2016, Beijing, China, November 10-11, 2016, proceedings
por: Wang, Shangguang, et al.
Publicado: (2017)

Information systems security: 12th international conference, ICISS 2016, Jaipur, India, December 16-20, 2016, proceedings
por: Ray, Indrajit, et al.
Publicado: (2016)

Security and privacy in communication networks: 12th international conference, SecureComm 2016, Guangzhou, China, October 10-12, 2016, proceedings
por: Deng, Robert, et al.
Publicado: (2017)

Frontiers in algorithmics: 10th international workshop, FAW 2016, Qingdao, China, June 30 - July 2, 2016, proceedings
por: Zhu, Daming, et al.
Publicado: (2016)

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

Databases and information systems: 12th international Baltic conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, proceedings
por: Borzovs, Juris, et al.
Publicado: (2016)

Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
por: Bloem, Roderick, et al.
Publicado: (2016)

Theory and practice of natural computing: 5th international conference, TPNC 2016, sendai, Japan, December 12-13, 2016, proceedings
por: Martín-Vide, Carlos, et al.
Publicado: (2016)

Information security practice and experience: 12th international conference, ISPEC 2016, Zhangjiajie, China, November 16-18, 2016, proceedings
por: Bao, Feng, et al.
Publicado: (2016)

Text, speech, and dialogue: 19th international conference, TSD 2016, Brno , Czech Republic, September 12-16, 2016, proceedings
por: Sojka, Petr, et al.
Publicado: (2016)

6(th) Annual Conference of Indian Brachytherapy Society 2016 (IBSCON 2016) Proceedings
por: Srinivasan, Venkatesan, et al.
Publicado: (2016)

The semantic web latest advances and new domains: 13th international conference, ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, proceedings
por: Sack, Harald, et al.
Publicado: (2016)

Computational topology in image context: 6th international workshop, CTIC 2016, Marseille, France, June 15-17, 2016, proceedings
por: Bac, Alexandra, et al.
Publicado: (2016)

Intelligent computing methodologies: 12th international conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, proceedings, part III
por: Huang, De-Shuang, et al.
Publicado: (2016)

Information processing and management of uncertainty in knowledge-based systems: 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, proceedings, part I
por: Carvalho, Joao Paulo, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_u1a1868dif475enrrcjhbq8smi