Cargando…

NASA formal methods: 11th international symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Badger, Julia M, Rozier, Kristin Yvonne
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755621

Ejemplares similares

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

NASA formal methods: 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, proceedings
por: Rayadurgam, Sanjai, et al.
Publicado: (2016)

NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
por: Havelund, Klaus, et al.
Publicado: (2015)

704. Contemporary Salmonella spp. Infections in Houston, TX (2019 and 2020) and Emergence of Cephalosporin Resistance
por: tabarani, christy, et al.
Publicado: (2021)

698. Contemporary Clinical Epidemiology of Pediatric Shigella and Campylobacter Infections in Houston, TX, 2019 and 2020
por: tabarani, christy, et al.
Publicado: (2021)

Combinatorial optimization and applications: 9th international conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, proceedings
por: Lu, Zaixin, et al.
Publicado: (2015)

Human genome meeting 2016: Houston, TX, USA. 28 February - 2 March 2016
por: Srivastava, A. K., et al.
Publicado: (2016)

Proceedings of the University of Houston College of Optometry Dedication Symposium
por: Cool, Steven, et al.
Publicado: (1978)

Identification of epidemic scarlet fever group A Streptococcus strains in the paediatric population of Houston, TX, USA
por: Cubria, M. Belen, et al.
Publicado: (2021)

Correction to: NASA Formal Methods
por: Lee, Ritchie, et al.
Publicado: (2020)

Artificial intelligence: proceedings, San Antonio, TX, USA, 1986
por: Loparo, Kenneth A, et al.
Publicado: (1989)

Hurricane Harvey Impacts on Water Quality and Microbial Communities in Houston, TX Waterbodies
por: LaMontagne, Michael G., et al.
Publicado: (2022)

Mask Adherence and Social Distancing in Houston, TX from January to April 2021
por: Trevas, Simone, et al.
Publicado: (2023)

Formal grammar: 24th international conference, FG 2019, Riga, Latvia, August 11, 2019, proceedings
por: Bernardi, Raffaella, et al.
Publicado: (2019)

Distributed computing: 28th international symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, proceedings
por: Kuhn, Fabian
Publicado: (2014)

1526 PrEP implementation in Houston, TX among high-risk heterosexuals and MSM
por: Flash, Charlene A., et al.
Publicado: (2014)

Use of whole-genome sequencing to detect transmission of group A Streptococcus in Houston, TX
por: Alamarat, Zain I., et al.
Publicado: (2022)

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

Population-Based Estimates of SARS-CoV-2 Seroprevalence in Houston, TX as of September 2020
por: Symanski, Elaine, et al.
Publicado: (2021)

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)

Solid state detectors used for the CERN Neutrino Flux Monitoring (NFM)
por: Cavallari, Giorgio, et al.
Publicado: (1978)

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
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)

Magnetic technology may be NASA's future
por: Kridler, C
Publicado: (2002)

Integer programming and combinatorial optimization: 20th international conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, proceedings
por: Lodi, Andrea, et al.
Publicado: (2019)

Applied reconfigurable computing: 15th international symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, proceedings
por: Hochberger, Christian, et al.
Publicado: (2019)

Severe Necrotizing Pneumonia in Children, Houston, Texas, USA
por: Kalaskar, Anupama S., et al.
Publicado: (2009)

Evaluating the Ability of a Syndromic Surveillance System to Detect Heat-Related Illnesses in Houston, TX, 2009-2012
por: Wang, Nathan, et al.
Publicado: (2014)

Burden of Influenza-like Illness Among Military Personnel Receiving Advanced Training at Ft. Sam Houston, TX
por: Chen, Wei-Ju, et al.
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)

Advances in visual computing: 14th international symposium on visual computing, ISVC 2019, Lake Tahoe, NV, USA, October 7-9, 2019, proceedings, part I
por: Bebis, George, et al.
Publicado: (2019)

Advances in visual computing: 14th international symposium on visual computing, ISVC 2019, Lake Tahoe, NV, USA, October 7-9, 2019, proceedings, part II
por: Bebis, George, et al.
Publicado: (2019)

Brain informatics: international conference, BI 2018, Arlington, TX, USA, December 7-9, 2018, proceedings
por: Wang, Shouyi, et al.
Publicado: (2018)

Web and wireless geographical information systems: 17th international symposium, W2GIS 2019, Kyoto, Japan, May 16-17, 2019, proceedings
por: Kawai, Yukiko, et al.
Publicado: (2019)

Algorithms and complexity: 11th international conference, CIAC 2019, Rome, Italy, May 27-29, 2019, proceedings
por: Heggernes, Pinar
Publicado: (2019)

2019 Health Equity Summer Research Summit Organized by the Center of Excellence in Health Equity, Training and Research, Baylor College of Medicine, Houston, Texas 77030, USA on June 18(th), 2019
por: Harris, Toi B., et al.
Publicado: (2020)

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)

Cannot write session to /tmp/vufind_sessions/sess_br481fag9erof9bbqpa5d32lq6