skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: data de publicação: 1992Até2008 remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Protocols by Invariants
Protocols by Invariants
Protocols by Invariants
Material Type:
Livro 		Adicionar ao Meu Espaço

Protocols by Invariants

Anneke A. Schoone T. F Chan; A Gottlieb; R. M Karp; W. F McColl

Cambridge Cambridge University Press 1996

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

12
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

FORTE 2004 (2004 Toledo, Spain) Zakaria Maamar; Fernando L Pelayo; Key Pousttchi; Fernando Rubio; Manuel N u nez Profesor; The FormEMC (1st 2004 Toledo, Spain); EPEW (1st 2004 Toledo, Spain); ITM (1st 2004 Toledo, Spain)

Berlin Springer New York c2004

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

13
Advances in web-based learning ICWL 2005 : 4th international conference, Hong Kong, China, July 31-August 3, 2005 : proceedings
Advances in web-based learning ICWL 2005 : 4th international conference, Hong Kong, China, July 31-August 3, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in web-based learning ICWL 2005 : 4th international conference, Hong Kong, China, July 31-August 3, 2005 : proceedings

International Conference on Web-Based Learning (4th 2005 Hong Kong, China) Qing Li; Ronnie Cheung; Wenyin Liu; Rynson W. H Lau

Berlin Springer New York c2005

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

14
Formal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings
Formal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings

FORTE 2004 (2004 Madrid, Spain) David de Frutos-Escrig; Manuel Núñez Profesor; IFIP Working Group 6.1

Berlin Springer New York c2004

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

15
Human interactive proofs second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20 2005 : proceedings
Human interactive proofs second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Human interactive proofs second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20 2005 : proceedings

HIP 2005 (2005 Bethlehem, Pa.) Henry S Baird; Daniel Philip Lopresti

Berlin Springer New York c2005

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

16
Advances in web-based learning, ICWL 2004 third international conference, Beijing, China, August 8-11, 2004 proceedings
Advances in web-based learning, ICWL 2004 third international conference, Beijing, China, August 8-11, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in web-based learning, ICWL 2004 third international conference, Beijing, China, August 8-11, 2004 proceedings

International Conference on Web-Based Learning (3rd 2004 Beijing, China) Wenyin Liu; Yuanchun Shi 1967; Qing Li 1962

Berlin Springer New York 2004

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

17
Scenarios: Models, Transformations and Tools international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
Scenarios: Models, Transformations and Tools international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Scenarios: Models, Transformations and Tools international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Stefan Leue; Tarja Johanna Systä

Berlin Springer New York c2005

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

18
Service assurance with partial and intermittent resources First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6 2004 : proceedings
Service assurance with partial and intermittent resources First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Service assurance with partial and intermittent resources First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6 2004 : proceedings

SAPIR 2004 (2004 Fortaleza, Brazil) P Dini (Petre); Pascal Lorenz 1965; Jos e Neuman de Souza

Berlin Springer New York 2004

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

19
Radical-local teaching and learning a cultural-historical approach
Radical-local teaching and learning a cultural-historical approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Radical-local teaching and learning a cultural-historical approach

Mariane. Hedegaard Seth Chaiklin

Aarhus N ; Aarhus University Press, Oakville, CT c2005

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

20
Complex Networks
Complex Networks
Complex Networks
Material Type:
Livro 		Adicionar ao Meu Espaço

Complex Networks

Eli Ben-Naim

Springer Berlin Heidelberg 2004

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (108.877)
  2. Anais de Congresso  (100.742)
  3. magazinearticle  (54.342)
  4. Reports  (5.133)
  5. Livros  (3.866)
  6. Book Chapters  (3.771)
  7. Resenhas  (2.458)
  8. Newsletter Articles  (1.386)
  9. Artigos de Jornal  (1.013)
  10. Dissertações  (260)
  11. Verbetes  (220)
  12. Recursos Textuais  (45)
  13. Standards  (10)
  14. Web Resources  (6)
  15. Documentos Governamentais  (3)
  16. Conjunto de Dados  (3)
  17. Produções Acadêmicas  (1)
  18. Videos  (1)
  19. Newspapers  (1)
  20. Revistas  (1)
  21. Mais opções open sub menu

Assunto 

  1. Science & Technology  (146.297)
  2. Technology  (138.213)
  3. Computer Science  (125.060)
  4. Engineering  (65.280)
  5. Computer Networks  (61.572)
  6. Engineering, Electrical & Electronic  (56.776)
  7. Telecommunications  (49.562)
  8. Exact Sciences And Technology  (46.830)
  9. Applied Sciences  (42.843)
  10. Computer Science, Artificial Intelligence  (40.512)
  11. Computer Science, Information Systems  (39.073)
  12. Neural Networks  (38.431)
  13. Software  (33.090)
  14. Computer Science, Theory & Methods  (31.701)
  15. Computer Science, Hardware & Architecture  (24.627)
  16. Computer Science; Control Theory; Systems  (23.216)
  17. Internet  (21.736)
  18. Artificial Intelligence  (19.345)
  19. Networks  (18.494)
  20. Telecommunications And Information Theory  (18.237)
  21. Computer Security  (4.281)
  22. Electronic Commerce  (2.292)
  23. Computer Network Protocols  (1.200)
  24. Telecommunication  (876)
  25. Electronic Data Processing  (782)
  26. Datensicherung  (111)
  27. Telekommunikationsnetz  (97)
  28. Redes De Computadores  (68)
  29. Redes E Comunicação De Dados (Congressos)  (16)
  30. R Eseaux D'Ordinateurs  (15)
  31. Redes De Computadores  (14)
  32. R Eseaux D'ordinateurs  (11)
  33. R Eseau D'Ordinateurs  (10)
  34. Sistemas Distribuídos (Congressos)  (9)
  35. Computer Network Protocols  (8)
  36. Computer Security  (8)
  37. Computabilidade E Complexidade (Congressos)  (7)
  38. Criptologia (Congressos)  (7)
  39. Electronic Data Processing  (7)
  40. Recuperação Da Informação (Congressos)  (6)
  41. Redes E Comunicação De Dados (Segurança;Congressos)  (6)
  42. Telekommunikationsnetz  (6)
  43. Electronic Commerce  (6)
  44. Telecommunication  (6)
  45. Datensicherung  (5)
  46. Peer-To-Peer Architecture (Computer Networks)  (5)
  47. Dienstg Ute  (5)
  48. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (44)
  2. 1992Até1997  (60.249)
  3. 1998Até2003  (104.342)
  4. 2004Até2010  (121.043)
  5. Após 2010  (201)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (281.010)
  2. Japonês  (16.075)
  3. Alemão  (341)
  4. Chinês  (248)
  5. Francês  (156)
  6. Espanhol  (93)
  7. Catalão  (68)
  8. Português  (50)
  9. Sueco  (36)
  10. Turco  (26)
  11. Russo  (24)
  12. Coreano  (16)
  13. Norueguês  (9)
  14. Italiano  (9)
  15. Holandês  (9)
  16. Tcheco  (5)
  17. Dinamarquês  (5)
  18. Hebraico  (4)
  19. Indonésio  (3)
  20. Croatian  (3)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.