skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1709 e.1 ) e outros locais(Acessar)

2
Dependable Computing for Critical Applications 3
Dependable Computing for Critical Applications 3
Dependable Computing for Critical Applications 3
Material Type:
Livro 		Adicionar ao Meu Espaço

Dependable Computing for Critical Applications 3

A. Kopetz, H. Laprie, J. C. Avižienis H Kopetz; J. C Laprie; Brian Randell; Luca Simoncini

Springer Vienna 1993

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

3
Dependable Computing for Critical Applications 4
Dependable Computing for Critical Applications 4
Dependable Computing for Critical Applications 4
Material Type:
Livro 		Adicionar ao Meu Espaço

Dependable Computing for Critical Applications 4

A. Kopetz, H. Laprie, J. C. Avižienis H Kopetz; J. C Laprie; Gerard LeLann; Teresa Lunt

Springer Vienna 1995

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

4
Linux rapid application development
Linux rapid application development
Material Type:
Livro 		Adicionar ao Meu Espaço

Linux rapid application development

Cameron Hughes 1960- Tracey Hughes

Foster City, CA M&T Books c2000

Localização: EPBC - Esc. Politécnica-Bib Central    (004.451 LINUX H874L )(Acessar)

5
Spring a developer's notebook
Spring a developer's notebook
Material Type:
Livro 		Adicionar ao Meu Espaço

Spring a developer's notebook

Bruce Tate 1965- Justin Gehtland; Michael Kosta Loukides

Beijing O'Reilly Sebastopol, CA c2005

Localização: IME - Inst. Matemática e Estatística    (QA724.12 T216s )(Acessar)

6
Oracle designer a template for developing an enterprise standards document
Oracle designer a template for developing an enterprise standards document
Material Type:
Livro 		Adicionar ao Meu Espaço

Oracle designer a template for developing an enterprise standards document

Mark A. Kramm Kent Graziano 1960-

Upper Saddle River, N.J. Prentice Hall PTR c2000

Localização: IME - Inst. Matemática e Estatística    (CD QA772.45 K85o )(Acessar)

7
Fuzzy logic and control software and hardware applications
Fuzzy logic and control software and hardware applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Fuzzy logic and control software and hardware applications

Mohammad Jamshidi; Nader Vadiee; Timothy J Ross

Englewood Cliffs, N.J. PTR Prentice Hall c1993

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (681.51 F9899 ) e outros locais(Acessar)

8
IPv6 Network Programming
IPv6 Network Programming
IPv6 Network Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

IPv6 Network Programming

Jun-ichiro itojun Hagino

Burlington Digital Press 2005

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

9
Applications development using CASE tools
Applications development using CASE tools
Material Type:
Livro 		Adicionar ao Meu Espaço

Applications development using CASE tools

Ken S. Brathwaite

San Diego Academic Press c1990

Localização: EPBC - Esc. Politécnica-Bib Central    (004.4 B737a ) e outros locais(Acessar)

10
Directory of applications software of the United Nations system
Directory of applications software of the United Nations system
Material Type:
Livro 		Adicionar ao Meu Espaço

Directory of applications software of the United Nations system

United Nations Advisory Committee for the Co-ordination of Information Systems

New York United Nations 1990

Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto    (R681.3.06 U58d )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (319.713)
  2. Revistas revisadas por pares (163.532)
  3. Disponível na Biblioteca (157)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (177.733)
  2. Anais de Congresso  (110.808)
  3. magazinearticle  (48.515)
  4. Artigos de Jornal  (11.816)
  5. Newsletter Articles  (9.222)
  6. Livros  (7.745)
  7. Book Chapters  (7.684)
  8. Reports  (3.778)
  9. Dissertações  (1.949)
  10. Resenhas  (1.450)
  11. Recursos Textuais  (634)
  12. Verbetes  (260)
  13. Conjunto de Dados  (206)
  14. Web Resources  (54)
  15. Standards  (25)
  16. Produções Acadêmicas  (21)
  17. Videos  (21)
  18. Imagens  (18)
  19. Outros  (10)
  20. Patentes  (2)
  21. Documentos Governamentais  (1)
  22. Mais opções open sub menu

Assunto 

  1. Science & Technology  (216.445)
  2. Technology  (203.267)
  3. Computer Science  (194.181)
  4. Software  (118.848)
  5. Computer Science, Interdisciplinary Applications  (92.841)
  6. Computer Science, Software Engineering  (91.646)
  7. Application Software  (81.432)
  8. Engineering  (78.061)
  9. Engineering, Electrical & Electronic  (51.801)
  10. Computer Science, Theory & Methods  (50.991)
  11. Computer Science, Information Systems  (48.025)
  12. Physical Sciences  (43.604)
  13. Technology Application  (42.291)
  14. Mathematics  (35.558)
  15. Life Sciences & Biomedicine  (34.650)
  16. Computer Software Industry  (33.328)
  17. Algorithms  (33.164)
  18. Exact Sciences And Technology  (31.485)
  19. Applied Sciences  (27.262)
  20. Computer Science, Artificial Intelligence  (25.108)
  21. Internet  (16.680)
  22. Computer Networks  (10.663)
  23. Java  (5.469)
  24. World Wide Web  (2.935)
  25. Electronic Data Processing  (2.574)
  26. Web Site Development  (136)
  27. Engenharia De Software  (26)
  28. Application Program Interfaces (Computer Software)  (17)
  29. Redes De Computadores  (16)
  30. Internet  (15)
  31. Desenvolvimento De Software  (14)
  32. Web Site Development  (14)
  33. Sistemas Distribuídos  (13)
  34. Linguagem De Programação  (13)
  35. Linguagem De Programação  (12)
  36. Java (Computer Program Language)  (12)
  37. Java  (11)
  38. Electronic Data Processing  (11)
  39. Redes De Computadores  (10)
  40. Softwares  (10)
  41. Softwares (Aplicações)  (9)
  42. Computer Networks  (9)
  43. World Wide Web  (9)
  44. Técnicas De Programação  (8)
  45. Computação Móvel  (8)
  46. Recuperação Da Informação  (8)
  47. Softwares  (7)
  48. Recuperação Da Informação  (7)
  49. Engenharia De Software  (6)
  50. Protocolos De Comunicação  (6)
  51. Desenvolvimento De Software  (3)
  52. Sistemas Distribuídos  (3)
  53. Protocolos De Comunicação  (1)
  54. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1959  (154)
  2. 1959Até1974  (1.705)
  3. 1975Até1990  (19.376)
  4. 1991Até2007  (150.058)
  5. Após 2007  (214.275)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (378.357)
  2. Japonês  (25.933)
  3. Espanhol  (1.080)
  4. Catalão  (951)
  5. Alemão  (849)
  6. Ndongo  (612)
  7. Português  (392)
  8. Francês  (307)
  9. Chinês  (245)
  10. Russo  (124)
  11. Tcheco  (95)
  12. Italiano  (75)
  13. Polonês  (43)
  14. Norueguês  (42)
  15. Serbian  (36)
  16. Dinamarquês  (36)
  17. Sueco  (29)
  18. Turco  (23)
  19. Letão  (15)
  20. Coreano  (15)
  21. Indeterminado  (2)
  22. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.