skip to main content
Idioma:
previous page 3 4 Resultados 5 6 7 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
41
Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton Ontario, Canada, August 26-27, 2006 : revised selected papers
Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton Ontario, Canada, August 26-27, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton Ontario, Canada, August 26-27, 2006 : revised selected papers

FAST 2006 (2006 Hamilton, Ont.) Theo Dimitrakos; Fabio Martinelli 1969; Peter Y. A Ryan; Steve Schneider

Berlin Springer New York c2006

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

42
Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France September 26-29, 2006 : proceedings
Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France September 26-29, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France September 26-29, 2006 : proceedings

FORTE 2006 (2006 Paris, France) Elie Najm; Jean-Fran cois Pradat-Peyre; V eronique Donzeau-Gouge; IFIP Working Group 6.1

Berlin Springer New York c2006

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

43
Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings

FORMATS 2006 (2006 Paris, France) E. A Asarin (Evgeni i Aleksandrovich); Patricia Bouyer 1976

Berlin Springer New York 2006

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

44
Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings
Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest Hungary, June 21-22, 2006 : proceedings

EPEW 2006 (3rd 2006 Budapest, Hungary) Andr as Horv ath 1974; Mikl os Telek

Berlin Springer New York c2006

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

45
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

FORTE 2004 (2004 Toledo, Spain) Zakaria Maamar; Fernando L Pelayo; Key Pousttchi; Fernando Rubio; Manuel N u nez Profesor; The FormEMC (1st 2004 Toledo, Spain); EPEW (1st 2004 Toledo, Spain); ITM (1st 2004 Toledo, Spain)

Berlin Springer New York c2004

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

46
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles France, September 1-3, 2005 : proceedings

EPEW (2005 Versailles, France) Mario Bravetti; Le ila Kloul; Gianluigi Zavattaro; International Workshop on Web Services and Formal Methods (2005 Versailles, France)

Berlin Springer New York c2005

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

47
Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings
Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings

FORTE 2007 (2007 Tallinn, Estonia) John Derrick 1963; J uri Vain; IFIP Working Group 6.1

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4574 )(Acessar)

48
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures

FMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2007

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

49
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

FATES 2003 (2003 Montr eal, Qu ebec) Alexandre Petrenko; Andreas Ulrich Dr. Ing; IEEE International Automated Software Engineering Conference (18th 2003 Montr eal, Qu ebec)

Berlin Springer New York c2004

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

50
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures

FMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer-Verlag New York c2004

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

previous page 3 4 Resultados 5 6 7 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (19.280)
  2. Revistas revisadas por pares (11.539)
  3. Disponível na Biblioteca (65)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (10.186)
  2. Book Chapters  (9.916)
  3. Anais de Congresso  (9.210)
  4. Livros  (1.128)
  5. Dissertações  (254)
  6. magazinearticle  (159)
  7. Reports  (157)
  8. Recursos Textuais  (77)
  9. Conjunto de Dados  (56)
  10. Web Resources  (26)
  11. Standards  (9)
  12. Produções Acadêmicas  (8)
  13. Resenhas  (7)
  14. Videos  (6)
  15. Newsletter Articles  (3)
  16. Verbetes  (2)
  17. Outros  (2)
  18. Imagens  (2)
  19. Documentos Governamentais  (1)
  20. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (135)
  2. 1961Até1976  (465)
  3. 1977Até1992  (1.020)
  4. 1993Até2009  (10.940)
  5. Após 2009  (19.739)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (30.275)
  2. Alemão  (727)
  3. Japonês  (714)
  4. Francês  (109)
  5. Chinês  (81)
  6. Português  (50)
  7. Espanhol  (41)
  8. Ndongo  (39)
  9. Russo  (22)
  10. Catalão  (6)
  11. Dinamarquês  (6)
  12. Norueguês  (5)
  13. Italiano  (5)
  14. Coreano  (5)
  15. Sueco  (3)
  16. Indonésio  (2)
  17. Árabe  (2)
  18. Polonês  (2)
  19. Estoniano  (2)
  20. Africâner  (1)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.