Consulta: (autoria:"SOUZA, W. L. de")
Registros recuperados: 10
Data/hora: 19/06/2024 00:48:37

SALVADOR, M. R.; SOUZA, W. L. de. Especificacao formal de sistemas ODP usando a linguagem mondel. In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998. p.278-297
Biblioteca(s): Embrapa Agricultura Digital.

FARIAS, C. R. G. de; SOUZA, W. L. de. Especificação formal e validação de algoritmos distribuídos. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. v.2 p. 1027-1038.
Biblioteca(s): Embrapa Agricultura Digital.

FARIAS, C. R. G. de; SOUZA, W. L. de. Especificacao formal e validacao de um Kernel paralelo tempo real. In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998. p.258-277
Biblioteca(s): Embrapa Agricultura Digital.

SOUZA, W. L. de; MORAES, E. A.; COSTA, J. M. S.; GRAHAM, A. K. Cholesterol-loaded cyclodextrin in fresh goat sperm improves cryosurvival rates. Revista Brasileira de Ciência Veterinária, v. 23, n. 1-2, p. 93-98, jan./jun. 2016.
Biblioteca(s): Embrapa Caprinos e Ovinos.

FARIAS, C. R. G. de; SOUZA, W. L. de; BARBOSA, C. de B. Design and implementation of distributed databases using estelle. In: SIMPÓSIO BRASILEIRO DE BANCO DE DADOS, 11., 1996, São Carlos, SP. Anais... São Carlos: USP-ICMSC, 1996. p.158-171. SBBD'96. Editado por Teresa Pires Vieira e Agma Juci Machado Traina.
Biblioteca(s): Embrapa Agricultura Digital.

FERRARI, R. A.; OLIVEIRA, V. da S.; SCABIO, A.; BARCARO, P.; SOUZA, W. L. de. Biodiesel etílico de óleo de soja e girassol. Biomassa & Energia, Viçosa, v. 1, n. 3, p. 265-271, jul./set. 2004.
Biblioteca(s): Embrapa Florestas.

SOUZA, W. L. de; FERRARI, R. A.; SCABIO, A.; BARCARO, P. Biodiesel de óleo de girassol e etanol. Biomassa & Energia, Viçosa, v. 2, n. 1, p. 1-5, jan./mar. 2005.
Biblioteca(s): Embrapa Florestas.

SOUZA, W. L. de; PRADO, A. F. do; SANTANA, A. C. L. de. Implementação automática, orientada a objetos, de especificações estelle na linguagem C++. In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996. p.31-44
Biblioteca(s): Embrapa Agricultura Digital.

ANDRADE, J. C de P. A.; JORDÁ JÚNIOR, J. B.; SOUZA, W. L. de; BARBOSA, L de L.; GOMES, M.; FERNANDES, V. Fundo capital semente: um modelo de financiamento para sistemas agroflorestais, no sul da Bahia. In: MONTOYA VILCAHUAMAN, L. J.; RIBASKI, J.; MACHADO, A. M. B. (Ed.). Sistemas agroflorestais e desenvolvimento com proteção ambiental: práticas e tecnologias desenvolvidas. Colombo: Embrapa Florestas, 2006.     p. 201-214.
Biblioteca(s): Embrapa Florestas.

ANDRADE, J. C. de P.; JORDÁ JUNIOR, J. B.; SOUZA, W. L. de; BARBOSA, L. de L. SILVA, D. C. da; GOMES, M. Fundo capital semente: um modelo de financiamento para sistemas agroflorestais, no Sul da Bahia. In: CONGRESSO BRASILEIRO DE SISTEMAS AGROFLORESTAIS, 5., 2004, Curitiba. SAFs: desenvolvimento com proteção ambiental: anais. Colombo: Embrapa Florestas, 2004. p. 217-219. (Embrapa Florestas. Documentos, 98).
Biblioteca(s): Embrapa Florestas.