Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (4.030)
2. Anais de Congresso  (2.138)
3. Book Chapters  (202)
4. Livros  (60)
5. Newsletter Articles  (32)
6. Reports  (27)
7. magazinearticle  (12)
8. Resenhas  (5)
9. Produções Acadêmicas  (3)
10. Dissertações  (3)
11. Recursos Textuais  (1)
12. Mais opções 

Assunto 

1. Discrete Event Systems  (5.191)
2. Science & Technology  (4.589)
3. Technology  (4.365)
4. Engineering  (2.515)
5. Automation & Control Systems  (2.434)
6. Computer Science  (1.935)
7. Engineering, Electrical & Electronic  (1.685)
8. Supervisory Control  (1.304)
9. Control Systems  (1.263)
10. Petri Nets  (1.179)
11. Simulation  (1.006)
12. Automata  (987)
13. Discrete-Event Systems  (921)
14. Operations Research & Management Science  (775)
15. Computer Simulation  (731)
16. Exact Sciences And Technology  (678)
17. Applied Sciences  (669)
18. Automatic Control  (629)
19. Algorithms  (625)
20. Computer Science; Control Theory; Systems  (611)
21. Modeling  (110)
22. Model Checking  (35)
23. Formal Verification  (33)
24. Time Petri Nets  (13)
25. Redes De Petri  (7)
26. Redes De Petri  (3)
27. Discrete Simulation  (2)
28. Model Checking  (1)
29. Sistemas A Eventos Discretos  (1)
30. Navio De Guerra  (1)
31. Discrete Simulation  (1)
32. Simulação Discreta  (1)
33. Verificação Formal  (1)
34. Sistemas Discretos  (1)
35. Sistemas A Eventos Discretos  (1)
36. Modelagem De Sistemas De Movimentação De Materiais  (1)
37. Formal Verification  (1)
38. Redes De Petri Temporizadas  (1)
39. C³i Systems  (1)
40. Materials Movement Systems Modeling  (1)
41. Sistemas Distribuídos  (1)
42. Time Petri Nets  (1)
43. Verificação De Modelos  (1)
44. Sistemas De Apoio À Decisão  (1)
45. Modeling  (1)
46. Mais opções 

Autor/Criador 

1. Miyagi, P  (2)
2. Junqueira, F  (1)
3. González Del Foyo, P  (1)
4. Valencia Reyes, R  (1)
5. Silva, J  (1)
6. Mais opções 

Data de Publicação 

1. Antes de1985  (15)
2. 1985Até1993  (266)
3. 1994Até2002  (1.134)
4. 2003Até2012  (2.107)
5. Após 2012  (3.001)
6. Mais opções 

Base de Dados/Biblioteca 

1. Science Citation Index Expanded (Web of Science)  (2.580)
2. IEEE Electronic Library (IEL) Conference Proceedings  (2.071)
3. IEEE Electronic Library (IEL) Journals  (1.206)
4. ROAD  (934)
5. EZB Electronic Journals Library  (791)
6. DOAJ Directory of Open Access Journals  (675)
7. ScienceDirect  (590)
8. IngentaConnect Journals  (562)
9. SpringerLink (Online service)  (558)
10. ANTE: Abstracts in New Technology & Engineering  (516)
11. Springer Nature - Springer Journals All 2022  (511)
12. Aerospace Database  (479)
13. Gale Academic OneFile Select  (477)
14. Open Access: Freely Accessible Journals by multiple vendors  (429)
15. arXiv.org  (378)
16. BACON - Mir@bel - GLOBAL_LIBRESACCES  (277)
17. Materials Research Database  (268)
18. Academic Search Premier  (263)
19. Taylor & Francis  (222)
20. Computers & Applied Sciences Complete (EBSCO)  (219)
21. Mais opções 

Idioma 

1. Inglês  (6.400)
2. Japonês  (219)
3. Português  (35)
4. Espanhol  (27)
5. Francês  (8)
6. Alemão  (4)
7. Chinês  (4)
8. Coreano  (3)
9. Tcheco  (2)
10. Norueguês  (1)
11. Eslovaco  (1)
12. Catalão  (1)
13. Mais opções 

Nome da Publicação 

1. Ieee Transactions On Automatic Control  (468)
2. arXiv.org  (378)
3. Arxiv  (186)
4. Automatica  (166)
5. Discrete Event Dynamic Systems  (163)
6. Ieee Transactions On Automation Science And Engineering  (126)
7. Ieee Access  (91)
8. International Journal Of Advanced Manufacturing Technology  (83)
9. Ieee Transactions On Systems, Man, And Cybernetics. Systems  (80)
10. Ieee Transactions On Systems, Man And Cybernetics. Part A, Systems And Humans  (59)
11. Mais opções