Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Construindo com bits: análise do processo de projeto assistido por computadorOliveira, Juliano Carlos Cecílio BatistaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 2007-11-19Acesso online |
|
2 |
Material Type: Livro
|
An introduction to discrete mathematics, formal system specification, and ZD. Ince (Darrel) D Ince (Darrel)Oxford Clarendon Press New York Oxford University Press 1992Localização: IME - Inst. Matemática e Estatística (QA752 I36i )(Acessar) |
|
3 |
Material Type: Livro
|
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo 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 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Dissertação de Mestrado
|
Informática na integração projeto-produção : processos construtivos flexíveisRufino, Iana Alexandra AlvesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 1996-09-13Acesso online |
|
5 |
Material Type: Livro
|
An introduction to discrete mathematics and formal system specificationD. Ince (Darrel)Oxford England Clarendon New York Oxford University Press 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68R01 I36i e.1 )(Acessar) |
|
6 |
Material Type: Livro
|
Journal on data semantics IVStefano Spaccapietra 1944 - Informatiker, Italien, Frankreich, Schweiz; Stefano Spaccapietra 1944 - Computer scientist, Italy, France, Switzerland; Stefano Spaccapietra 1944 - Informaticien, Italie, France, SuisseBerlin Springer 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3730 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo
|
The NuMI neutrino beamCoelho, João De Abreu Barbosa, 1984-; Escobar, Carlos Ourivio, 1948- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De CampinasCOELHO, 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.2016Acesso online |
|
8 |
Material Type: Livro
|
We Are Not Users: Dialogues, Diversity, and DesignSubrahmanian, Eswaran ; Reich, Yoram ; Krishnan, SruthiCambridge: The MIT Press 2020Texto completo disponível |
|
9 |
Material Type: Livro
|
Mobile technology for children: Designing for interaction and learningDruin, AllisonAmsterdam: Elsevier u.a 2009Texto completo disponível |
|
10 |
Material Type: Artigo
|
Addressing circular economy through design for X approaches: A systematic literature reviewSassanelli, Claudio ; Urbinati, Andrea ; Rosa, Paolo ; Chiaroni, Davide ; Terzi, SergioComputers in industry, 2020-09, Vol.120, p.103245, Article 103245 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |