Cargando…

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Proença, José, Lumpe, Markus
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757583

Ejemplares similares

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
por: Arbab, Farhad, et al.
Publicado: (2020)

Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
por: Bae, Kyungmin, et al.
Publicado: (2018)

Information and software technologies: 23rd international conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, proceedings
por: Damasevičius, Robertas, et al.
Publicado: (2017)

Theoretical aspects of computing - ICTAC 2017: 14th international colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings
por: Hung, Dang Van, et al.
Publicado: (2017)

MS Prevalence and Patients' Characteristics in the District of Braga, Portugal
por: Figueiredo, José, et al.
Publicado: (2015)

Relational and algebraic methods in computer science: 15th international conference, RAMICS 2015, Braga, Portugal, September 28 - October 1, 2015, proceedings
por: Kahl, Wolfram, et al.
Publicado: (2015)

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)

Prevention measures for COVID-19 in retail food stores in Braga, Portugal
por: Precioso, J., et al.
Publicado: (2021)

The compound event that triggered the destructive fires of October 2017 in Portugal
por: Ramos, Alexandre M., et al.
Publicado: (2023)

Dependable software engineering theories, tools, and applications: third international symposium, SETTA 2017, Changsha, China, October 23-25, 2017, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2017)

Computer vision: second CCF Chinese conference, CCCV 2017, Tianjin, China, October 11-14, 2017, proceedings, part I
por: Yang, Jinfeng, et al.
Publicado: (2017)

Archaeological and Chemical Investigation on Mortars and Bricks from a Necropolis in Braga, Northwest of Portugal
por: Fragata, Ana, et al.
Publicado: (2021)

Information systems: 14th European, Mediterranean, and Middle Eastern conference, EMCIS 2017, Coimbra, Portugal, September 7-8, 2017, proceedings
por: Themistocleous, Marinos, 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)

Interactive storytelling: 10th international conference on interactive digital storytelling, ICIDS 2017 Funchal, Madeira, Portugal, November 14-17, 2017, proceedings
por: Nunes, Nuno, et al.
Publicado: (2017)

Software process improvement and capability determination: 17th international conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, proceedings
por: Mas, Antonia, et al.
Publicado: (2017)

Applications and usability of interactive television: 6th Iberoamerican conference, JAUTI 2017, Aveiro, Portugal, October 12-13, 2017, revised selected papers
por: Abásolo, María José, et al.
Publicado: (2018)

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

Technologies and innovation: third international conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2017)

Foundations of software science and computational structures: 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, proceedings
por: Seidl, Helmut
Publicado: (2007)

Software business: 8th international conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, proceedings
por: Ojala, Arto, et al.
Publicado: (2017)

Hardware and software: 13th international haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017, proceedings
por: Strichman, Ofer, et al.
Publicado: (2017)

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

Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
por: Cavalheiro, Simone, et al.
Publicado: (2017)

Interactivity, game creation, design, learning, and innovation: 7th EAI international conference, ArtsIT 2018, and 3rd EAI international conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24-26, 2018, proceedings
por: Brooks, Anthony L, et al.
Publicado: (2019)

O pensamento de Ernani Braga /
por: Braga, Ernani de Paiva Ferreira
Publicado: (1984)

Information retrieval: 23rd China conference, CCIR 2017, Shanghai, China, July 13-14, 2017, proceedings
por: Wen, Jirong, et al.
Publicado: (2017)

Formal methods - the next 30 years: third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: ter Beek, Maurice H, et al.
Publicado: (2019)

Security and privacy in communication networks: 13th international conference, SecureComm 2017, Niagara Falls, ON, Canada, October 22-25, 2017, proceedings
por: Lin, Xiaodong, et al.
Publicado: (2018)

Cyberspace safety and security: 9th international symposium, CSS 2017, Xi'an China, October 23-25, 2017, proceedings
por: Wen, Sheng, et al.
Publicado: (2017)

Health information science: 6th international conference, HIS 2017, Moscow, Russia, October 7-9, 2017, proceedings
por: Siuly, Siuly, et al.
Publicado: (2017)

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

Pattern recognition and image analysis: 8th Iberian conference, IBPRIA 2017, Faro, Portugal, June 20-23, 2017, proceedings
por: Alexandre, Luís A, et al.
Publicado: (2017)

From model-driven design to resource management for distributed embedded systems: IFIP TC 10 working conference on distributed and parallel embedded systems (DIPES 2006) October 11-13, 2006, Braga, Portugal
por: Kleinjohann, Bernd, et al.
Publicado: (2006)

Proceedings of the 2nd International Conference for Cancer Metabolism and Therapy, October 13–15, 2017, Wenzhou, China
por: Xiao, Gary Guishan, et al.
Publicado: (2018)

Proceedings of the International Scientific Conference AIFI 2017. Therapeutic Exercise: Foundations, Evidences and Clinical Reasoning in Physiotherapy Practice: Rome, Italy. 12-13 October 2017
Publicado: (2019)

Communications and networking: 12th international conference, CHINACOM 2017, Xi'an, China, October 10-12, 2017, proceedings, part II
por: Li, Bo, et al.
Publicado: (2018)

Progress in artificial intelligence: 18th EPIA conference on artificial intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, proceedings
por: Oliveira, Eugénio, et al.
Publicado: (2017)

Cognitive radio oriented wireless networks: 12th international conference, CROWNCOM 2017, Lisbon, Portugal, September 20-21, 2017, proceedings
por: Marques, Paulo, et al.
Publicado: (2018)

IAPCON 2017 Proceedings
por: Ramachandran, Rajith
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_753bs10h2ups6m5sj1hchlekmv