Cargando…

Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers

Detalles Bibliográficos
Autores principales:	Tian, Cong, Nagoya, Fumiko, Liu, Shaoying, Duan, Zhenhua
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761321

Ejemplares similares

Structured object-oriented formal language and method: 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, revised selected papers
por: Liu, Shaoying, et al.
Publicado: (2017)

Structured object-oriented formal language and method: 8th international workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, revised selected papers
por: Duan, Zhenhua, et al.
Publicado: (2019)

Structured object-oriented formal language and method: 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, revised selected papers
por: Liu, Shaoying, et al.
Publicado: (2015)

Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers
por: Liu, Shaoying, et al.
Publicado: (2016)

Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
por: Miao, Huaikou, et al.
Publicado: (2020)

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)

Report from the BIT’s 1st Annual World Congress of Biomedical Engineering Held in Xi’an, China, 9–11 November 2017
por: Litscher, Gerhard, et al.
Publicado: (2017)

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

Image and video technology: PSIVT 2017 international workshops, Wuhan, China, November 20-24, 2017, revised selected papers
por: Satoh, Shin'ichi
Publicado: (2018)

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)

Internet science: insci 2017 international workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, revised selected papers
por: Diplaris, Sotiris, et al.
Publicado: (2018)

Advances in service-oriented and cloud computing: workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, revised selected papers
por: Mann, Zoltán Ádám, et al.
Publicado: (2018)

Theory and applications of formal argumentation: 4th international workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, revised selected papers
por: Black, Elizabeth, et al.
Publicado: (2018)

Formal grammar: 22nd international conference, FG 2017, Toulouse, France, July 22-23, 2017, revised selected papers
por: Foret, Annie, et al.
Publicado: (2018)

Programming and performance visualization tools: international workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, revised selected papers
por: Bhatele, Abhinav, et al.
Publicado: (2019)

Computational intelligence: 9th international joint conference, IJCCI 2017 Funchal-Madeira, Portugal, November 1-3, 2017 revised selected papers
por: Sabourin, Christophe, et al.
Publicado: (2019)

AtSOFL1 and AtSOFL2 Act Redundantly as Positive Modulators of the Endogenous Content of Specific Cytokinins in Arabidopsis
por: Zhang, Jingyu, et al.
Publicado: (2009)

Computer security: ESORICS 2017 international workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers
por: Katsikas, Sokratis K, 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)

Synopsis of the SOFL Plant-Specific Gene Family
por: Tayengwa, Reuben, et al.
Publicado: (2018)

Digital TV and wireless multimedia communication: 14th international forum, IFTC 2017, Shanghai, China, November 8-9, 2017, revised selected papers
por: Zhai, Guangtao, et al.
Publicado: (2018)

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)

Cryptology and network security: 16th international conference, CANS 2017, Hong Kong, China, November 30-December 2, 2017, revised selected papers
por: Capkun, Srdjan, et al.
Publicado: (2018)

Laboratory analysis of positive rate of Mycoplasma pneumoniae antibody among 53,273 children with respiratory tract infections in Xi’an from 2017 to 2020
por: Meng, Gai-Li, et al.
Publicado: (2022)

Frontiers in cyber security: second international conference, FCS 2019, Xi'an, China, November 15-17, 2019, proceedings
por: Shen, Bazhong, et al.
Publicado: (2019)

Software technologies: STAF 2017 collocated workshops, Marburg, Germany, July 17-21, 2017, revised selected papers
por: Seidl, Martina, et al.
Publicado: (2018)

Computational intelligence and intelligent systems: 9th international symposium, ISICA 2017, Guangzhou, China, November 18-19, 2017, revised selected papers, part II
por: Li, Kangshun, et al.
Publicado: (2018)

Computational intelligence and intelligent systems: 9th international symposium, ISICA 2017, Guangzhou, China, November 18-19, 2017, revised selected papers, part I
por: Li, Kangshun, et al.
Publicado: (2018)

Computer-human interaction research and applications: first international conference, CHIRA 2017, Funchal, Madeira, Portugal, October 31 - November 2, 2017, revised selected papers
por: Holzinger, Andreas, et al.
Publicado: (2019)

Autonomous agents and multiagent systems: AAMAS 2017 workshops, best papers, São Paulo, Brazil, May 8-12, 2017, revised selected papers
por: Sukthankar, Gita, et al.
Publicado: (2017)

Autonomous agents and multiagent systems: AAMAS 2017 workshops, visionary papers, São Paulo, Brazil, May 8-12, 2017, revised selected papers
por: Sukthankar, Gita, et al.
Publicado: (2017)

Critical infrastructure protection xi: 11th IFIP WG 11. 10 international conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, revised selected papers
por: Rice, Mason, et al.
Publicado: (2017)

The extent and nature of television food advertising to children in Xi’an, China
por: Li, Danyang, et al.
Publicado: (2016)

The characteristics of screening and confirmatory test results for HIV in Xi’an, China
por: Wang, Linchuan, et al.
Publicado: (2017)

Report from the BIT’s 4th Annual World Congress of High-Tech Acupuncture and Integrative Medicine Held in Xi’an, China, 25–27 September 2017
por: Litscher, Gerhard, et al.
Publicado: (2017)

Symbiotic interaction: 6th international workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18-19, 2017, revised selected papers
por: Ham, Jaap, et al.
Publicado: (2018)

Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
por: Artho, Cyrille, et al.
Publicado: (2015)

Identifying Hot-Spots of Metal Contamination in Campus Dust of Xi’an, China
por: Chen, Hao, et al.
Publicado: (2016)

Human-pathogenic Anaplasma spp., and Rickettsia spp. in animals in Xi’an, China
por: Guo, Wen-Ping, et al.
Publicado: (2018)

The impact of COVID-19 lockdown on atmospheric CO(2) in Xi'an, China
por: Wu, Shugang, et al.
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_o33j9r47fhompfp89o70vu9krt