skip to main content
Idioma:
Refinado por: autor: ETAPS 2006 remover tipo de recurso: Livros remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-31, 2006 : proceedings
Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-31, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-31, 2006 : proceedings

FOSSACS 2006 (2006 Vienna, Austria) Luca Aceto; Anna Ing olfsd ottir 1952; ETAPS 2006 (2006 Vienna, Austria)

Berlin Springer New York c2006

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

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

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

Buscando em bases de dados remotas. Favor aguardar.