skip to main content
Mostrar Somente
Refinado por: data de publicação: 1995Até1997 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On Deterministic Approximation of DNF
Material Type:
Artigo
Adicionar ao Meu Espaço

On Deterministic Approximation of DNF

&#39, M. Luby, B. Velickovi

Algorithmica, 1996-04, Vol.16 (4-5), p.415-433 [Periódico revisado por pares]

Texto completo disponível

2
ON THE BASIS OF THE DIRECT PRODUCT OF PATHS AND WHEELS
Material Type:
Artigo
Adicionar ao Meu Espaço

ON THE BASIS OF THE DIRECT PRODUCT OF PATHS AND WHEELS

A. A. AL-RHAYYEL

International Journal of Mathematics and Mathematical Sciences, 1996, Vol.1996 (2), p.411-414 [Periódico revisado por pares]

Hindawi Limiteds

Texto completo disponível

3
A Knowledge-Based Approach to Program Understanding
A Knowledge-Based Approach to Program Understanding
Material Type:
Livro
Adicionar ao Meu Espaço

A Knowledge-Based Approach to Program Understanding

Abd-El-Hafiz Victor R Basili

Springer US 1995

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

4
Emerging trends in database and knowledge-base machines the application of parallel architectures to smart information systems
Material Type:
Livro
Adicionar ao Meu Espaço

Emerging trends in database and knowledge-base machines the application of parallel architectures to smart information systems

Mahdi Abdelguerfi; S. H Lavington 1939- (Simon Hugh)

Los Alamitos, Calif. IEEE Computer Society Press c1995

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 Em32 )(Acessar)

5
Neural networks and fuzzy systems theory and applications
Material Type:
Livro
Adicionar ao Meu Espaço

Neural networks and fuzzy systems theory and applications

Shigeo Abe Anca L Ralescu 1949-

Boston Kluwer Academic c1997

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

6
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for industrial applications specifying and programming the steam boiler control

Jean-Raymond Abrial Egon Borger; Hans Langmaack

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1996

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1165 )(Acessar)

7
Formal methods for industrial applications specifying and programming the steam boiler control
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for industrial applications specifying and programming the steam boiler control

Jean-Raymond Abrial; E Borger; Langmaack, H

Berlin Springer 1996

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

8
Information security and privacy Second Australasian Conference, ACISP '97, Sydney, NSW, Australia, July 7-9, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Information security and privacy Second Australasian Conference, ACISP '97, Sydney, NSW, Australia, July 7-9, 1997 : proceedings

ACISP '97 (1997 Sydney, N.S.W.) Vijay Varadharajan; Josef Pieprzyk 1949-; Yi Mu

Berlin Springer New York c1997

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

9
Applied computational geometry towards geometric engineering : selected papers [of the] FCRC'96 Workshop, WACG'96, held in Philadelphia, pa, may 27-28, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Applied computational geometry towards geometric engineering : selected papers [of the] FCRC'96 Workshop, WACG'96, held in Philadelphia, pa, may 27-28, 1996

Acm Workshop on Applied Computational Geometry (1 1996 Philadelphia, Us) Ming C Lin; Dinesh Manocha; Federated Computing Research Conference, FCRC'96,2; WACG'96, held in Philadelphia, PA 1996

Berlin Springer 1996

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

10
Reliable software technologies - ada-europe'96 proceedings [of the] 1996 ada-europe international conference on reliable software technologie, held in montreux, switzerland, june 10-14, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable software technologies - ada-europe'96 proceedings [of the] 1996 ada-europe international conference on reliable software technologie, held in montreux, switzerland, june 10-14, 1996

Ada-Europe International Conference on Reliable Software Technologies (1996 : Montreaux, Ch) Alfred Stohmeier

Berlin Springer 1996

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (475.269)
  2. Revistas revisadas por pares (225.471)
  3. Disponível na Biblioteca (901)

Assunto 

  1. Science & Technology  (186.871)
  2. Technology  (127.013)
  3. Computer Science  (85.803)
  4. Exact Sciences And Technology  (65.189)
  5. Engineering  (61.582)
  6. Physical Sciences  (51.966)
  7. Applied Sciences  (43.106)
  8. Software  (41.923)
  9. Engineering, Electrical & Electronic  (37.885)
  10. Life Sciences & Biomedicine  (37.581)
  11. Humans  (28.264)
  12. Biological And Medical Sciences  (25.352)
  13. Computer Science; Control Theory; Systems  (22.479)
  14. Mathematics  (22.437)
  15. Physics  (21.062)
  16. Social Sciences  (20.575)
  17. Computer Science, Theory & Methods  (20.330)
  18. Product Introduction  (19.574)
  19. Computer Science, Artificial Intelligence  (19.432)
  20. Computer Science, Information Systems  (18.413)
  21. Artificial Intelligence  (11.987)
  22. Ciência Da Computação  (203)
  23. Inteligência Artificial  (168)
  24. Metodologia E Técnicas De Computação  (74)
  25. Neural Networks (Computer Science)  (68)
  26. Engenharia De Software  (62)
  27. Arquitetura E Organização De Computadores  (47)
  28. Object-Oriented Programming (Computer Science)  (46)
  29. Teoria Da Computação  (46)
  30. Redes Neurais  (46)
  31. Computabilidade E Complexidade  (42)
  32. Técnicas De Programação (Congressos)  (41)
  33. Artificial Intelligence  (41)
  34. Banco De Dados  (32)
  35. Engenharia De Programas  (31)
  36. Linguagem De Programação  (30)
  37. Computação Gráfica  (30)
  38. Algoritmos E Estruturas De Dados  (29)
  39. Expert Systems (Computer Science)  (26)
  40. Combinatória  (25)
  41. Redes Neurais  (13)
  42. Linguagem De Programação  (9)
  43. Banco De Dados  (8)
  44. Engenharia De Software  (7)
  45. Inteligência Artificial  (7)
  46. Algoritmos E Estruturas De Dados  (3)
  47. Ciência Da Computação  (3)
  48. Computação Gráfica  (3)
  49. Teoria Da Computação  (2)
  50. Combinatória  (1)
  51. Computabilidade E Complexidade  (1)
  52. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1987  (10)
  2. 1987Até1994  (620)
  3. 1995Até2002  (477.913)
  4. 2003Até2011  (9.427)
  5. Após 2011  (13)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (473.551)
  2. Japonês  (26.464)
  3. Alemão  (509)
  4. Francês  (498)
  5. Russo  (288)
  6. Espanhol  (179)
  7. Português  (88)
  8. Croatian  (32)
  9. Norueguês  (24)
  10. Chinês  (17)
  11. Italiano  (13)
  12. Holandês  (13)
  13. Catalão  (9)
  14. Coreano  (6)
  15. Africâner  (6)
  16. Bokmål, Norwegian  (5)
  17. Sueco  (5)
  18. Indeterminado  (4)
  19. Polonês  (4)
  20. Árabe  (3)
  21. Latim  (2)
  22. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Nerode, A
  2. Siekmann, J
  3. Salomaa, A
  4. Carbonell, G
  5. Rozenberg, G

Buscando em bases de dados remotas. Favor aguardar.