Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Livestock feed resources and feed evaluation in Europe present situation and future prospects : a study for the European Association for Animal ProductionF. de Boer; H BickelAmsterdam New York Elsevier 1988Localização: ESALQ - Biblioteca Central (636.084 D278L 53950 )(Acessar) |
|
12 |
Material Type: Livro
|
Recent developments of Magellanic Cloud research a European colloquium, Paris, 9-11 May, 1989Klaas S. de Boer 1941- (Klaas Sjoerds); F Spite; G StasiânskaMeudon, France Observatoire de Paris, Section Astrophysique de Meudon 1989.Localização: IAG - Inst. Ast. Geo. Ciên. Atmosféricas (C061:524.722 R244 )(Acessar) |
|
13 |
Material Type: Livro
|
Avian LeukosisYechiel Hadar, Julia De Boer, G. F. Becker G. F De Boer; Julia HadarSpringer US 1987Acesso online. A biblioteca também possui exemplares impressos. |
|
14 |
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 |
|
15 |
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 |
|
16 |
Material Type: Livro
|
Formal Methods for Components and ObjectsFMCO 2002 Frank S. de Boer; Marcello Bonsangue; Willem-Paul de Roever; Susanne GrafSpringer Berlin Heidelberg 2003Acesso online |
|
17 |
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) |
|
18 |
Material Type: Livro
|
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lecturesFMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4709 ) e outros locais(Acessar) |
|
19 |
Material Type: Livro
|
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lecturesFMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
20 |
Material Type: Livro
|
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lecturesFMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer-Verlag New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3188 ) e outros locais(Acessar) |