skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Técnicas De Programação (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tools and algorithms for the construction and analysis of systems 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29-April 2, 2004 : proceedings
Tools and algorithms for the construction and analysis of systems 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29-April 2, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29-April 2, 2004 : proceedings

TACAS 2004 (2004 Barcelona, Spain) K Jensen (Kurt) 1950; Andreas Podelski

Berlin Springer New York c2004

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

2
Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24-April 1, 2007 : proceedings
Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24-April 1, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24-April 1, 2007 : proceedings

TACAS 2007 (2007 Braga, Portugal) Orna Grumberg; Michael Huth 1962; ETAPS 2007 (2007 Braga, Portugal)

Berlin Springer New York 2007

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

3
TAPSOFT '97 theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
TAPSOFT '97 theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

TAPSOFT '97 theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

International Joint Conference on Theory and Practice of Software Development (7th 1997 Lille, France) M Bidoit 1957- (Michel); M Dauchet 1946- (Max)

Berlin Springer New York c1997

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

4
Tools and algorithms for the construction and analysis of systems Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Tools and algorithms for the construction and analysis of systems Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

TACAS '97 (1997 Enschede, Netherlands) Ed Brinksma

Berlin Springer New York c1997

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

5
Tools and algorithms for the construction and analysis of systems 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Tools and algorithms for the construction and analysis of systems 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

TACAS '98 (1998 Lisbon, Portugal) Bernhard Steffen; European Conferences on Theory and Practice of Software (1998 Lisbon, Portugal)

New York Springer c1998

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

6
UML 2004 - the unified modeling language modeling languages and applications ; 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings
UML 2004 - the unified modeling language modeling languages and applications ; 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

UML 2004 - the unified modeling language modeling languages and applications ; 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings

UML 2004 (2004 Lisbon, Portugal) Thomas Strohmeier; Thomas Baar

Berlin Springer New York c2004

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

7
Formal methods and software development
Formal methods and software development
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software development

Colloquium on Software Engineering (1985 Berlin, Germany) Hartmut Ehrig

Berlin Springer-Verlag New York c1985

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

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

9
Proceedings of the third USENIX Conference on Object-Oriented Technologies and Systems (COOTS) June 16-19, 1997, Portland, Oregon
Proceedings of the third USENIX Conference on Object-Oriented Technologies and Systems (COOTS) June 16-19, 1997, Portland, Oregon
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the third USENIX Conference on Object-Oriented Technologies and Systems (COOTS) June 16-19, 1997, Portland, Oregon

USENIX Conference on Object-Oriented Technologies and Systems (COOTS) (3rd 1997 Portland, Or.) USENIX Association

Berkeley, CA The Association c1997

Localização: IME - Inst. Matemática e Estatística    (QA754.4.C U84p )(Acessar)

10
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers

WADT 2006 (2006 La Roche-en-Ardenne, Belgium) José Luiz Fiadeiro 1961-; Pierre-Yves Schobbens 1961-

Berlin Springer 2007

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (7)

Data de Publicação 

De até
Refinar
  1. Antes de1993  (1)
  2. 1993Até1996  (1)
  3. 1997Até1997  (3)
  4. 1998Até2004  (5)
  5. Após 2004  (11)
  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.