skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Finite difference computing with exponential decay models
Finite difference computing with exponential decay models
Material Type:
Livro 		Adicionar ao Meu Espaço

Finite difference computing with exponential decay models

Hans Petter Langtangen

Cham Springer 2016

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

12
Theoretical aspects of computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
Theoretical aspects of computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical aspects of computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

ICTAC 2004 (2004 Guiyang Shi, China) Keijir o Araki 1954; Zhiming Liu 1961; LINK (Online service); ICTAC 2004 (1st 2004 Guiyang, China)

Berlin Springer Great Britain c2005

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

13
Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 revised selected papers
Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 revised selected papers

TYPES 2003 (2003 Torino, Italy) Stefano Berardi; Mario Coppo; Ferruccio Damiani

Berlin Springer New York c2004

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

14
Unifying theories of programming first international symposium, UTP 2006, Walworth Castle, County Durham UK, February 5-7, 2006 : revised selected papers
Unifying theories of programming first international symposium, UTP 2006, Walworth Castle, County Durham UK, February 5-7, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Unifying theories of programming first international symposium, UTP 2006, Walworth Castle, County Durham UK, February 5-7, 2006 : revised selected papers

UTP 2006 (2006 Darlington, England) Steve Dunne Dr; Bill Stoddart 1946

Berlin Springer New York c2006

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

15
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings

International Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.) Frank Pfenning

Berlin Springer New York 2006

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

16
R programming and its applications in financial mathematics
R programming and its applications in financial mathematics
R programming and its applications in financial mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

R programming and its applications in financial mathematics

Shuichi Ohsaki Jori Ruppert-Felsot; Daisuke Yoshikawa

Boca Raton, FL CRC Press, Taylor & Francis Group 2018

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

17
Basic Programs for Chemical Engineers
Basic Programs for Chemical Engineers
Basic Programs for Chemical Engineers
Material Type:
Livro 		Adicionar ao Meu Espaço

Basic Programs for Chemical Engineers

Wright

Springer Netherlands 1986

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

18
26th Annual International Computer Software and Applications Conference proceedings : 26-29 August, 2002, Oxford, England
26th Annual International Computer Software and Applications Conference proceedings : 26-29 August, 2002, Oxford, England
Material Type:
Livro 		Adicionar ao Meu Espaço

26th Annual International Computer Software and Applications Conference proceedings : 26-29 August, 2002, Oxford, England

COMPSAC (26th 2002 Oxford, England) IEEE Computer Society

Los Alamitos, Calif. IEEE Computer Society Press 2002

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

19
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings

MPC 2004 (2004 (Stirling, Stirling, Scotland) Dexter Kozen 1951

Berlin Springer New York c2004

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

20
Programming languages and systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings
Programming languages and systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming languages and systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings

European Symposium on Programming (14th 2005 Edinburgh, UK) Mooly Sagiv

Berlin Springer New York c2005

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.   

Mostrar Somente

  1. Revistas revisadas por pares (136.518)
  2. Disponível na Biblioteca (205)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (165.293)
  2. Reports  (54.723)
  3. Anais de Congresso  (50.773)
  4. magazinearticle  (17.572)
  5. Book Chapters  (12.026)
  6. Livros  (9.591)
  7. Newsletter Articles  (2.925)
  8. Resenhas  (2.131)
  9. Outros  (888)
  10. Dissertações  (746)
  11. Verbetes  (608)
  12. Conjunto de Dados  (294)
  13. Videos  (139)
  14. Recursos Textuais  (127)
  15. Imagens  (116)
  16. Artigos de Jornal  (116)
  17. Standards  (31)
  18. Web Resources  (14)
  19. Software  (2)
  20. Produções Técnicas  (2)
  21. Revistas  (2)
  22. Mais opções open sub menu

Assunto 

  1. Science & Technology  (151.669)
  2. Computer Science  (148.591)
  3. Technology  (144.006)
  4. Engineering  (57.846)
  5. Algorithms  (50.490)
  6. Computer Programming  (49.153)
  7. Computer Programming And Software  (49.134)
  8. Programming Languages  (42.732)
  9. Computer Science, Software Engineering  (39.280)
  10. Computer Science, Theory & Methods  (38.556)
  11. Software  (37.863)
  12. Engineering, Electrical & Electronic  (37.497)
  13. Optimization  (32.220)
  14. Programming  (29.583)
  15. Exact Sciences And Technology  (29.560)
  16. Applied Sciences  (28.104)
  17. Linear Programming  (26.085)
  18. Software Engineering  (26.079)
  19. Computer Science, Information Systems  (25.041)
  20. Computer Science, Artificial Intelligence  (25.024)
  21. Logic Programming  (7.342)
  22. Linguagem De Programação  (44)
  23. Linguagem De Programação  (34)
  24. Técnicas De Programação (Congressos)  (26)
  25. R (Computer Program Language)  (26)
  26. Programming Languages (Electronic Computers)  (18)
  27. Object-Oriented Programming (Computer Science)  (17)
  28. R (Software Estatístico)  (16)
  29. Inteligência Artificial (Congressos)  (16)
  30. Constraint Programming (Computer Science)  (12)
  31. Software Estatístico Para Microcomputadores  (12)
  32. Evolutionary Programming (Computer Science)  (11)
  33. Técnicas De Programação  (11)
  34. Parallel Programming (Computer Science)  (11)
  35. Engenharia De Programas  (11)
  36. Estatística Computacional  (11)
  37. Metodologia E Técnicas De Computação  (10)
  38. Programação Orientada A Objetos  (9)
  39. Compilers (Computer Programs)  (9)
  40. Programmation (Informatique)  (9)
  41. Programação Orientada A Objetos  (9)
  42. Logic Programming  (8)
  43. Técnicas De Programação  (6)
  44. Software Estatístico Para Microcomputadores  (5)
  45. Estatística Computacional  (3)
  46. Metodologia E Técnicas De Computação  (1)
  47. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (622)
  2. 1961Até1976  (17.752)
  3. 1977Até1992  (39.221)
  4. 1993Até2009  (111.733)
  5. Após 2009  (153.599)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (315.594)
  2. Japonês  (9.976)
  3. Alemão  (1.663)
  4. Espanhol  (443)
  5. Português  (271)
  6. Catalão  (179)
  7. Francês  (134)
  8. Chinês  (111)
  9. Russo  (50)
  10. Norueguês  (38)
  11. Italiano  (29)
  12. Turco  (25)
  13. Ucraniano  (16)
  14. Tcheco  (15)
  15. Polonês  (11)
  16. Húngaro  (9)
  17. Árabe  (8)
  18. Croatian  (8)
  19. Eslovaco  (6)
  20. Holandês  (5)
  21. Indeterminado  (1)
  22. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Gentleman, R
  2. Hornik, K
  3. LINK (Online service)
  4. PArmigiani, G
  5. ebrary, I

Neste Assunto:

  1. Science & Technology
  2. Computer Science
  3. Technology
  4. Engineering
  5. Algorithms

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

Buscando em bases de dados remotas. Favor aguardar.