skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

Naftalin, Maurice ; Denvir, Tim ; Bertran, Miquel Bertran, Miquel ; Denvir, Tim ; Naftalin, Maurice

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
2
Formal Methods
Formal Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods

Beth E.W Beth; Evert W Beth; D Vuysje

Springer Netherlands 1962

Acesso online

3
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Oliveira, José Nuno ; Zave, Pamela Zave, Pamela ; Oliveira, José Nuno

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
4
FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings
FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

Eriksson, Lars-Henrik ; Lindsay, Peter Alexander Eriksson, Lars-Henrik ; Lindsay, Peter Alexander ; Lindsay, Peter Alexander ; Eriksson, Lars-Henrik

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
5
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Human-Computer Interaction

S. A. Palanque, Philippe Paternò, Fabio Schuman Fabio Paterno

Springer London 1998

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

6
Applied Formal Methods: FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : Proceedings
Applied Formal Methods: FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied Formal Methods: FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : Proceedings

Hutter, Dieter ; Stephan, Werner ; Traverso, Paolo ; Ullmann, Markus Ullmann, Markus ; Traverso, Paolo ; Hutter, Dieter ; Stephan, Werner

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
7
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-

Berlin Springer New York c1999

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

8
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings

Fitzgerald, John ; Jones, Cliff B ; Lucas, Peter Jones, Cliff B. ; Lucas, Peter ; Fitzgerald, John

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
9
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Woodcock, James C. P ; Larsen, Peter G Larsen, Peter G. ; Woodcock, James C. P.

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
10
Formal methods: Practice and experience
Formal methods: Practice and experience
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal methods: Practice and experience

Woodcock, Jim ; Larsen, Peter Gorm ; Bicarregui, Juan ; Fitzgerald, John

ACM computing surveys, 2009-10, Vol.41 (4), p.1-36 [Periódico revisado por pares]

Baltimore: Association for Computing Machinery

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3.124.496)
  2. Revistas revisadas por pares (2.625.937)
  3. Disponível na Biblioteca (389)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (2.740.590)
  2. Book Chapters  (98.592)
  3. Anais de Congresso  (69.936)
  4. magazinearticle  (51.674)
  5. Resenhas  (48.976)
  6. Verbetes  (45.408)
  7. Newsletter Articles  (30.123)
  8. Reports  (17.509)
  9. Livros  (8.604)
  10. Dissertações  (4.723)
  11. Artigos de Jornal  (3.959)
  12. Standards  (1.737)
  13. Conjunto de Dados  (1.702)
  14. Recursos Textuais  (699)
  15. Produções Acadêmicas  (238)
  16. Web Resources  (238)
  17. Outros  (92)
  18. Videos  (63)
  19. Imagens  (56)
  20. Mapas  (46)
  21. Documentos Governamentais  (37)
  22. Audiovisuais  (1)
  23. Produções Técnicas  (1)
  24. Mais opções open sub menu

Assunto 

  1. Science & Technology  (1.634.696)
  2. Life Sciences & Biomedicine  (963.838)
  3. Social Sciences  (624.351)
  4. Humans  (512.407)
  5. Physical Sciences  (441.469)
  6. Technology  (412.517)
  7. Female  (267.151)
  8. Male  (238.770)
  9. Science & Technology - Other Topics  (221.181)
  10. Studies  (189.794)
  11. Analysis  (189.408)
  12. Chemistry  (185.102)
  13. Engineering  (172.587)
  14. Environmental Sciences & Ecology  (167.654)
  15. Adult  (157.332)
  16. Physics  (153.043)
  17. Multidisciplinary Sciences  (150.185)
  18. Computer Science  (147.090)
  19. Business & Economics  (144.979)
  20. Methods  (144.175)
  21. Education  (124.731)
  22. Software Engineering  (14.292)
  23. Computer Software  (4.978)
  24. Electronic Data Processing  (2.377)
  25. Computer Systems  (1.387)
  26. System Design  (418)
  27. Formal Methods (Computer Science)  (57)
  28. Engenharia De Software  (52)
  29. Engenharia De Programas  (40)
  30. Especificação De Sistemas E Programas (Congressos)  (33)
  31. Computer Software  (25)
  32. Redes De Petri  (20)
  33. Sistemas De Informação  (16)
  34. Ciência Da Computação  (15)
  35. Técnicas De Programação (Congressos)  (15)
  36. Inteligência Artificial  (13)
  37. Estudos Transversais  (11)
  38. Metodologia E Técnicas De Computação  (10)
  39. Software Engineering  (10)
  40. M Ethodes Formelles (Informatique)  (10)
  41. Electronic Data Processing  (10)
  42. System Design  (10)
  43. Inteligência Artificial  (10)
  44. Redes De Petri  (9)
  45. Object-Oriented Programming (Computer Science)  (9)
  46. Education  (9)
  47. Computer Systems  (8)
  48. Estudos Transversais  (8)
  49. Sistemas De Informação  (8)
  50. Especificação De Sistemas E Programas  (8)
  51. Engenharia De Software  (7)
  52. Ciência Da Computação  (2)
  53. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1958  (23.301)
  2. 1958Até1974  (32.188)
  3. 1975Até1991  (76.781)
  4. 1992Até2009  (618.531)
  5. Após 2009  (2.390.829)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.084.108)
  2. Japonês  (134.169)
  3. Alemão  (23.254)
  4. Português  (21.589)
  5. Espanhol  (16.998)
  6. Francês  (7.445)
  7. Norueguês  (4.679)
  8. Russo  (1.758)
  9. Africâner  (1.250)
  10. Turco  (916)
  11. Bokmål, Norwegian  (914)
  12. Italiano  (889)
  13. Chinês  (731)
  14. Polonês  (641)
  15. Persa  (630)
  16. Tcheco  (546)
  17. Árabe  (504)
  18. Lituano  (454)
  19. Indonésio  (413)
  20. Holandês  (339)
  21. Indeterminado  (7)
  22. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.