skip to main content
Idioma:
Refinado por: assunto: Kongress remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)

Berlin u.a. Springer 2010

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

2
Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings

Asian Computing Science Conference (9th 2004 Chiang Mai, Thailand) Michael Maher 1959-; Jean-Louis Lassez

Berlin Springer-Verlag New York c2004

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

3
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Gunter, Elsa L ; Felty, Amy Gunter, Elsa L. ; Felty, Amy

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
4
Computer Security — ESORICS 98: 5th European Symposium on Research in Computer Security Louvain-la-Neuve, Belgium September 16–18, 1998 Proceedings
Computer Security — ESORICS 98: 5th European Symposium on Research in Computer Security Louvain-la-Neuve, Belgium September 16–18, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Security — ESORICS 98: 5th European Symposium on Research in Computer Security Louvain-la-Neuve, Belgium September 16–18, 1998 Proceedings

Quisquater, Jean-Jacques ; Deswarte, Yves ; Meadows, Catherine ; Gollmann, Dieter Deswarte, Yves ; Meadows, Catherine ; Gollmann, Dieter ; Quisquater, Jean-Jacques

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
5
ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings
ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings

Nichols, Howard ; Simpson, Dan Simpson, Dan ; Nichols, Howard

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

Citações Citado por
6
Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978
Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978

Winkowski, J Winkowski, J.

Berlin, Heidelberg: Springer Berlin Heidelberg 1978

Texto completo disponível

Citações Citado por
7
Computer Safety, Reliability and Security: 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings
Computer Safety, Reliability and Security: 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Safety, Reliability and Security: 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

Ehrenberger, Wolfgang Ehrenberger, Wolfgang

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Citações Citado por
8
Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings
Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings

Pandu Rangan, C ; Raman, V ; Ramanujam, R Ramanujam, R. ; Raman, V. ; Rangan, C. Pandu

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
9
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings

Fossorier, Marc ; Imai, Hideki ; Lin, Shu ; Poli, Alain Lin, Shu ; Poli, Alain ; Fossorier, Marc ; Imai, Hideki

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
10
Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 Proceedings
Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 Proceedings

Wallis, Peter J. L Wallis, Peter J. L.

Berlin, Heidelberg: Springer Berlin Heidelberg 1984

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1987  (2)
  2. 1987Até1997  (2)
  3. 1998Até2002  (4)
  4. 2003Até2005  (5)
  5. Após 2005  (2)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Lassez, J
  2. Sampaio, A
  3. Borba, P
  4. Asian Computing Science Conference
  5. PSSE

Neste Assunto:

  1. Kongress
  2. Computer Science
  3. Kongress
  4. Ciencia Da Computacao Ou Informatica
  5. Congrès

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

Buscando em bases de dados remotas. Favor aguardar.