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: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
System software an introduction to systems programming
System software an introduction to systems programming
Material Type:
Livro 		Adicionar ao Meu Espaço

System software an introduction to systems programming

Leland L. Beck

Reading, Mass. Addison-Wesley Pub. Co. c1990

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

2
Compiler construction 13th international conference, CC 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
Compiler construction 13th international conference, CC 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

Compiler construction 13th international conference, CC 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

CC 2004 (2004 Barcelona, Spain) Evelyn Duesterwald; ETAPS 2004 (2004 Barcelona, Spain)

Berlin Springer New York 2004

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

3
Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna Austria, March 2006 : proceedings
Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna Austria, March 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna Austria, March 2006 : proceedings

European Symposium on Programming (15th 2006 Vienna, Austria) Peter Sestoft; ETAPS 2006 (2006 Vienna, Austria)

Berlin Springer 2006

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

4
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

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

5
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

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

6
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings

International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany) Ralf Reussner; International Workshop on Software Quality (2nd 2005 Erfurt, Germany)

Berlin Springer New York c2005

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

7
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

International SPIN Workshop (11th 2004 Barcelona, Spain) Susanne Graf; Laurent Mounier

Berlin Springer New York c2004

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

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

Buscando em bases de dados remotas. Favor aguardar.