skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: data de publicação: 1990Até1995 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
15th International Conference on Software Engineering May 17-21, 1993, Baltimore, Maryland
15th International Conference on Software Engineering May 17-21, 1993, Baltimore, Maryland
Material Type:
Livro 		Adicionar ao Meu Espaço

15th International Conference on Software Engineering May 17-21, 1993, Baltimore, Maryland

International Conference on Software Engineering (15th 1993 Baltimore, Md.) ACM Sigsoft; IEEE Computer Society Technical Committee on Software Engineering

Los Alamitos, Calif. IEEE Computer Society Press c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 I61se 1993 e.1 )(Acessar)

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

3
TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Material Type:
Livro 		Adicionar ao Meu Espaço

TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

International Joint Conference on Theory and Practice of Software Development (4th : 1991 Brighton, England) Samson Abramsky 1953-; Thomas S. E Maibaum

Berlin Springer-Verlag New York 1991-

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

4
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

International Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain) Maurice Naftalin 1951-; Tim Denvir 1939-; Miquel Bertran

Berlin New York Springer-Verlag c1994

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

5
Object technologies for advanced software first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
Object technologies for advanced software first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Object technologies for advanced software first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings

International Symposium on Object Technologies for Advanced Software (1993 Kanazawa-shi, Japan) Shåojiråo Nishio; Akinori Yonezawa; Japan Society for Software Science and Technology

Berlin New York Springer-Verlag c1993

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

6
Information processing 92 proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992
Information processing 92 proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992
Material Type:
Livro 		Adicionar ao Meu Espaço

Information processing 92 proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992

IFIP World Computer Congress (12th 1992 Madrid) Jan van Leeuwen; Robert M Aiken; F. H Vogt (Friedrich H)

Amsterdam North-Holland London 1992

Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod    (004 If5i 12. v.1 )(Acessar)

7
Experience with the management of software projects, 1988 proceedings of the 2nd IFAC/IFIP Workshop, Sarajevo, Yugoslavia 27-29 September 1988
Material Type:
Livro 		Adicionar ao Meu Espaço

Experience with the management of software projects, 1988 proceedings of the 2nd IFAC/IFIP Workshop, Sarajevo, Yugoslavia 27-29 September 1988

IFAC/IFIP Workshop on Experience with the Management of Software Projects (2nd 1988 Sarajevo, Bosnia and Hercegovina) R Milovanovic; P Elzer; International Federation of Automatic Control Technical Committee on Computers; IFIP Technical Committee 5--Computer Applications in Technology

Oxford New York Pergamon c1990

Localização: IME - Inst. Matemática e Estatística    (S A615 v.14 pt.II )(Acessar)

8
Software Engineering for Large Software Systems
Software Engineering for Large Software Systems
Software Engineering for Large Software Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Engineering for Large Software Systems

B. A. Kitchenham

Springer Netherlands 1990

Acesso online

9
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

Mosses, Peter D ; Nielsen, Mogens ; Schwartzbach, Michael I Schwartzbach, Michael I. ; Mosses, Peter D. ; Nielsen, Mogens

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
10
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Brinksma, E ; Cleaveland, W. R ; Larsen, K. G ; Margaria, T ; Steffen, B Margaria, T. ; Cleaveland, W. R. ; Larsen, K. G. ; Steffen, B. ; Brinksma, E.

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (21)
  2. Artigos  (4)
  3. magazinearticle  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (2)
  2. 1988Até1990  (6)
  3. 1991Até1992  (9)
  4. 1993Até1995  (15)
  5. Após 1995  (3)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.