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
Resultados 1 2 3 4 5 next page
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Quantitative Evaluation of Computing and Communication Systems
Quantitative Evaluation of Computing and Communication Systems
Quantitative Evaluation of Computing and Communication Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Quantitative Evaluation of Computing and Communication Systems

International Conference on Modelling Techniques and Tools for Computer Performance and Evaluation Falko Bause; Heinz Beilner

Springer Berlin Heidelberg 1995

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

2
Dynamic Secrets in Communication Security
Dynamic Secrets in Communication Security
Dynamic Secrets in Communication Security
Material Type:
Livro 		Adicionar ao Meu Espaço

Dynamic Secrets in Communication Security

Sheng Xiao Xiao; Weibo Gong; Don Towsley

Springer New York 2014

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

3
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (5th 2005 Bertinoro, Italy) Marco Bernardo; Alessandro Bogliolo

Berlin Springer New York 2005

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

4
Intelligence in Communication Systems IFIP International Conference, INTELLCOMM 2004, Bangkok, Thailand November 23-26, 2004 : proceedings
Intelligence in Communication Systems IFIP International Conference, INTELLCOMM 2004, Bangkok, Thailand November 23-26, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Intelligence in Communication Systems IFIP International Conference, INTELLCOMM 2004, Bangkok, Thailand November 23-26, 2004 : proceedings

IFIP International Conference on Intelligence in Communication Systems (2004 Bangkok, Thailand) Finn Arve Aagesen; Chutiporn Anutariya; Vilas Wuwongse

Berlin Springer c2004

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

5
Structural information and communication complexity 11th international colloquium, SIROCCO 2004, Smolenice Castle, Slowakia June 21-23, 2004 : proceedings
Structural information and communication complexity 11th international colloquium, SIROCCO 2004, Smolenice Castle, Slowakia June 21-23, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Structural information and communication complexity 11th international colloquium, SIROCCO 2004, Smolenice Castle, Slowakia June 21-23, 2004 : proceedings

Colloquium on Structural Information and Communication Complexity (11th 2004 Smolenice, Slovakia) Rastislav Kr alovi c; Ondrej S ykora

Berlin Springer New York c2004

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

6
Advances in agent communication International Workshop on Agent Communication Languages, ACL 2003 Melbourne, Australia, July 14, 2003 : revised and invited papers
Advances in agent communication International Workshop on Agent Communication Languages, ACL 2003 Melbourne, Australia, July 14, 2003 : revised and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in agent communication International Workshop on Agent Communication Languages, ACL 2003 Melbourne, Australia, July 14, 2003 : revised and invited papers

International Workshop on Agent Communication Languages (2003 Melbourne, Vic.) Frank Dignum 1961

Berlin Springer New York c2004

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

7
Agent communication International Workshop on Agent Communication, AC 2004, New York, NY USA, July 19, 2004 : revised, selected and invited papers
Agent communication International Workshop on Agent Communication, AC 2004, New York, NY USA, July 19, 2004 : revised, selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Agent communication International Workshop on Agent Communication, AC 2004, New York, NY USA, July 19, 2004 : revised, selected and invited papers

International Workshop on Agent Communication Rogier M. van Eijk; Marc-Philippe Huget; Frank Dignum 1961

Berlin Springer New York c2005

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

8
Autonomic communication first international IFIP workshop, WAC 2004, Berlin, Germany, October 18-19, 2004 : revised selected papers
Autonomic communication first international IFIP workshop, WAC 2004, Berlin, Germany, October 18-19, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Autonomic communication first international IFIP workshop, WAC 2004, Berlin, Germany, October 18-19, 2004 : revised selected papers

WAC 2004 (2004 Berlin, Germany) Mikhail I Smirnov; International Federation for Information Processing

Berlin Springer New York c2005

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

9
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio Corradini

Berlin Springer New York c2004

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

10
A formal system for quantum communication environments
A formal system for quantum communication environments
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A formal system for quantum communication environments

Anderson de Araujo Marcelo Finger; Congresso da Sociedade Brasileira de Computação (31. 2011 Natal, RN); Encontro Nacional de Inteligência Artificial - ENIA (8. 2011 Natal, RN)

Anais Porto Alegre : SBC, 2011

Porto Alegre SBC 2011

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (52)
  2. Artigos  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1996  (3)
  2. 1996Até2003  (3)
  3. 2004Até2007  (35)
  4. 2008Até2011  (10)
  5. Após 2011  (5)
  6. Mais opções open sub menu

Nome da Publicação 

  1. Proceedings  (2)
  2. Anais  (1)
  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.