Cargando…

Structured object-oriented formal language and method: 8th international workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, revised selected papers

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

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: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
por: Tian, Cong, et al.
Publicado: (2018)

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)

Database systems for advanced applications: 23rd international conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, proceedings, part II
por: Pei, Jian, et al.
Publicado: (2018)

Database systems for advanced applications: 23rd international conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, proceedings, part I
por: Pei, Jian, et al.
Publicado: (2018)

Database systems for advanced applications: DASFAA 2018 international workshops : BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, proceedings
por: Liu, Chengfei, et al.
Publicado: (2018)

Health information science: 7th international conference, HIS 2018, Cairns, QLD, Australia, October 5-7, 2018, proceedings
por: Siuly, Siuly, et al.
Publicado: (2018)

Semantic technology: 7th joint international conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, proceedings
por: Wang, Zhe, et al.
Publicado: (2017)

Artificial intelligence: 30th Benelux conference, BNAIC 2018, 'S-Hertogenbosch, The Netherlands, November 8-9, 2018, revised selected papers
por: Atzmueller, Martin, et al.
Publicado: (2019)

Machine learning for networking: first international conference, MLN 2018, Paris, France, November 27-29, 2018, revised selected papers
por: Renault, Éric, et al.
Publicado: (2019)

PRIMA 2014: 17th international conference, Gold Coast, QLD, Australia, December 1-5, 2014, proceedings
por: Dam, Hoa Khanh, et al.
Publicado: (2014)

Advances in cryptology - ASIACRYPT 2018: 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2-6, 2018, proceedings, part III
por: Peyrin, Thomas, et al.
Publicado: (2018)

Advances in cryptology - ASIACRYPT 2018: 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2-6, 2018, proceedings, part I
por: Peyrin, Thomas, et al.
Publicado: (2018)

Advances in cryptology - ASIACRYPT 2018: 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2-6, 2018, proceedings, part II
por: Peyrin, Thomas, et al.
Publicado: (2018)

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

Service research and innovation: 7th australian symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, revised selected papers
por: Lam, Ho-Pun, et al.
Publicado: (2019)

Convergent cognitive information technologies: third international conference, CONVERGENT 2018, Moscow, Russia, November 29 - December 2, 2018, revised selected papers
por: Sukhomlin, Vladimir, et al.
Publicado: (2020)

Information security and cryptology - ICISC 2018: 21st international conference, Seoul, South Korea, November 28-30, 2018, revised selected papers
por: Lee, Kwangsu
Publicado: (2019)

Foundations and practice of security: 11th international symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, revised selected papers
por: Zincir-Heywood, Nur, et al.
Publicado: (2019)

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

Smart card research and advanced applications: 17th international conference, CARDIS 2018, Montpellier, France, November 12-14, 2018, revised selected papers
por: Bilgin, Begül, et al.
Publicado: (2019)

Data quality and trust in big data: 5th international workshop, QUAT 2018, held in conjunction with wise 2018, Dubai, UAE, November 12-15, 2018, revised selected papers
por: Hacid, Hakim, et al.
Publicado: (2019)

CKD.QLD: chronic kidney disease surveillance and research in Queensland, Australia
por: Venuthurupalli, Sree K., et al.
Publicado: (2012)

Coordination, organizations, institutions, and norms in agent systems X: COIN 2014 international workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, revised selected papers
por: Ghose, Aditya, et al.
Publicado: (2015)

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)

Next generation computing technologies on computational intelligence: 4th international conference, NGCT 2018, dehradun, India, November 21-22, 2018, revised selected papers
por: Prateek, Manish, et al.
Publicado: (2019)

Service-oriented computing - ICSOC 2018 workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12-15, 2018, revised selected papers
por: Liu, Xiao, et al.
Publicado: (2019)

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)

Formalizing natural languages with NooJ 2018 and its natural language processing applications: 12th international conference, NooJ 2018, Palermo, Italy, June 20-22, 2018, revised selected papers
por: Mirto, Ignazio Mauro, et al.
Publicado: (2018)

Innovative security solutions for information technology and communications: 11th international conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, revised selected papers
por: Lanet, Jean-Louis, et al.
Publicado: (2019)

Cognitive systems and signal processing: 4th international conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018, revised selected papers, part II
por: Sun, Fuchun, et al.
Publicado: (2019)

Cognitive systems and signal processing: 4th international conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018, revised selected papers, part I
por: Sun, Fuchun, et al.
Publicado: (2019)

Computer vision - ACCV 2018 workshops: 14th Asian conference on computer vision, Perth, Australia, December 2-6, 2018, revised selected papers
por: Carneiro, Gustavo, et al.
Publicado: (2019)

Computer vision - ACCV 2018: 14th Asian conference on computer vision, Perth, Australia, December 2-6, 2018, revised selected papers, part I
por: Jawahar, C V, et al.
Publicado: (2019)

Computer vision - ACCV 2018: 14th Asian conference on computer vision, Perth, Australia, December 2-6, 2018, revised selected papers, part II
por: Jawahar, C V, et al.
Publicado: (2019)

Computer vision - ACCV 2018: 14th Asian conference on computer vision, Perth, Australia, December 2-6, 2018, revised selected papers, part IV
por: Jawahar, C V, et al.
Publicado: (2019)

Computer vision - ACCV 2018: 14th Asian conference on computer vision, Perth, Australia, December 2-6, 2018, revised selected papers, part III
por: Jawahar, C V, et al.
Publicado: (2019)

Computer vision - ACCV 2018: 14th Asian conference on computer vision, Perth, Australia, December 2-6, 2018, revised selected papers, part VI
por: Jawahar, C V, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_7dn26f35gp83nhch35govnkohg