Cargando…

Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Cavalheiro, Simone, Fiadeiro, José
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764255

Ejemplares similares

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

Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019
por: Duran, Adolfo, et al.
Publicado: (2021)

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

Formal methods: 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011, proceedings
por: Simao, Adenilso, et al.
Publicado: (2011)

Programming languages and systems: 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2017)

Information theoretic security: 10th international conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, proceedings
por: Shikata, Junji
Publicado: (2017)

Product-focused software process improvement: 18th international conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, proceedings
por: Felderer, Michael, et al.
Publicado: (2017)

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

Information security and cryptology - ICISC 2017: 20th international conference, Seoul, South Korea, November 29 - December 1, 2017, revised selected papers
por: Kim, Howon, et al.
Publicado: (2018)

Knowledge and systems sciences: 20th international symposium, KSS 2019, Da Nang, Vietnam, November 29 - December 1, 2019, proceedings
por: Chen, Jian, et al.
Publicado: (2019)

Smart societies, infrastructure, technologies and applications: first international conference, SCITA 2017, Jeddah, Saudi Arabia, November 27-29, 2017, proceedings
por: Mehmood, Rashid, et al.
Publicado: (2018)

Nasa formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
por: Barrett, Clark, et al.
Publicado: (2017)

PRIMA 2017: 20th international conference, Nice, France, October 30 - November 3, 2017, proceedings
por: An, Bo, et al.
Publicado: (2017)

String processing and information retrieval: 24th international symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, proceedings
por: Fici, Gabriele, et al.
Publicado: (2017)

Agenda of 132nd LHCC Meeting - Thursday 20 November and Friday 1 December 2017
por: CERN. Geneva. The LHC experiments Committee
Publicado: (2017)

Neighbourhood-level income and Zika virus infection during pregnancy in Recife, Pernambuco, Brazil: an ecological perspective, 2015–2017
por: Lobkowicz, Ludmila, et al.
Publicado: (2021)

Stabilization, safety, and security of distributed systems: 19th international symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, proceedings
por: Spirakis, Paul, et al.
Publicado: (2017)

Advanced parallel processing technologies: 12th international symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, proceedings
por: Dou, Yong, et al.
Publicado: (2017)

Proceedings of the 2017 WAO Symposium on Hot Topics in Allergy: Pediatric & Regulatory Aspects: Rome, Italy/Vatican City. 27-29 April 2017
por: Traina, Giovanni, et al.
Publicado: (2017)

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

Web and internet economics: 13th international conference, WINE 2017, Bangalore, India, December 17-20, 2017, proceedings
por: R Devanur, Nikhil, et al.
Publicado: (2017)

Brain informatics: international conference, BI 2017, Beijing, China, November 16-18, 2017, proceedings
por: Zeng, Yi, et al.
Publicado: (2017)

Proceedings of the 2017 International Conference of Precision Health and Precision Nutrition: Shanghai, China. 6-7 November 2017
Publicado: (2018)

Market processes in the Recife area of Northeast Brazil.
Publicado: (1969)

Distributed computer and communication networks: 20th international conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, proceedings
por: Vishnevskiy, Vladimir M, et al.
Publicado: (2017)

Geometric science of information: third international conference, GSI 2017, Paris, France, November 7-9, 2017, proceedings
por: Nielsen, Frank, et al.
Publicado: (2017)

Secure IT systems: 22nd Nordic conference, NORDSEC 2017, Tartu, Estonia, November 8-10, 2017, proceedings
por: Lipmaa, Helger, et al.
Publicado: (2017)

Wireless internet: 10th international conference, WICON 2017, Tianjin, China, December 16-17, 2017, proceedings
por: Li, Cheng, et al.
Publicado: (2018)

Mastering scale and complexity in software reuse: 16th international conference on software reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, proceedings
por: Botterweck, Goetz, et al.
Publicado: (2017)

Research in attacks, intrusions, and defenses: 20th international symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, proceedings
por: Dacier, Marc, et al.
Publicado: (2017)

Phenomenology 2017 Symposium (PHENO 2017)
Publicado: (2017)

Simulated evolution and learning: 11th international conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, proceedings
por: Shi, Yuhui, et al.
Publicado: (2017)

Smart computing and communication: second international conference, SmartCom 2017, Shenzhen, China, December 10-12, 2017, proceedings
por: Qiu, Meikang
Publicado: (2018)

Cryptography and coding: 16th IMA international conference, IMACC 2017, Oxford, UK, December 12-14, 2017, proceedings
por: O'Neill, Máire
Publicado: (2017)

Collaborative computing: 13th international conference, CollaborateCom 2017, Edinburgh, UK, December 11-13, 2017, proceedings
por: Romdhani, Imed, et al.
Publicado: (2018)

Mobile networks and management: 9th international conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, proceedings
por: Hu, Jiankun, et al.
Publicado: (2018)

Programming languages and systems: 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Yang, Hongseok
Publicado: (2017)

Report on Proceedings of the Tenth Annual European CME Forum, Dublin, Ireland, November 2017
por: Murray, Ron
Publicado: (2018)

Biometric recognition: 12th Chinese conference, CCBR 2017, Shenzhen, China, October 28-29, 2017, proceedings
por: Zhou, Jie, et al.
Publicado: (2017)

WALCOM: 11th international conference and workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, proceedings
por: Poon, Sheung-Hung, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_g18ogv7h8jab4pdrpmqr98pmbs