Cargando…

Formal methods: 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011, proceedings

Detalles Bibliográficos
Autores principales:	Simao, Adenilso, Morgan, Carroll
Lenguaje:	eng
Publicado:	Springer 2011
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761719

Ejemplares similares

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

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

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
por: Cavalheiro, Simone, et al.
Publicado: (2017)

Advances in bioinformatics and computational biology: third Brazilian symposium on bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, proceedings
por: Bazzan, Ana L C, et al.
Publicado: (2008)

Search based software engineering: third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,proceedings
por: Cohen, Myra B, et al.
Publicado: (2011)

Cosmic rays and astrophysics. Proceedings, 4th School, Santo Andre, Sao Paulo, Brazil, August 26- September 4, 2010
por: Leigui de Oliveira, Marcelo A, et al.
Publicado: (2010)

Suicide and meteorological factors in São Paulo, Brazil, 1996-2011: a time series analysis
por: Bando, Daniel H., et al.
Publicado: (2017)

Algebra and coalgebra in computer science: 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, proceedings
por: Corradini, Andrea, et al.
Publicado: (2011)

Recent advances in intrusion detection: 14th international symposium, RAID 2011, Menlo Park, CA, USA, September 20-21, 2011, proceedings
por: Sommer, Robin, et al.
Publicado: (2011)

World Congress on Brain, Behavior and Emotions: São Paulo, São Paulo, Brazil June 26-29, 2013
Publicado: (2013)

Superficial mycoses at the Hospital do Servidor Público Municipal de São Paulo between 2005 and 2011
por: Chiacchio, Nilton Di, et al.
Publicado: (2014)

CONCUR 2011 - concurrency theory: 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, proceedings
por: Katoen, Joost-Pieter, et al.
Publicado: (2011)

In the September 2011 issue
por: Nitrini, Ricardo
Publicado: (2011)

Sao Paulo
por: Queiroz, Suely Robles Reis de
Publicado: (1992)

Study of the incidence of dialysis in São Paulo, the largest Brazilian city
por: Cordeiro, Antonio Carlos, et al.
Publicado: (2013)

5(th) Brazilian Congress of Geriatric Neuropsychiatry: September 5-7, 2013 - Centro Fecomercio de Eventos/São Paulo
Publicado: (2013)

Serious games development and applications: second international conference, SGDA 2011, Lisbon, Portugal, September 19-20, 2011, proceedings
por: Ma, Minhua, et al.
Publicado: (2011)

Supplement 2 September 2011
Publicado: (2011)

Algorithms and computation: 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 proceedings
por: Asano, Takao, et al.
Publicado: (2011)

The Abel Symposium 2011
por: Buan, Aslak, et al.
Publicado: (2013)

Informatics in schools: 5th international conference, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011, proceedings
por: Kalas, Ivan, et al.
Publicado: (2011)

Programming languages and systems: 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 proceedings
por: Yang, Hongseok
Publicado: (2011)

Computer Science and Convergence : CSA 2011 & WCC 2011 Proceedings
por: Park, James, et al.
Publicado: (2012)

Mortality Associated with Influenza in Tropics, State of São Paulo, Brazil, from 2002 to 2011: The Pre-Pandemic, Pandemic, and Post-Pandemic Periods
por: Freitas, André Ricardo Ribas, et al.
Publicado: (2013)

Pulmonary nontuberculous mycobacterial infections: presumptive diagnosis based on the international microbiological criteria adopted in the state of São Paulo, Brazil, 2011-2014
por: Marques, Lilian Regina Macelloni, et al.
Publicado: (2019)

Discovery and biogeochemistry of asphalt seeps in the North São Paulo Plateau, Brazilian Margin
por: Jiang, Kai, et al.
Publicado: (2018)

Proceedings of 2011 Stillbirth Summit
por: Mitchell, Edwin A
Publicado: (2015)

Symposium 3 of JENAM 2011
por: Obridko, Vladimir, et al.
Publicado: (2012)

Georeferencing of sepsis in São Paulo
por: Colombari, F, et al.
Publicado: (2013)

Epstein‐Barr Virus‐associated Gastric Carcinoma in Japanese Brazilians and Non‐Japanese Brazilians in São Paulo
por: Koriyama, Chihaya, et al.
Publicado: (2001)

Web reasoning and rule systems: 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011, proceedings
por: Rudolph, Sebastian, et al.
Publicado: (2011)

Database and expert systems applications: 22nd international conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, proceedings, part I
por: Hameurlain, Abdelkader, et al.
Publicado: (2011)

Sensors and Microsystems : AISEM 2011 Proceedings
por: D’Amico, Arnaldo, et al.
Publicado: (2012)

Vectors of arboviruses in the state of São Paulo: 30 years of Aedes aegypti and Aedes albopictus
por: da Fonseca, Dalton Pereira, et al.
Publicado: (2019)

Molecular Characterization of the Porcine Group A Rotavirus NSP2 and NSP5/6 Genes from São Paulo State, Brazil, in 2011/12
por: Barbosa, Bruna Rocha Passos, et al.
Publicado: (2013)

International Surgical Week ISW 2011: Yokohama, Japan, August 28–September 1, 2011
Publicado: (2011)

Hadron Collider Physics Symposium 2011
por: Bernardi, G, et al.
Publicado: (2012)

The Osong Symposium on Infectious Diseases 2011
por: Cho,, Myeong-Chan
Publicado: (2011)

The industrialization of Sao Paulo, 1880-1945
por: Dean, Warren
Publicado: (1969)

Cannot write session to /tmp/vufind_sessions/sess_h1o5c9sqdffpqbdmj9cqdltvg3