skip to main content
Idioma:
Mostrar Somente
Refinado por: data de publicação: 1974Até1990 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Propositional temporal interval logic is PSPACE complete
Propositional temporal interval logic is PSPACE complete
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Propositional temporal interval logic is PSPACE complete

Aaby, A. A. ; Narayana, K. T. Overbeek, Ross ; Lusk, Ewing

9th International Conference on Automated Deduction, 1988, p.218-237 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Automated BIST for regular structures embedded in ASIC devices
Automated BIST for regular structures embedded in ASIC devices
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated BIST for regular structures embedded in ASIC devices

Aadsen, Duane R. ; Scholz, Harold N. ; Zorian, Yervant

AT&T Technical Journal, 1990-05, Vol.69 (3), p.97-109 [Periódico revisado por pares]

Oxford, UK: AT&T

Texto completo disponível

Citações Citado por
3
The perils of high-growth markets
The perils of high-growth markets
Material Type:
Artigo 		Adicionar ao Meu Espaço

The perils of high-growth markets

Aaker, David A. ; Day, George S.

Strategic management journal, 1986-09, Vol.7 (5), p.409-421 [Periódico revisado por pares]

Chichester: John Wiley & Sons, Ltd

Texto completo disponível

Citações Citado por
4
Interactive Marketing Models
Interactive Marketing Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interactive Marketing Models

Aaker, David A. ; Weinberg, Charles B.

Journal of marketing, 1975-10, Vol.39 (4), p.16-23 [Periódico revisado por pares]

New York: American Marketing Association

Texto completo disponível

Citações Citado por
5
Characterizations of the decidability of some problems for regular trace languages
Characterizations of the decidability of some problems for regular trace languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Characterizations of the decidability of some problems for regular trace languages

Aalbersberg, IJ. J. ; Hoogeboom, H. J.

Mathematical Systems Theory, 1989-12, Vol.22 (1), p.1-19 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
Traces, dependency graphs and DNLC grammars
Traces, dependency graphs and DNLC grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Traces, dependency graphs and DNLC grammars

Aalbersberg, Ij.J. ; Rozenberg, G.

Discrete Applied Mathematics, 1985-01, Vol.11 (3), p.299-306 [Periódico revisado por pares]

Lausanne: Elsevier B.V

Texto completo disponível

Citações Citado por
7
CTS systems and Petri nets
CTS systems and Petri nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

CTS systems and Petri nets

Aalbersberg, Ij.J. ; Rozenberg, G.

Theoretical computer science, 1985, Vol.40 (2-3), p.149-162 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
On the membership problem for regular DNLC grammars
On the membership problem for regular DNLC grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the membership problem for regular DNLC grammars

Aalbersberg, IJ.J. ; Rozenberg, G. ; Ehrenfeucht, A.

Discrete Applied Mathematics, 1986, Vol.13 (1), p.79-85 [Periódico revisado por pares]

Lausanne: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Theory of traces
Theory of traces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theory of traces

Aalbersberg, IJsbrand Jan ; Rozenberg, Grzegorz

Theoretical computer science, 1988-01, Vol.60 (1), p.1-82 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Visual stimulator using laser beam for eye-movement studies
Visual stimulator using laser beam for eye-movement studies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Visual stimulator using laser beam for eye-movement studies

Aalto, H ; Juhola, M ; Pyykkö, I

Medical & biological engineering & computing, 1989-05, Vol.27 (3), p.332-335 [Periódico revisado por pares]

United States

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 (147.981)
  2. Revistas revisadas por pares (110.019)
  3. Disponível na Biblioteca (368)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (126.643)
  2. Book Chapters  (6.164)
  3. Anais de Congresso  (5.894)
  4. magazinearticle  (3.835)
  5. Reports  (2.470)
  6. Livros  (2.200)
  7. Resenhas  (1.007)
  8. Dissertações  (59)
  9. Web Resources  (46)
  10. Recursos Textuais  (29)
  11. Produções Acadêmicas  (3)
  12. Newsletter Articles  (2)
  13. Audiovisuais  (1)
  14. Software  (1)
  15. Mais opções open sub menu

Assunto 

  1. Science & Technology  (119.776)
  2. Technology  (98.802)
  3. Computer Science  (85.153)
  4. Exact Sciences And Technology  (52.347)
  5. Engineering  (39.457)
  6. Applied Sciences  (35.141)
  7. Engineering, Electrical & Electronic  (24.285)
  8. Physical Sciences  (24.133)
  9. Computer Science; Control Theory; Systems  (24.088)
  10. Computer Science, Theory & Methods  (20.752)
  11. Life Sciences & Biomedicine  (19.851)
  12. Computer Science, Interdisciplinary Applications  (19.153)
  13. Computer Science, Software Engineering  (18.894)
  14. Computer Science, Hardware & Architecture  (16.188)
  15. Computer Science, Information Systems  (15.691)
  16. Computers  (15.492)
  17. Mathematics  (13.728)
  18. Software  (12.876)
  19. Humans  (12.255)
  20. Chemistry  (10.942)
  21. Artificial Intelligence  (6.534)
  22. Expert Systems  (1.286)
  23. Electronic Digital Computers  (171)
  24. Database Management  (118)
  25. Expert Systems (Computer Science)  (100)
  26. Inteligência Artificial  (77)
  27. Data Structures (Computer Science)  (71)
  28. Algoritmos E Estruturas De Dados  (50)
  29. Computer Algorithms  (50)
  30. Sistemas Especialistas  (45)
  31. Metodologia E Técnicas De Computação  (43)
  32. Linguagem De Programação  (36)
  33. Artificial Intelligence  (29)
  34. Ciência Da Computação  (27)
  35. Engenharia De Software  (24)
  36. Teoria Da Computação  (23)
  37. Computação Aplicada  (23)
  38. Object-Oriented Programming (Computer Science)  (22)
  39. Parallel Programming (Computer Science)  (21)
  40. Electronic Digital Computers  (20)
  41. Expert Systems  (20)
  42. Computer Algorithms  (19)
  43. Natural Language Processing (Computer Science)  (19)
  44. Database Management  (19)
  45. Inteligência Artificial  (10)
  46. Sistemas Especialistas  (6)
  47. Algoritmos E Estruturas De Dados  (3)
  48. Linguagem De Programação  (3)
  49. Engenharia De Software  (1)
  50. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1976  (5.833)
  2. 1976Até1984  (50.234)
  3. 1985Até1993  (93.320)
  4. 1994Até2003  (62)
  5. Após 2003  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (148.082)
  2. Japonês  (10.064)
  3. Alemão  (195)
  4. Francês  (154)
  5. Espanhol  (20)
  6. Catalão  (7)
  7. Russo  (5)
  8. Tcheco  (4)
  9. Português  (4)
  10. Norueguês  (3)
  11. Italiano  (2)
  12. Holandês  (2)
  13. Chinês  (2)
  14. Africâner  (2)
  15. Húngaro  (1)
  16. Indeterminado  (1)
  17. Romeno  (1)
  18. Finlandês  (1)
  19. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.