skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards an efficient prover for the C1 paraconsistent logic
Towards an efficient prover for the C1 paraconsistent logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards an efficient prover for the C1 paraconsistent logic

Adolfo 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, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3009319 )(Acessar)

2
Introdução à teoria de autômatos, linguagens e computação
Introdução à teoria de autômatos, linguagens e computação
Material Type:
Livro 		Adicionar ao Meu Espaço

Introdução à teoria de autômatos, linguagens e computação

John E. Hopcroft 1939- Jeffrey D Ullman 1942-; Rajeev Motwani; Vandenberg Dantas de Souza; Celso Antônio Alves Kaestner 1955-

Rio de Janeiro Campus 2003

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.131 H791i ) e outros locais(Acessar)

3
Advances in artificial intelligence 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings
Advances in artificial intelligence 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in artificial intelligence 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings

Simpó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 Siekmann

Berlin Springer New York c1996

Localização: EACH - Esc. Artes, Ciências e Humanidades    (006.3 S612a 1996 ) e outros locais(Acessar)

4
Changes in the process of aging
Changes in the process of aging
Material Type:
Outros 		Adicionar ao Meu Espaço

Changes in the process of aging

Antô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
Apoptosis rate and transcriptional response of pancreatic islets exposed to the PPAR gamma agonist Pioglitazone
Apoptosis rate and transcriptional response of pancreatic islets exposed to the PPAR gamma agonist Pioglitazone
Material Type:
Artigo 		Adicionar ao Meu Espaço

Apoptosis rate and transcriptional response of pancreatic islets exposed to the PPAR gamma agonist Pioglitazone

Rodrigo N. Lamounier Cassio N Coimbra; Peter White; Flavia L Costal; Leonardo S Oliveira; Daniel Giannella-Neto; Klaus H Kaestner; Maria L Corrêa-Giannella

Diabetology and Metabolic Syndrome London (GB) v. 5, n. 1, p. (online), 2013

London 2013

Acesso online. A biblioteca também possui exemplares impressos.

6
Pioglitazone modulates the lipid metabolism, cell cycle, and cell death gene expression profile in pancreatic islets
Pioglitazone modulates the lipid metabolism, cell cycle, and cell death gene expression profile in pancreatic islets
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Pioglitazone modulates the lipid metabolism, cell cycle, and cell death gene expression profile in pancreatic islets

Rodrigo 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, 2007

São Paulo 2007

Localização: FM - Fac. Medicina    (BCBIB )(Acessar)

7
Metabolic memory of ß-cells controls insulin secretion and is mediated by CaMKII
Metabolic memory of ß-cells controls insulin secretion and is mediated by CaMKII
Material Type:
Artigo 		Adicionar ao Meu Espaço

Metabolic memory of ß-cells controls insulin secretion and is mediated by CaMKII

Gustavo Jorge dos Santos Sandra Mara Ferreira; Fernanda Ortis; Luiz Fernando Rezende; Chengyang Li; Ali Naji; Everardo Magalhães Carneiro; Klaus H Kaestner; Antonio Carlos Boschero

Molecular Metabolism Amsterdam v. 3, n. 4, p. 484-489, 2014

Amsterdam 2014

Item não circula. Consulte sua biblioteca.(Acessar)

8
Inflation-forecast targeting
Inflation-forecast targeting
Material Type:
Outros 		Adicionar ao Meu Espaço

Inflation-forecast targeting

Antô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
Overturning mundell
Overturning mundell
Material Type:
Outros 		Adicionar ao Meu Espaço

Overturning mundell

Antô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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (8)
  2. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (4)
  2. Outros  (3)
  3. Livros  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (1)
  2. 2003Até2006  (1)
  3. 2007Até2008  (1)
  4. 2009Até2013  (2)
  5. Após 2013  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Kaestner, C
  2. Delfim Netto, A
  3. Kaestner, K
  4. Lamounier, R
  5. Coimbra, C

Neste Assunto:

  1. Expressão Gênica
  2. Lipídeos (Metabolismo)
  3. Metabolismo
  4. Pâncreas (Patologia)
  5. Artificial Intelligence

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.