skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Construindo uma ontologia para pesquisa de materiais e objetos de aprendizagem baseada na web semântica
Construindo uma ontologia para pesquisa de materiais e objetos de aprendizagem baseada na web semântica
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Construindo uma ontologia para pesquisa de materiais e objetos de aprendizagem baseada na web semântica

Moysés de Araujo Maria Alice Grigas Varella Ferreira 1945-; Simpósio Brasileiro de Informática na Educação (15. 2004 Manaus, AM)

SBIE 2004: anais. Manaus: EDUA, 2004

Manaus EDUA 2004

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

2
Semantic web services - a restful approach
Semantic web services - a restful approach
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Semantic web services - a restful approach

Otávio Freitas Ferreira Filho Maria Alice Grigas Varella Ferreira 1945-; IADIS International Conference WWW/Internet 2009 (2009 Rome, Italy)

Proceedings

IADIS 2009

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

3
Serviços semânticos - uma abordagem restful
Serviços semânticos - uma abordagem restful
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Serviços semânticos - uma abordagem restful

Otávio Freitas Ferreira Filho Maria Alice Grigas Varella Ferreira 1945-; Conferência IADIS Ibero-Americana WWW/Internet (2009 Madrid, Spain)

CIAWI Proceedings

IADIS 2009

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

4
Aplicação da reengenharia de software na construção acelerada de ontologias
Aplicação da reengenharia de software na construção acelerada de ontologias
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Aplicação da reengenharia de software na construção acelerada de ontologias

Regina Claudia Cantele Diana Francisca Adamatti; Maria Alice Grigas Varella Ferreira 1945-; Jaime S Sichman (Jaime Simão) 1962-; Simpósio Brasileiro de Sistemas de Informação (2. 2005 Florianópolis, SC)

SBSI 2005

Florianópolis SBC/FAPESC 2005

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

5
Introducing semantics
Introducing semantics
Introducing semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Introducing semantics

Nick Riemer

Leiden Cambridge University Press 2010

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

6
Logics of programs and their applications proceedings
Logics of programs and their applications proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics of programs and their applications proceedings

Workshop on Logic of Programs, Poznan, 1980 Andrzej Salwicki

Berlin Springer 1983

Localização: IME - Inst. Matemática e Estatística    (S L471c v.148 )(Acessar)

7
Logics of programs proceedings
Logics of programs proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics of programs proceedings

Workshop on Logic of Programs, Pittsburgh, 1983 Edmund Clarke; Dexter Kozen

Berlin Springer 1984

Localização: IME - Inst. Matemática e Estatística    (S L471c v.164 )(Acessar)

8
Lógica para computação
Lógica para computação
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica para computação

Flávio Soares Corrêa da Silva Marcelo Finger; Ana Cristina Vieira de Melo

São Paulo Cengage Learning 2013 [2006

Localização: IME - Inst. Matemática e Estatística    (QA816 S586L 2013 )(Acessar)

9
Power-domains, modalities and the Vietoris monad
Power-domains, modalities and the Vietoris monad
Material Type:
Folheto 		Adicionar ao Meu Espaço

Power-domains, modalities and the Vietoris monad

E Robinson University of Cambridge. Computer Laboratory

Cambridge University of Cambridge 1986

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA816 R659p e.1 F )(Acessar)

10
Lógica para computação
Lógica para computação
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica para computação

Flávio Soares Corrêa da Silva Marcelo Finger; Ana Cristina Vieira de Melo

São Paulo Cengage Learning 2017 [c2018

Localização: IME - Inst. Matemática e Estatística    (QA816 S586L 2.ed. )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (82)
  2. Artigos  (24)
  3. Produções Acadêmicas  (16)
  4. Dissertações  (5)
  5. Recursos Textuais  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (13)
  2. 1986Até1994  (21)
  3. 1995Até2004  (34)
  4. 2005Até2013  (61)
  5. Após 2013  (21)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (99)
  2. Português  (28)
  3. Francês  (2)
  4. Alemão  (1)
  5. Espanhol  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.