skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Construindo com bits: análise do processo de projeto assistido por computador

Oliveira, Juliano Carlos Cecílio Batista

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 2007-11-19

Acesso online

2
An introduction to discrete mathematics, formal system specification, and Z
Material Type:
Livro
Adicionar ao Meu Espaço

An introduction to discrete mathematics, formal system specification, and Z

D. Ince (Darrel) D Ince (Darrel)

Oxford Clarendon Press New York Oxford University Press 1992

Localização: IME - Inst. Matemática e Estatística    (QA752 I36i )(Acessar)

3
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)

Berlin u.a. Springer 2010

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

4
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Informática na integração projeto-produção : processos construtivos flexíveis

Rufino, Iana Alexandra Alves

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 1996-09-13

Acesso online

5
An introduction to discrete mathematics and formal system specification
Material Type:
Livro
Adicionar ao Meu Espaço

An introduction to discrete mathematics and formal system specification

D. Ince (Darrel)

Oxford England Clarendon New York Oxford University Press 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68R01 I36i e.1 )(Acessar)

6
Journal on data semantics IV
Material Type:
Livro
Adicionar ao Meu Espaço

Journal on data semantics IV

Stefano Spaccapietra 1944 - Informatiker, Italien, Frankreich, Schweiz; Stefano Spaccapietra 1944 - Computer scientist, Italy, France, Switzerland; Stefano Spaccapietra 1944 - Informaticien, Italie, France, Suisse

Berlin Springer 2005

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

7
Material Type:
Artigo
Adicionar ao Meu Espaço

The NuMI neutrino beam

Coelho, João De Abreu Barbosa, 1984-; Escobar, Carlos Ourivio, 1948- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinas

COELHO, João de Abreu Barbosa; ESCOBAR, Carlos Ourivio. The NuMI neutrino beam. Nuclear instruments & methods in physics research. Section A, Accelerators spectrometers detectors and associated equipment. Amsterdam : Elsevier, 2016. Vol. 806 (Jan., 2016), p. 279-306. Disponível em: https://hdl.handle.net/20.500.12733/1666957. Acesso em: 16 nov. 2023.

2016

Acesso online

8
We Are Not Users: Dialogues, Diversity, and Design
Material Type:
Livro
Adicionar ao Meu Espaço

We Are Not Users: Dialogues, Diversity, and Design

Subrahmanian, Eswaran ; Reich, Yoram ; Krishnan, Sruthi

Cambridge: The MIT Press 2020

Texto completo disponível

9
Mobile technology for children: Designing for interaction and learning
Material Type:
Livro
Adicionar ao Meu Espaço

Mobile technology for children: Designing for interaction and learning

Druin, Allison

Amsterdam: Elsevier u.a 2009

Texto completo disponível

10
Addressing circular economy through design for X approaches: A systematic literature review
Material Type:
Artigo
Adicionar ao Meu Espaço

Addressing circular economy through design for X approaches: A systematic literature review

Sassanelli, Claudio ; Urbinati, Andrea ; Rosa, Paolo ; Chiaroni, Davide ; Terzi, Sergio

Computers in industry, 2020-09, Vol.120, p.103245, Article 103245 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

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 (216.240)
  2. Revistas revisadas por pares (128.981)
  3. Disponível na Biblioteca (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (129.030)
  2. Anais de Congresso  (74.238)
  3. Book Chapters  (4.527)
  4. Livros  (4.312)
  5. magazinearticle  (3.836)
  6. Resenhas  (124)
  7. Newsletter Articles  (78)
  8. Artigos de Jornal  (40)
  9. Reports  (20)
  10. Dissertações  (16)
  11. Verbetes  (8)
  12. Conjunto de Dados  (7)
  13. Web Resources  (4)
  14. Recursos Textuais  (3)
  15. Produções Acadêmicas  (2)
  16. Imagens  (1)
  17. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1969  (127)
  2. 1969Até1982  (1.257)
  3. 1983Até1996  (17.584)
  4. 1997Até2011  (98.336)
  5. Após 2011  (101.837)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (216.168)
  2. Japonês  (16.199)
  3. Chinês  (302)
  4. Português  (225)
  5. Espanhol  (222)
  6. Alemão  (178)
  7. Francês  (103)
  8. Norueguês  (24)
  9. Turco  (13)
  10. Russo  (10)
  11. Árabe  (9)
  12. Coreano  (7)
  13. Sueco  (4)
  14. Polonês  (3)
  15. Lituano  (2)
  16. Indeterminado  (2)
  17. Tcheco  (2)
  18. Italiano  (2)
  19. Galês  (2)
  20. Catalão  (1)
  21. Dinamarquês  (1)
  22. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Ince, D
  2. Aranha, Â
  3. Sant'Ana
  4. Lopes, A
  5. Bernardes, G

Buscando em bases de dados remotas. Favor aguardar.