Skip to contents

Davies, Jim [Editor]; Silva, Leila [Other]; Simao, Adenilso [Other] ; Brazilian Symposium on Formal Methods 13 2010 Natal, Rio Grande do Norte

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6527
Simao, Adenilso [Editor]; Morgan, Carroll [Other] ; SBMF 14 2011 São Paulo

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 7021
Oliveira, Marcel Vinícius Medeiros [Other]; Woodcock, Jim [Other]; Medeiros Oliveira, Marcel Vinícius [Editor] ; Brazilian Symposium on Formal Methods 12 2009 Gramado

Formal methods: foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5902
Dinh, Quoc-Dan [Author]

Brazilian test on anisotropic rocks : laboratory experiment, numerical simulation and interpretation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freiberg: Institut für Geotechnik, 2011

Published in: Technische Universität Bergakademie Freiberg: Veröffentlichungen des Instituts für Geotechnik der Technischen Universität Bergakademie Freiberg ; 2011,2
Gaviglio, Patrick [Author]

Pétrographie et résistance mécanique de roches détritiques permiennes de la région de Vidauban - Le Luc (Var, France)

View online
Schließen

Access

https://www.persee.fr/doc/geolm_0397-2844_1988_num_15_4_1410

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Published in: Géologie Méditerranéenne ; Vol. 15, n° 4, pp. 267-275
Hornby, Adrian J. [Author]; Lavallée, Yan [Author]; Kendrick, Jackie E. [Author]; De Angelis, Silvio [Author]; Lamur, Anthony [Author]; Lamb, Oliver D. [Author]; Rietbrock, Andreas [Author]; Chigna, Gustavo [Author]

Brittle-Ductile Deformation and Tensile Rupture of Dome Lava During Inflation at Santiaguito, Guatemala

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

GEO-LEOe-docs (FID GEO), 2019
Dinh, Quoc-Dan [Author] ; Konietzky, Heinz [Degree supervisor]; Konietzky, Heinz [Other]; Engel, Jens [Other]; Quang Phich, Nguyen [Other]

Brazilian test on anisotropic rocks : laboratory experiment, numerical simulation and interpretation

View online
Schließen

Access

https://d-nb.info/1220698504/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freiberg: Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2011
Davies, Jim [Author] ; Silva, Leila [Editor]; Simão, Adenilso [Editor]

Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6527
Ribeiro, Leila [Editor]; Lecomte, Thierry [Editor]

Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 10090
Gheyi, Rohit [Author] ; Naumann, David [Other]

Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2012

Published in: Lecture notes in computer science ; 7498
Simão, Adenilso [Author] ; Morgan, Carroll [Other]

Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 7021
Oliveira, Marcel Vinícius Medeiros [Author] ; Woodcock, Jim [Other]

Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5902
Oliveira, Glauco Avelino Sampaio [Author]

Trade and competition : mark-ups, concentration, and international orientation : discussion and empirical test for Brazilian manufacturing sectors

View online
Schließen

Access

Full access (via DOI)

https://repositorio.ipea.gov.br/bitstream/11058/11320/2/dp_264.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Brasília, DF]: Ipea, Institute for Applied Economic Research, [2022]

Published in: Discussion paper ; 264
Piza, Caio [Author]

Revisiting the Impact of the Brazilian SIMPLES Program on Firms' Formalization Rates

View online
Schließen

Access

http://hdl.handle.net/10986/24147

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

World Bank, Washington, DC, 2016

Published in: Policy Research Working Paper ; No. 7605
Nakane, Marcio I. [Author]

A Test of Competition in Brazilian Banking

View online
Schließen

Access

Full access (via DOI)

https://ssrn.com/abstract=273208

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2001]
Eskes, Chantra [Author]; Sa-Rocha, Vanessa de Moura [Author]; Nunes, Jadir [Author]; Presgrave, Octavio [Author]; de Carvalho, Dermeval [Author]; Masson, Philippe [Author]; Rivera, Ekaterina [Author]; Coecke, Sandra [Author]; Kreysa, Joachim [Author]; Hartung, Thomas [Author]

Proposal for a Brazilian Centre on Alternative Test Methods

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Konstanz: KOPS Universität Konstanz, 2009
Carnoy, Martin [Author]; Khavenson, Tatiana [Author]; Costa, Leandro [Author]; Fonseca, Izabel [Author]; Marotta, Luana [Author]

Is Brazilian Education Improving? A Comparative Foray Using PISA and SAEB Brazil Test Scores

View online
Schließen

Access

https://ssrn.com/abstract=2539027

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2021]

Published in: Higher School of Economics Research Paper ; No. WP BRP 22/EDU/2014
Casanova, Edresson [Author]; Treviso, Marcos [Author]; Hübner, Lilian [Author]; Aluísio, Sandra [Author]

Evaluating Sentence Segmentation in Different Datasets of Neuropsychological Language Tests in Brazilian Portuguese

View online
Schließen

Access

https://aclanthology.org/2020.lrec-1.317

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Conference on Language Resources and Evaluation (12. : 2020 : Marseille): LREC 2020 Marseille ; (2020), Seite 2605-2614
Wang, Honglei [Author]; Li, Zhenlei [Author]; He, Xueqiu [Author]; Song, Dazhao [Author]; Guo, Haifeng [Author]

A novel acoustic emission parameter for predicting rock failure during Brazilian test based on cepstrum analysis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Scientific Conference "Problems of Complex Development of Georesources" (8. : 2020 : Chabarowsk): VIII International Scientific Conference "Problems of Complex Development of Georesources" (PCDG 2020) ; 2020
Nobre, Liana Holanda Nepomuceno [Author] ; Grable, John [Other]; Silva, Wesley Vieira [Other]; Veiga, Claudimar [Other]

A Cross Cultural Test of Financial Risk Tolerance Attitudes : Brazilian and American Similarities and Differences

View online
Schließen

Access

https://ssrn.com/abstract=2753536

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2016]

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication