Refinar Meus Resultados

Tipo de Recurso 

1. Book Chapters  (93)
2. Artigos  (56)
3. Anais de Congresso  (51)
4. Livros  (29)
5. Resenhas  (3)
6. Mais opções 

Assunto 

1. Computer Science  (85)
2. Science & Technology  (56)
3. Exact Sciences And Technology  (55)
4. Software Engineering  (54)
5. Applied Sciences  (53)
6. Computer Science; Control Theory; Systems  (53)
7. Technology  (52)
8. Software  (48)
9. Computer Science, Theory & Methods  (43)
10. Computer Science, Software Engineering  (29)
11. Logics And Meanings Of Programs  (13)
12. Mathematics  (12)
13. Operational Semantic  (12)
14. Formal Methods  (10)
15. Model Check  (9)
16. Programming Languages  (9)
17. Congresses  (9)
18. Logic  (9)
19. Computer Logic  (9)
20. Logic Design  (9)
21. Programação Orientada A Objetos (Congressos)  (5)
22. Object-Oriented Programming (Computer Science)  (5)
23. Técnicas De Programação (Congressos)  (5)
24. Component Software  (5)
25. Formale Methode  (5)
26. Especificação De Sistemas E Programas (Congressos)  (4)
27. Engenharia De Programas  (4)
28. Softwareentwicklung  (4)
29. Component Software  (4)
30. Formal Methods (Computer Science)  (4)
31. Objektorientierung  (4)
32. Electronic Data Processing  (3)
33. Formale Spezifikationstechnik  (2)
34. Composants Logiciels  (2)
35. Approche Orient Ee Objet (Informatique)  (2)
36. M Ethodes Formelles (Informatique)  (2)
37. Objektorientierung  (1)
38. Formale Methode  (1)
39. Composants Logiciels  (1)
40. Softwareentwicklung  (1)
41. Komponente   (1)
42. Formale Spezifikationstechnik  (1)
43. Ciência Da Computação (Congressos)  (1)
44. Softwares (Componentes;Congressos)  (1)
45. Approche Orient Ee Objet  (1)
46. Electronic Data Processing  (1)
47. M Ethode Formelle  (1)
48. Mais opções 

Autor/Criador 

1. Bonsangue, M  (11)
2. Graf, S  (6)
3. Boer, F  (5)
4. Roever, W  (4)
5. de Boer, F  (3)
6. Hutchison, D  (2)
7. Kanade, T  (2)
8. FMCO 2003  (2)
9. Johnsen, E  (2)
10. de Roever, W  (2)
11. FMCO 2006  (1)
12. Damiani, F  (1)
13. FMCO 2005  (1)
14. FMCO 2004  (1)
15. FMCO 2002  (1)
16. Erika Ábrahám, M  (1)
17. Hähnle, R  (1)
18. International Conference on Formal Methods for Open Object-Based Distributed Systems  (1)
19. IFIP Working Group 6.1  (1)
20. Giachino, E  (1)
21. Mais opções 

Data de Publicação 

1. Antes de1999  (9)
2. 1999Até2003  (45)
3. 2004Até2008  (42)
4. 2009Até2014  (109)
5. Após 2014  (33)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (5)
2. ICMC - Inst. Ciên. Mat. Computação  (4)
3. Mais opções 

Base de Dados/Biblioteca 

1. SpringerLINK Lecture Notes in Computer Science (2015)  (134)
2. SpringerLINK Lecture Notes in Computer Science  (128)
3. Science Citation Index Expanded (Web of Science)  (42)
4. EZB Electronic Journals Library  (34)
5. ScienceDirect (Online service)  (22)
6. Springer Nature - Springer Lecture Notes in Computer Science eBooks  (18)
7. Springer Books  (18)
8. ROAD  (17)
9. BACON - Mir@bel - GLOBAL_LIBRESACCES  (14)
10. JSTOR  (9)
11. IEEE Electronic Library (IEL) Conference Proceedings  (8)
12. DOAB: Directory of Open Access Books  (7)
13. ACM Digital Library  (7)
14. DOAJ Directory of Open Access Journals  (7)
15. SpringerLINK Lecture Notes in Computer Science (2012)  (6)
16. Springer Nature - Springer Computer Science eBooks 2012 English International  (6)
17. Open Access: Freely Accessible Journals by multiple vendors  (6)
18. NUS Single-Journal Subscriptions  (6)
19. arXiv.org  (6)
20. UCL Discovery  (5)
21. Mais opções 

Idioma 

1. Inglês  (208)
2. Francês  (24)
3. Japonês  (5)
4. Mais opções 

Nome da Publicação 

1. arXiv.org  (6)
2. Report - Software Engineering  (6)
3. Theoretical Computer Science  (5)
4. Revue Archéologique De Narbonnaise  (4)
5. Cahiers Du Centre Gustave Glotz  (4)
6. Science Of Computer Programming  (4)
7. Information And Computation  (3)
8. Acm Transactions On Computational Logic  (2)
9. Annales  (2)
10. Electronic Notes In Theoretical Computer Science  (2)
11. Mais opções