Cargando…

Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers

Detalles Bibliográficos
Autores principales:	Gurfinkel, Arie, Seshia, Sanjit A
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756974

Ejemplares similares

Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
por: Paskevich, Andrei, et al.
Publicado: (2017)

Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
por: Blazy, Sandrine, 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)

Quantum interaction: 10th international conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, revised selected papers
por: de Barros, Jose Acacio, et al.
Publicado: (2017)

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)

Advances in learning classifier systems: 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001 revised papers
por: Lanzi, Pier L, et al.
Publicado: (2002)

Software technologies: 10th international joint conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, revised selected papers
por: Lorenz, Pascal, et al.
Publicado: (2016)

73(rd) Annual Meeting, American Academy of Dermatology, San Francisco 2015
por: Schwartz, Robert A
Publicado: (2016)

587. HIV Care Outcomes Among PWID in San Francisco, 2009–2015
por: Kim, Nathan, et al.
Publicado: (2018)

Graphical models for security: second international workshop, GraMSec 2015, Verona, Italy, July 13, 2015, revised selected papers
por: Mauw, Sjouke, et al.
Publicado: (2016)

Quantum interaction: 9th international conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, revised selected papers
por: Atmanspacher, Harald, et al.
Publicado: (2016)

Water quality measurements in San Francisco Bay by the U.S. Geological Survey, 1969–2015
por: Schraga, Tara S., et al.
Publicado: (2017)

High performance computing and applications: third international conference, HPCA 2015, Shanghai, China, July 26-30, 2015, revised selected papers
por: Xie, Jiang, et al.
Publicado: (2016)

Wireless and satellite systems: 7th international conference, WISATS 2015, Bradford, UK, July 6-7, 2015 revised selected papers
por: Pillai, Prashant, et al.
Publicado: (2015)

Machine learning meets medical imaging: first international workshop, MLMMI 2015, held in conjunction with ICML 2015, Lille, France, July 11, 2015, revised selected papers
por: Lombaert, Herve, et al.
Publicado: (2015)

Linguistic linked open data: 12th EUROLAN 2015 summer school and RUMOUR 2015 workshop, Sibiu, Romania, July 13-25, 2015, revised selected papers
por: Trandabăţ, Diana, et al.
Publicado: (2016)

Third International Biannual Evolution and Cancer Conference (Evolutionary Trade‐offs and Clinical Consequences) Meeting report. San Francisco, CA, USA. 10–13 December 2015
por: Roche, Benjamin, et al.
Publicado: (2016)

Theory and applications of formal argumentation: third international workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, revised selected papers
por: Black, Elizabeth, et al.
Publicado: (2016)

E-business and telecommunications: 12th international joint conference, ICETE 2015, Colmar, France, July 20-22, 2015, revised selected papers
por: Obaidat, Mohammad S, et al.
Publicado: (2016)

Hepatitis C prevalence and key population size estimate updates in San Francisco: 2015 to 2019
por: Facente, Shelley N., et al.
Publicado: (2022)

Graph drawing and network visualization: 23rd international symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, revised selected papers
por: Di Giacomo, Emilio, et al.
Publicado: (2015)

Graph structures for knowledge representation and reasoning: 4th international workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, revised selected papers
por: Croitoru, Madalina, et al.
Publicado: (2016)

Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers
por: Falaschi, Moreno
Publicado: (2015)

Fundamentals of software engineering: 6th international conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 revised selected papers
por: Dastani, Mehdi, 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)

San Francisco
por: Abreu Gómez, Ermilo, 1894-1971
Publicado: (1978)

Uniting for Ukraine Tuberculosis Screening Experience, San Francisco, California, USA
por: Louie, Janice K., et al.
Publicado: (2023)

Model-driven engineering and software development: third international conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, revised selected papers
por: Desfray, Philippe, et al.
Publicado: (2016)

Radio frequency identification: 11th international workshop, RFIDsec 2015, New York, NY, USA, June 23-24, 2015, revised selected papers
por: Mangard, Stefan, et al.
Publicado: (2015)

Meteorological Tables for the Month of July, at San Francisco, Sacramento, Marysville, Mormon Island, and Stockton
por: McLellan, Theodore S.
Publicado: (1855)

Friday 24 July 2015
Publicado: (2015)

Saturday 25 July 2015
Publicado: (2015)

Sunday 26 July 2015
Publicado: (2015)

List of papers presented by the SL Division at the 14th IEEE Particle Accelerator Conference, San Francisco, CA, USA, 6 - 9 May 1991
por: CERN. Geneva, et al.
Publicado: (1991)

Applied cryptography and network security: 13th international conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, revised selected papers
por: Malkin, Tal, et al.
Publicado: (2016)

Openshmem and related technologies experiences, implementations, and technologies: second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 revised selected papers
por: Shamis, Pavel, et al.
Publicado: (2015)

Euro-Par 2015: euro-Par 2015 international workshops, Vienna, Austria, August 24-25, 2015, revised selected papers
por: Hunold, Sascha, et al.
Publicado: (2015)

Increased uptake of early initiation of antiretroviral therapy and baseline drug resistance testing in San Francisco between 2001 and 2015
por: Truong, Hong-Ha M., et al.
Publicado: (2019)

Baedeker's San Francisco.
Publicado: (1992)

Cannot write session to /tmp/vufind_sessions/sess_jp82f34acr2slbi2jptt9d6ddh