Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Towards an efficient prover for the C1 paraconsistent logicAdolfo Neto Celso A. A Kaestner 1955- (Celso Antônio Alves); Marcelo Finger; Workshop on Logical and Semantic Frameworks, with Applications - LSFA (4. 2009 Brasília, Brasil)Electronic Notes in Theoretical Computer Science Amsterdam v. 256, p.87-102, 2009Amsterdam Elsevier 2009Localização: IME - Inst. Matemática e Estatística (PROD-3009319 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Introdução à teoria de autômatos, linguagens e computaçãoJohn E. Hopcroft 1939- Jeffrey D Ullman 1942-; Rajeev Motwani; Vandenberg Dantas de Souza; Celso Antônio Alves Kaestner 1955-Rio de Janeiro Campus 2003Localização: EACH - Esc. Artes, Ciências e Humanidades (005.131 H791i ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Advances in artificial intelligence 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedingsSimpósio Brasileiro de Inteligência Artificial (13 1996 Curitiba) Díbio L Borges 1965- (Díbio Leander); Celso A. A Kaestner 1955- (Celso Antônio Alves); G Carbonell; J SiekmannBerlin Springer New York c1996Localização: EACH - Esc. Artes, Ciências e Humanidades (006.3 S612a 1996 ) e outros locais(Acessar) |
4 |
Material Type: Outros
|
![]() |
Changes in the process of agingAntônio Delfim Netto 1928-S.l. s.n 19--Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B23.31.7 )(Acessar) |
5 |
Material Type: Artigo
|
![]() |
Apoptosis rate and transcriptional response of pancreatic islets exposed to the PPAR gamma agonist PioglitazoneRodrigo N. Lamounier Cassio N Coimbra; Peter White; Flavia L Costal; Leonardo S Oliveira; Daniel Giannella-Neto; Klaus H Kaestner; Maria L Corrêa-GiannellaDiabetology and Metabolic Syndrome London (GB) v. 5, n. 1, p. (online), 2013London 2013Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Artigo de Congresso
|
![]() |
Pioglitazone modulates the lipid metabolism, cell cycle, and cell death gene expression profile in pancreatic isletsRodrigo N. Lamounier Peter White; Cassio N Coimbra; Leonardo S Oliveira; Maria Lucia Correa Giannela; Klaus H Kaestner; Simpósio avanços em pesquisas médicas (3. 2007 São Paulo, SP); Simpósio "Avanços em Pesquisas Médicas dos Laboratórios de Investigação Médica do HC-FMUSP" (3. 2007 São Paulo)Clinics São Paulo v. 62, suppl. 3, p. S181, res. 040, 2007São Paulo 2007Localização: FM - Fac. Medicina (BCBIB )(Acessar) |
7 |
Material Type: Artigo
|
![]() |
Metabolic memory of ß-cells controls insulin secretion and is mediated by CaMKIIGustavo Jorge dos Santos Sandra Mara Ferreira; Fernanda Ortis; Luiz Fernando Rezende; Chengyang Li; Ali Naji; Everardo Magalhães Carneiro; Klaus H Kaestner; Antonio Carlos BoscheroMolecular Metabolism Amsterdam v. 3, n. 4, p. 484-489, 2014Amsterdam 2014Item não circula. Consulte sua biblioteca.(Acessar) |
8 |
Material Type: Outros
|
![]() |
Inflation-forecast targetingAntônio Delfim Netto 1928-S.l. s.n 19--Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B27.24.40 )(Acessar) |
9 |
Material Type: Outros
|
![]() |
Overturning mundellAntônio Delfim Netto 1928-S.l. s.n 19--Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B24.11.46 )(Acessar) |