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
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.

2
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)

3
Formal methods foundations and applications
Formal methods foundations and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods foundations and applications

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2213638 ) e outros locais(Acessar)

4
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

International Workshop on Current Trends in Applied Formal Methods (1998 Boppard, Germany) Dieter Hutter

Berlin Springer New York c1999

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

5
FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

International Symposium of Formal Methods Europe (12th 2003 Pisa, Italy) Keijiråo Araki 1954-; Stefania Gnesi 1954-; Dino Mandrioli

Berlin Springer New York c2003

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

6
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings

International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England) John Fitzgerald 1965-; Ian Hayes; Andrzej Tarlecki

Berlin Springer New York 2005

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

7
Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers
Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers

Brazilian Symposium on Formal Methods (14th : 2011 : Sao Paulo, Brazil) Adenilso da Silva Simão; Carroll Morgan 1952-

Heidelberg Springer c2011

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.1 B827f 2011 ) e outros locais(Acessar)

8
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

International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark) Jim Woodcock; P. G Larsen 1964- (Peter Gorm)

Berlin New York Springer-Verlag c1993

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

9
Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop
Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop

Chris Hankin; I Mackie (Ian); R Nagarajan (Rajagopal); Imperial College of Science, Technology, and Medicine (Great Britain) Dept. of Computing; Imperial College Department of Computing Workshop on Theory and Formal Methods (2nd 1994 Cambridge, England)

London Imperial College Press Singapore River Edge, NJ Distributed by World Scientific c1995

Localização: IF - Instituto de Física    (005.106 W926t 2nd )(Acessar)

10
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings

International Conference on Integrated Formal Methods (6th 2007 Oxford, UK) Jim Davies; Jeremy Gibbons

Berlin Springer 2007

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (389)
  2. Recursos Online (33)

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (194)
  2. Livros  (175)
  3. Artigos  (36)
  4. Produções Técnicas  (1)
  5. Outros  (1)
  6. Audiovisuais  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (14)
  2. 1990Até1997  (43)
  3. 1998Até2005  (92)
  4. 2006Até2014  (138)
  5. Após 2014  (125)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (226)
  2. Português  (186)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.