skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers
The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers

UML '98 (1998 Mulhouse, France) J Bézivin (Jean); Pierre-Alain Muller

Berlin Springer New York c1999

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

3
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings

AGTIVE'99 (1999 Kerkrade, Netherlands) Manfred Nagl 1944-; Andreas Schürr; Manfred Münch 1971-

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin New York Springer c2000

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

4
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging Pacific Grove, California, March 20-23, l983
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging Pacific Grove, California, March 20-23, l983
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging Pacific Grove, California, March 20-23, l983

ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging (1983 Pacific Grove, Calif.) Mark Scott Johnson; ACM Sigsoft; ACM Special Interest Group in Programming Languages

New York Association for Computing Machinery 1983

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 Ac64p ) e outros locais(Acessar)

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

6
B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

International B Conference (2nd 1998 Montpellier, France) Didier Bert

Berlin Springer New York c1998

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

7
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings

UML '99 (1999 Fort Collins, Colo.) Robert France (Robert B.); Bernhard Rumpe

Berlin Springer New York c1999

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

8
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings

UML 2001 (2001 Toronto, Ont.) Martin Gogolla 1954-; Cris Kobryn 1952-

Berlin Springer New York c2001

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

9
Software visualization international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
Software visualization international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Software visualization international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers

Dagstuhl Seminar on Software Visualization (2001 Dagstuhl, Germany) Stephan Diehl 1969-

Berlin Springer New York c2002

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

10
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

WADT '99 (1999 Château de Bonas, France) Didier Bert; C Choppy (Christine); Peter Mosses

Berlin New York Springer c2000

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

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 (1)
  2. Disponível na Biblioteca (43)

Data de Publicação 

De até
Refinar
  1. Antes de1997  (4)
  2. 1997Até1999  (14)
  3. 2000Até2002  (17)
  4. 2003Até2007  (7)
  5. Após 2007  (4)
  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.