Cargando…

NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764240

Ejemplares similares

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

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: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
por: Barrett, Clark, et al.
Publicado: (2017)

Beam-beam Studies for HL-LHC", Proceedings of PAC2013, Pasadena, CA USA
por: Valishev, A, et al.
Publicado: (2014)

Highlights from the Keystone Symposium on HIV Persistence 2015: 26–30 April 2015, Boston, Massachusetts, USA
por: Lee, Sulggi A
Publicado: (2015)

Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016)

Topics in cryptology - CT-RSA 2015: the cryptographer's track at the RSA conference 2015, San Francisco, CA, USA, April 20-24, 2015 proceedings
por: Nyberg, Kaisa
Publicado: (2015)

Coherent Instability Due to Beam-Beam Interaction in Hadron Colliders”, Proceedings of PAC2013, Pasadena, CA USA
por: Paret, S, et al.
Publicado: (2014)

Applied reconfigurable computing: 11th international symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, proceedings
por: Sano, Kentaro, et al.
Publicado: (2015)

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

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

End-user development: 5th international symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015 proceedings
por: Díaz, Paloma, et al.
Publicado: (2015)

Bioinformatics research and applications: 11th international symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 proceedings
por: Harrison, Robert, et al.
Publicado: (2015)

Advances in information retrieval: 37th european conference on IR research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015 proceedings
por: Hanbury, Allan, et al.
Publicado: (2015)

Practical aspects of declarative languages: 17th international symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015 proceedings
por: Pontelli, Enrico, et al.
Publicado: (2015)

Algorithmic decision theory: 4th international conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, proceedings
por: Walsh, Toby
Publicado: (2015)

High Proportion of Asymptomatic SARS-CoV-2 Infections in 9 Long-Term Care Facilities, Pasadena, California, USA, April 2020
por: Feaster, Matt, et al.
Publicado: (2020)

Combinatorial pattern matching: 26th annual symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015, proceedings
por: Cicalese, Ferdinando, et al.
Publicado: (2015)

Evolutionary multi-criterion optimization: 8th international conference, EMO 2015, Guimarães, Portugal, March 29 - April 1, 2015 proceedings, part I
por: Gaspar-Cunha, António, et al.
Publicado: (2015)

Logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 proceedings
por: Calimeri, Francesco, et al.
Publicado: (2015)

Proceedings of the 2015 WAO Symposium on Food Allergy and the Microbiome
por: Almarales, Raúl Lázaro Castro, et al.
Publicado: (2016)

Second annual symposium on environmental epidemiology. April 27-29, 1981 Pittsburgh, Pennsylvania.
Publicado: (1983)

In this issue (April 2015)
Publicado: (2015)

Advances in visual computing: 11th international symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, proceedings, part II
por: Bebis, George, et al.
Publicado: (2016)

Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II
por: Kroening, Daniel, et al.
Publicado: (2015)

Proceedings of the 2017 WAO Symposium on Hot Topics in Allergy: Pediatric & Regulatory Aspects: Rome, Italy/Vatican City. 27-29 April 2017
por: Traina, Giovanni, et al.
Publicado: (2017)

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

Deep field surveys: the view from Pasadena
por: Hogg, D W
Publicado: (1999)

Programming languages and systems: 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Vitek, Jan
Publicado: (2015)

FM 2015: 20th international symposium, Oslo, Norway, June 24-26, 2015, proceedings
por: Bjørner, Nikolaj, et al.
Publicado: (2015)

Formal ontologies meet industry: 7th international workshop, FOMI 2015, Berlin, Germany, August 5, 2015, proceedings
por: Cuel, Roberta, et al.
Publicado: (2015)

Entertainment computing - ICEC 2015: 14th international conference, ICEC 2015, Trondheim, Norway, September 29 - October 2, 2015, proceedings
por: Chorianopoulos, Konstantinos, et al.
Publicado: (2015)

Abstracts from the Fourth International Meeting of ISEV, ISEV2015, Washington, D.C., USA, 23-26 April 2015
Publicado: (2015)

Public-key cryptography - PKC 2015: 18th IACR international conference on practice and theory in public-key cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, proceedings
por: Katz, Jonathan
Publicado: (2015)

Proceedings of the International Symposium: Innovation for the Management of Echinococcosis Besançon, March 27–29, 2014
por: Vuitton, Dominique A., et al.
Publicado: (2014)

APS April meeting 2015
Publicado: (2015)

Proceedings of the 9th Annual Dubai Medical Education Symposium 2015: Dubai, UAE. 30 May 2015
por: Shersad, Fouzia, et al.
Publicado: (2016)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, et al.
Publicado: (2015)

Intelligent computer mathematics: international conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, proceedings
por: Kerber, Manfred, et al.
Publicado: (2015)

Evolutionary computation in combinatorial optimization: 15th European conference, EVOCOP 2015, Copenhagen, Denmark, April 8-10, 2015, proceedings
por: Ochoa, Gabriela, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_kcltclq6p7dbktjkk7q0niojqf