Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
FM 2015: Formal MethodsBjørner Nikolaj Bjørner; Frank de BoerSpringer International Publishing 2015Acesso online |
|
2 |
Material Type: Livro
|
Formal Methods for Components and ObjectsDavid Hutchison Takeo Kanade; Marcello M Bonsangue; Frank S de BoerSpringer Berlin Heidelberg 2012Acesso online |
|
3 |
Material Type: Livro
|
Theoretical Computer ScienceDavid Hutchison Takeo Kanade; Tom Ball; Frank S de BoerSpringer Berlin Heidelberg 2012Acesso online |
|
4 |
Material Type: Livro
|
Formal Methods for Components and ObjectsElena de Boer, Frank S. Bonsangue, Marcello M. Giachino Marcello M Bonsangue; Frank S de Boer; Reiner HähnleSpringer Berlin Heidelberg 2013Acesso online |
|
5 |
Material Type: Livro
|
Formal Methods for Components and ObjectsDavid Hutchison Takeo Kanade; Marcello M Bonsangue; Ferruccio Damiani; Frank S de BoerSpringer Berlin Heidelberg 2013Acesso online |
|
6 |
Material Type: Livro
|
Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedingsInternational Conference on Formal Methods for Open Object-Based Distributed Systems (10th 2008 Oslo, Norway) Gilles Barthe 1967-; Frank S. de Boer; IFIP Working Group 6.1Berlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 LNCS v.5051 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Heritage conservation and social engagementRenata F Peters; Iris L. F. den Boer; Jessica S Johnson; Susanna PancaldoLondon UCL Press University College London 2020Localização: MAE - Museu Arqueologia e Etnologia (CC130 H548 )(Acessar) |
|
8 |
Material Type: Livro
|
Heritage Conservation and Social EngagementRenata F. Peters Iris L. F den Boer; Jessica S Johnson; Susanna PancaldoUniversity College London 2020Acesso online |
|
9 |
Material Type: Artigo
|
Access and accessibility to cancer screening for Brazilian women with spinal cord injuryRenata Boer Fabiana Faleiros Santana Castro; Thais de Oliveira GozzoEscola Anna Nery Revista de Enfermagem Rio de Janeiro v. 26, art. e20210451, p. 1-9, 2022Rio de Janeiro 2022Localização: EERP - Esc. Enfermagem Ribeirão Preto (pcd 3132031 Acervo Digital )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Multi-trait multi-environment QTL mapping in a sugarcane commercial cross using mixed modelsGabriel Rodrigues Alves Margarido M. M Pastina; M Malosetti; R Gazaffi; M Mollinari; K. M Oliveira; L. R Pinto; A. P Souza; M. P Boer; F. A Eeuwijk; Antonio Augusto Franco Garcia; Brazilian BioEnergy Science and Technology Conference (2011 Campos do Jordão, SP)Resumos Campos do Jordão, 2011 edição on lineCampos do Jordão 2011Acesso online |