skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Lecture Notes in Computer Science eBooks remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Devitt, Simon ; Lanese, Ivan Lanese, Ivan ; Devitt, Simon ; Lanese, Ivan ; Devitt, Simon

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
2
Handheld and Ubiquitous Computing: Second International Symposium, HUC 2000 Bristol, UK, September 25-27, 2000 Proceedings
Handheld and Ubiquitous Computing: Second International Symposium, HUC 2000 Bristol, UK, September 25-27, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Handheld and Ubiquitous Computing: Second International Symposium, HUC 2000 Bristol, UK, September 25-27, 2000 Proceedings

Thomas, Peter ; Gellersen, Hans-W Gellersen, Hans-W. ; Thomas, Peter

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
3
Advances in Cryptology - EUROCRYPT '90: Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990. Proceedings
Advances in Cryptology - EUROCRYPT '90: Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Cryptology - EUROCRYPT '90: Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990. Proceedings

Damgard, Ivan B Damgård, Ivan Bjerre

Berlin, Heidelberg: Springer Berlin / Heidelberg 1991

Texto completo disponível

Citações Citado por
4
Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings
Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings

Knuth, Elöd ; Neuhold, Erich J Knuth, Elöd ; Neuhold, Erich J.

Berlin, Heidelberg: Springer Berlin Heidelberg 1983

Texto completo disponível

Citações Citado por
5
Computers Helping People with Special Needs: 8th International Conference, ICCHP 2002 Linz, Austria, July 15–20, 2002 Proceedings
Computers Helping People with Special Needs: 8th International Conference, ICCHP 2002 Linz, Austria, July 15–20, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computers Helping People with Special Needs: 8th International Conference, ICCHP 2002 Linz, Austria, July 15–20, 2002 Proceedings

Miesenberger, Klaus ; Klaus, Joachim ; Zagler, Wolfgang Zagler, Wolfgang ; Klaus, Joachim ; Miesenberger, Klaus

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
6
Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings
Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

Hughes, John Hughes, John

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
7
Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings
Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Grumberg, Orna Grumberg, Orna

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
8
Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings
Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings

Cachin, Christian ; Camenisch, Jan Cachin, Christian ; Camenisch, Jan L.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
9
Artificial Immune Systems: Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings
Artificial Immune Systems: Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial Immune Systems: Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings

Nicosia, Giuseppe ; Cutello, Vincenzo ; Bentley, Peter John ; Timmis, Jonathan Ian Timmis, Jon ; Bentley, Peter J. ; Nicosia, Giuseppe ; Cutello, Vincenzo

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
10
Computer Aided Systems Theory — EUROCAST '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15–19 1991 Proceedings
Computer Aided Systems Theory — EUROCAST '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15–19 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Systems Theory — EUROCAST '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15–19 1991 Proceedings

Pichler, Franz ; Díaz, Roberto Moreno Pichler, Franz ; Díaz, Roberto Moreno

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (350)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.033)
  2. Anais de Congresso  (4)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1983  (16)
  2. 1983Até1991  (40)
  3. 1992Até2000  (155)
  4. 2001Até2012  (604)
  5. Após 2012  (525)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.036)
  2. Francês  (2)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.