skip to main content
Idioma:

Resultados de 1 a 10 de 461  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 2004Até2013 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Comments on "On minimizing the lengths of checking sequences"
Comments on "On minimizing the lengths of checking sequences"
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Comments on "On minimizing the lengths of checking sequences"

Adenilso da Silva Simão

São Carlos ICMC-USP 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1619858 ) e outros locais(Acessar)

2
Formal testing approaches for service-oriented architectures and web services a systematic review
Formal testing approaches for service-oriented architectures and web services a systematic review
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Formal testing approaches for service-oriented architectures and web services a systematic review

André Takeshi Endo Adenilso da Silva Simão

São Carlos ICMC-USP 2010

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SSc nº348 E56ft e.1 ) e outros locais(Acessar)

3
This volume contains the short papers presented at SBMF 2011... [Prefácio]
This volume contains the short papers presented at SBMF 2011... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

This volume contains the short papers presented at SBMF 2011... [Prefácio]

Adenilso da Silva Simão Carroll Morgan

Simão, Adenilso da Silva ; Morgan, Carroll , (orgs) Proceedings of the 14. Brazilian Symposium on Formal Methods São Carlos, SP : ICMC/USP, 2011 83 p

São Carlos, SP ICMC/USP 2011

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

4
Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais
Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais

Jorge Francisco Cutigi Adenilso da Silva Simão

São Carlos ICMC-USP 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SCE n.286 C988mp e.1 ) e outros locais(Acessar)

5
Estudos das características cinéticas da fosfatase alcalina reconstituída em sistemas vesiculares
Estudos das características cinéticas da fosfatase alcalina reconstituída em sistemas vesiculares
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Estudos das características cinéticas da fosfatase alcalina reconstituída em sistemas vesiculares

Simão, Ana Maria Sper

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto 2008-07-15

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

6
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers

Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado

Porto Alegre SBC 2010

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2138153 ) e outros locais(Acessar)

7
Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos
Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos

Endo, André Takeshi

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2008-04-17

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

8
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados

Pinheiro, Arineiza Cristina

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-06-22

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

9
Model based testing of service oriented applications
Model based testing of service oriented applications
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Model based testing of service oriented applications

Endo, André Takeshi

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-04-19

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

10
Uma estratégia para a minimização de máquinas de estados finitos parciais
Uma estratégia para a minimização de máquinas de estados finitos parciais
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Uma estratégia para a minimização de máquinas de estados finitos parciais

Alberto, Alex Donizeti Betez

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2009-04-22

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

Resultados de 1 a 10 de 461  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (399)
  2. Livros  (30)
  3. Produções Acadêmicas  (23)
  4. Produções Técnicas  (7)
  5. Outros  (2)
  6. Produções Artísticas  (2)
  7. Mais opções open sub menu

Autor/Criador 

  1. Simão, A  (155)
  2. Casseb, J  (77)
  3. Ciancaglini, P  (57)
  4. Duarte, A  (53)
  5. Oliveira, A  (35)
  6. Sichman, J  (30)
  7. Santos, A  (27)
  8. Pizauro, J  (25)
  9. Maldonado, J  (23)
  10. Bolean, M  (22)
  11. Millán, J  (20)
  12. Brandão, A  (19)
  13. Simão, G  (19)
  14. Simão, R  (19)
  15. Hoylaerts, M  (19)
  16. Silva, E  (18)
  17. Petrenko, A  (17)
  18. Smid, J  (17)
  19. Rosa, A  (16)
  20. Lottenberg, S  (16)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (58)
  2. 2006Até2007  (108)
  3. 2008Até2009  (108)
  4. 2010Até2012  (155)
  5. Após 2012  (33)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Casseb, J
  3. Ciancaglini, P
  4. Duarte, A
  5. Oliveira, A

Neste Assunto:

  1. Engenharia De Software
  2. Sistemas De Informação
  3. Enzimas
  4. Osteoblasto
  5. Hiv

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

Buscando em bases de dados remotas. Favor aguardar.