skip to main content
Idioma:
Mostrar Somente
Refinado por: data de publicação: 1977Até1992 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A formally verified system for logic synthesis
A formally verified system for logic synthesis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A formally verified system for logic synthesis

Aagaard, M. ; Leeser, M.

[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1991, p.346-350

IEEE Comput. Soc. Press

Texto completo disponível

Citações Citado por
2
A benders decomposition based heuristic for the hierarchical production planning problem
A benders decomposition based heuristic for the hierarchical production planning problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A benders decomposition based heuristic for the hierarchical production planning problem

Aardal, Karen ; Larsson, Torbjörn

European journal of operational research, 1990-03, Vol.45 (1), p.4-14 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
PARLE '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
PARLE '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

PARLE '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Aarts, Emile H. L ; Leeuwen, Jan van ; Rem, Martin

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
4
Parle '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Proceedings
Parle '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Parle '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Proceedings

Aarts, Emile H. L ; van Leeuwen, Jan ; Rem, Martin Aarts, Emile H. L. ; Rem, Martin ; van Leeuwen, Jan

Berlin, Heidelberg: Springer Berlin / Heidelberg 1987

Texto completo disponível

Citações Citado por
5
Modeling And Simulation In Biomedicine On A Personal Computer
Modeling And Simulation In Biomedicine On A Personal Computer
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modeling And Simulation In Biomedicine On A Personal Computer

Aarts, J.E.C.M. ; Muller, D.P.F. ; van Wijk van Brievingh, R.P.

[1990] Proceedings of the Twelfth Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 1990, p.1258-1259

IEEE

Texto completo disponível

Citações Citado por
6
Nonclausal deduction in first-order temporal logic
Nonclausal deduction in first-order temporal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nonclausal deduction in first-order temporal logic

ABADI, M ; MANNA, Z

Journal of the ACM, 1990-04, Vol.37 (2), p.279-317 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
The power of temporal proofs
The power of temporal proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The power of temporal proofs

Abadi, Martín

Theoretical computer science, 1989-06, Vol.65 (1), p.35-83 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
On hiding information from an oracle
On hiding information from an oracle
Material Type:
Artigo 		Adicionar ao Meu Espaço

On hiding information from an oracle

Abadi, Martín ; Feigenbaum, Joan ; Kilian, Joe

Journal of computer and system sciences, 1989-08, Vol.39 (1), p.21-50 [Periódico revisado por pares]

Brugge: Elsevier Inc

Texto completo disponível

Citações Citado por
9
The existence of refinement mappings
The existence of refinement mappings
Material Type:
Artigo 		Adicionar ao Meu Espaço

The existence of refinement mappings

Abadi, Martín ; Lamport, Leslie

Theoretical computer science, 1991-05, Vol.82 (2), p.253-284 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Modal Theorem Proving
Modal Theorem Proving
Material Type:
Report 		Adicionar ao Meu Espaço

Modal Theorem Proving

Abadi, Martin ; Manna, Zohar

1986

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (38.865)
  2. Revistas revisadas por pares (10.343)
  3. Disponível na Biblioteca (1.071)

Refinar Meus Resultados

Tipo de Recurso 

  1. Reports  (18.953)
  2. Artigos  (12.638)
  3. Anais de Congresso  (4.106)
  4. Livros  (1.871)
  5. magazinearticle  (1.557)
  6. Book Chapters  (557)
  7. Resenhas  (190)
  8. Dissertações  (50)
  9. Recursos Textuais  (13)
  10. Standards  (9)
  11. Produções Acadêmicas  (6)
  12. Software  (4)
  13. Newsletter Articles  (3)
  14. Mais opções open sub menu

Assunto 

  1. Computer Programming And Software  (18.673)
  2. Science & Technology  (9.682)
  3. Computer Programming  (9.602)
  4. Technology  (9.133)
  5. Computer Science  (8.585)
  6. Computer Programs  (8.269)
  7. Exact Sciences And Technology  (5.259)
  8. Applied Sciences  (4.966)
  9. Algorithms  (4.580)
  10. Programming Languages  (4.262)
  11. Software  (4.217)
  12. Engineering  (4.192)
  13. Computer Science, Software Engineering  (3.452)
  14. Computers  (3.445)
  15. Computer Science; Control Theory; Systems  (3.368)
  16. Computer Hardware  (3.301)
  17. Engineering, Electrical & Electronic  (2.778)
  18. Software Engineering  (2.577)
  19. Programming  (2.511)
  20. Computerized Simulation  (2.426)
  21. Computer Graphics  (1.185)
  22. Linguagem De Programação  (268)
  23. Basic  (203)
  24. Metodologia E Técnicas De Computação  (176)
  25. Pascal  (161)
  26. Electronic Digital Computers  (134)
  27. Pascal (Computer Program Language)  (108)
  28. Electronic Digital Computers  (96)
  29. C (Computer Program Language)  (93)
  30. Pascal  (92)
  31. Basic (Computer Program Language)  (67)
  32. Engenharia De Software  (63)
  33. Algoritmos E Estruturas De Dados  (58)
  34. Computação Aplicada  (56)
  35. Softwares  (56)
  36. Programming Languages (Electronic Computers)  (51)
  37. Ibm Personal Computer  (49)
  38. Basic  (49)
  39. Computer Graphics  (48)
  40. Computer Algorithms  (47)
  41. Inteligência Artificial  (45)
  42. Prolog (Computer Program Language)  (40)
  43. Object-Oriented Programming (Computer Science)  (39)
  44. Computer Algorithms  (30)
  45. Linguagem De Programação  (10)
  46. Ibm Personal Computer  (8)
  47. Inteligência Artificial  (4)
  48. Engenharia De Software  (3)
  49. Algoritmos E Estruturas De Dados  (1)
  50. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1978  (1.540)
  2. 1978Até1983  (9.390)
  3. 1984Até1989  (16.363)
  4. 1990Até1996  (13.149)
  5. Após 1996  (15)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (39.841)
  2. Japonês  (777)
  3. Alemão  (18)
  4. Francês  (12)
  5. Português  (12)
  6. Espanhol  (8)
  7. Catalão  (4)
  8. Húngaro  (1)
  9. Italiano  (1)
  10. Chinês  (1)
  11. Croatian  (1)
  12. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Wiener, R
  2. Schildt, H
  3. Leventhal, L
  4. Tremblay, J
  5. MathWorks, I

Neste Assunto:

  1. Computer Programming And Software
  2. Science & Technology
  3. Computer Programming
  4. Technology
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.