skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Correção De Programas (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 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)

2
Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

TACAS 2002 (2002 Grenoble, France) Joost-Pieter Katoen; Perdita Stevens; ETAPS 2002 (Conference) (2002 Grenoble, France)

Berlin Springer London c2002

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

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

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

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

6
Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-April 2, 2006 : proceedings
Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-April 2, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-April 2, 2006 : proceedings

TACAS 2006 (2006 Vienna, Austria) Holger Hermanns 1967; Jens Palsberg; ETAPS 2006 (2006 Vienna, Austria)

Berlin Springer New York c2006

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

7
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Edinburgh, UK, April 4-8, 2005 : proceedings

TACAS 2005 (2005 Edinburgh, Scotland) Nicolas Halbwachs; Lenore D Zuck 1958; ETAPS 2005 (2005 Edinburgh, Scotland)

Berlin Springer New York 2005

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)

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

Buscando em bases de dados remotas. Favor aguardar.