skip to main content
Mostrar Somente
Refinado por: assunto: Congrès remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976
Material Type:
Livro
Adicionar ao Meu Espaço

ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976

Samelson, K Samelson, K.

Berlin, Heidelberg: Springer Berlin Heidelberg 1976

Texto completo disponível

2
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

3
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

4
Uncertainty in Knowledge-Based Systems: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, June 30 – July 4, 1986 Selected and Extended Contributions
Material Type:
Livro
Adicionar ao Meu Espaço

Uncertainty in Knowledge-Based Systems: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, June 30 – July 4, 1986 Selected and Extended Contributions

Bouchon, B ; Yager, R. R Bouchon, B. ; Yager, R. R.

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

5
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

6
Computer Security — ESORICS 96: 4th European Symposium on Research in Computer Security Rome, Italy, September 25–27, 1996 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Security — ESORICS 96: 4th European Symposium on Research in Computer Security Rome, Italy, September 25–27, 1996 Proceedings

Bertino, Elisa ; Kurth, Helmut ; Martella, Giancarlo ; Montolivo, Emilio Bertino, Elisa ; Kurth, Helmut ; Montolivo, Emilio ; Martella, Giancarlo

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

7
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

8
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

9
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

10
Evolutionary Computing: AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Evolutionary Computing: AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers

Fogarty, Terence C Fogarty, Terence C.

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.