skip to main content
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Neural networks and fuzzy systems a dynamical systems approach to machine intelligence
Material Type:
Livro
Adicionar ao Meu Espaço

Neural networks and fuzzy systems a dynamical systems approach to machine intelligence

Bart Kosko

Englewood Cliffs, NJ Prentice Hall c1992

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

12
Challenges for Action Theories
Challenges for Action Theories
Material Type:
Livro
Adicionar ao Meu Espaço

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

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

13
Discrete mathematics
Material Type:
Livro
Adicionar ao Meu Espaço

Discrete mathematics

S. K. Chakraborty (Swapan Kumar) B. K Sarkar (Bikash Kanti)

New Delhi Oxford University Press New York 2011

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

14
A guide to expert systems
Material Type:
Livro
Adicionar ao Meu Espaço

A guide to expert systems

D. A. Waterman 1936- (Donald Arthur)

Reading, Mass. Addison-Wesley c1986

Localização: EERP - Esc. Enfermagem Ribeirão Preto    (681.3.06 W328g ) e outros locais(Acessar)

15
Developing expert systems a knowledge engineer's handbook for rules & objects
Material Type:
Livro
Adicionar ao Meu Espaço

Developing expert systems a knowledge engineer's handbook for rules & objects

Edmund C. Payne Robert C McArthur

New York Wiley c1990

Localização: IME - Inst. Matemática e Estatística    (QA860 P346d ) e outros locais(Acessar)

16
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1709 e.1 ) e outros locais(Acessar)

17
Knowledge coordination
Material Type:
Livro
Adicionar ao Meu Espaço

Knowledge coordination

Flávio Soares Corrêa da Silva Jaume Agustí Cullell

Chichester Wiley c2003

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

18
Material Type:
Artigo
Adicionar ao Meu Espaço

Comparing finite state machine test coverage criteria

Simao, A.; Petrenko, A.; Maldonado, J. C. Universidade De São Paulo

IET SOFTWARE, v.3, n.2, p.91-105, 2009

INST ENGINEERING TECHNOLOGY-IET 2009

Acesso online

19
Reflection and Software Engineering
Reflection and Software Engineering
Material Type:
Livro
Adicionar ao Meu Espaço

Reflection and Software Engineering

Walter Cazzola Walter Cazzola; Robert J Stroud; Francesco Tisato

Springer Berlin Heidelberg 2000

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

20
Material Type:
Revista
Adicionar ao Meu Espaço

Annual reviews in control

UNITED STATES Pergamon

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (327.383)
  2. Recursos Online (1.085.644)
  3. Disponível na Biblioteca (2.254)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (541.929)
  2. Anais de Congresso  (395.867)
  3. Book Chapters  (54.656)
  4. Dissertações  (35.608)
  5. Recursos Textuais  (23.633)
  6. Livros  (12.943)
  7. Artigos de Jornal  (10.791)
  8. Resenhas  (2.721)
  9. Relatórios Técnicos  (1.746)
  10. Imagens  (1.239)
  11. Outros  (307)
  12. Verbetes  (138)
  13. Audiovisuais  (51)
  14. Dados de Pesquisa  (41)
  15. Produções Acadêmicas  (18)
  16. Patentes  (15)
  17. Software  (7)
  18. Revistas  (7)
  19. Documentos Técnicos  (2)
  20. Bases de Dados  (2)
  21. Sites da Web  (1)
  22. Produções Técnicas  (1)
  23. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1958  (1.433)
  2. 1958Até1972  (10.569)
  3. 1973Até1987  (35.193)
  4. 1988Até2003  (190.046)
  5. Após 2003  (824.662)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (860.790)
  2. Francês  (24.020)
  3. Português  (1.430)
  4. Espanhol  (1.119)
  5. Indeterminado  (943)
  6. Russo  (870)
  7. Chinês  (704)
  8. Alemão  (599)
  9. Italiano  (250)
  10. Japonês  (148)
  11. Tcheco  (122)
  12. Turco  (68)
  13. Norueguês  (63)
  14. Holandês  (44)
  15. Lituano  (25)
  16. Coreano  (18)
  17. Grego  (10)
  18. Persa  (10)
  19. Dinamarquês  (7)
  20. Ucraniano  (6)
  21. Romeno  (5)
  22. Árabe  (3)
  23. Basco  (3)
  24. Húngaro  (2)
  25. Polonês  (2)
  26. Finlandês  (2)
  27. Servo-croata  (2)
  28. Eslovaco  (1)
  29. Tailandês  (1)
  30. Islândico  (1)
  31. Malaio  (1)
  32. Vietnamita  (1)
  33. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Perc, Matjaz
  2. Liang, Z
  3. Booch, G
  4. Csermely, Peter
  5. Rozenberg, G

Buscando em bases de dados remotas. Favor aguardar.