Cargando…

Formal grammar: 24th international conference, FG 2019, Riga, Latvia, August 11, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Bernardi, Raffaella, Kobele, Greg, Pogodalla, Sylvain
Lenguaje:	eng
Publicado:	Springer 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755235

Ejemplares similares

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

Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2019)

Observational Study of Antibiotic Usage at the Children’s Clinical University Hospital in Riga, Latvia
por: Sviestina, Inese, et al.
Publicado: (2018)

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)

Formal modeling and analysis of timed systems: 17th international conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, proceedings
por: André, Étienne, et al.
Publicado: (2019)

Dental disease and dietary isotopes of individuals from St Gertrude Church cemetery, Riga, Latvia
por: Petersone-Gordina, Elina, et al.
Publicado: (2018)

Evaluating Mortality Response Associated with Two Different Nordic Heat Warning Systems in Riga, Latvia
por: Pfeifer, Kerstin, et al.
Publicado: (2020)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

Machine learning and intelligent communications: 4th international conference, MLICOM 2019, Nanjing, China, August 24-25, 2019, proceedings
por: Zhai, Xiangping Bryce, et al.
Publicado: (2019)

Pulmonary arterial hypertension incidence in Latvia in 2019
por: Kaulins, Ricards, et al.
Publicado: (2022)

Dataset on microplastic concentrations, characteristics, and chemical composition in the marine surface waters of Latvia – the Eastern Gotland basin and the Gulf of Riga
por: Barone, Marta, et al.
Publicado: (2023)

Network and parallel computing: 16th IFIP WG 10 3 international conference, NPC 2019, Hohhot, China, August 23-24, 2019, proceedings
por: Tang, Xiaoxin, et al.
Publicado: (2019)

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)

NASA formal methods: 11th international symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, proceedings
por: Badger, Julia M, et al.
Publicado: (2019)

CMS Virtual visit from Latvia 8.5.2019
por: Strand, Martine
Publicado: (2019)

Human interaction and emerging technologies: proceedings of the 1st international conference on human interaction and emerging technologies (IHIET 2019), August 22-24, 2019, Nice, France
por: Ahram, Tareq, et al.
Publicado: (2019)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
por: Ait-Ameur, Yamine, et al.
Publicado: (2019)

Intelligent robotics and applications: 12th international conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, proceedings, part III
por: Yu, Haibin, et al.
Publicado: (2019)

Search-based software engineering: 11th international symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, proceedings
por: Nejati, Shiva, et al.
Publicado: (2019)

A Conversation with Dr. (Med.) Valdis Pirags, Head of Internal Medicine Department, Paula Stradiņa Klīniskā Universitātes Slimnīca, Riga, Latvia
Publicado: (2015)

Qualitative fingerprinting of psychoactive pharmaceuticals, illicit drugs, and related human metabolites in wastewater: A year-long study from Riga, Latvia
por: Perkons, Ingus, et al.
Publicado: (2022)

Speech and computer: 21st international conference, SPECOM 2019, Istanbul, Turkey, August 20-25, 2019, proceedings
por: Salah, Albert Ali, et al.
Publicado: (2019)

Artificial intelligence: second CCF international conference, ICAI 2019, Xuzhou, China, August 22-23, 2019, proceedings
por: Knight, Kevin, et al.
Publicado: (2019)

Riga Fede Disease
por: Kanumuri, Pratej Kiran
Publicado: (2017)

Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
por: Beyer, Dirk, et al.
Publicado: (2019)

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

Formal concept analysis: 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, proceedings
por: Cristea, Diana, et al.
Publicado: (2019)

Fundamentals of computation theory: 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, proceedings
por: Gąsieniec, Leszek Antoni, et al.
Publicado: (2019)

Emerging technologies in computing: second international conference, ICETiC 2019, London, UK, August 19-20, 2019, proceedings
por: Miraz, Mahdi H, et al.
Publicado: (2019)

Geometric science of information: 4th international conference, GSI 2019, Toulouse, France, August 27-29, 2019, proceedings
por: Nielsen, Frank, et al.
Publicado: (2019)

Artificial general intelligence: 12th international conference, AGI 2019, Shenzhen, China, August 6-9, 2019, proceedings
por: Hammer, Patrick, et al.
Publicado: (2019)

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)

Software engineering and formal methods: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
por: Ölveczky, Peter Csaba, et al.
Publicado: (2019)

Computer algebra in scientific computing: 21st international workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, proceedings
por: England, Matthew, et al.
Publicado: (2019)

Algorithmic aspects in information and management: 13th international conference, AAIM 2019, Beijing, China, August 6-8, 2019, proceedings
por: Du, Ding-Zhu, et al.
Publicado: (2019)

Algorithms and data structures: 16th international symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, proceedings
por: Friggstad, Zachary, et al.
Publicado: (2019)

Collaborative computing: 15th EAI international conference, CollaborateCom 2019, London, UK, August 19-22, 2019, proceedings
por: Wang, Xinheng, et al.
Publicado: (2019)

Euro-Par 2019: 25th international conference on parallel and distributed computing, Göttingen, Germany, August 26-30, 2019, proceedings
por: Yahyapour, Ramin
Publicado: (2019)

Advanced parallel processing technologies: 13th international symposium, APPT 2019, Tianjin, China, August 15-16, 2019, proceedings
por: Yew, Pen-Chung, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_tuukp0kgdgbkqqmelm2msnme3a