Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Desenvolvimento de um software para armazenamento e exploração de dados genômicosDamasceno, Jullian GabrielBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Medicina 2022-09-26Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Dissertação de Mestrado
|
Desenvolvimento de um programa computacional para avaliação postural de código aberto e gratuitoNoriega, Carlos Enrique LópezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Psicologia 2012-04-16Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
World wide web: forma aparente e forma oculta: webdesign da interface ao códigoStolfi, Ariane De SouzaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Arquitetura e Urbanismo 2010-05-21Acesso online |
|
4 |
Material Type: Dissertação de Mestrado
|
Proposta de linguagem geradora de imagens em impressoras de páginaStefani, Mario AntonioBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física e Química de São Carlos 1990-08-16Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Formal languages and their relation to automataJohn E. Hopcroft 1939- Jeffrey D Ullman 1942-Reading, Mass. Addison-Wesley Pub. Co 1969Localização: EPBC - Esc. Politécnica-Bib Central (418 H77f ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Computational semantics with functional programmingJan Eijck Christina Unger; Jan van Eijck Christina UngerLeiden Cambridge University Press 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Norma Técnica
|
ISO 8879 information processing - text and office systems - standard generalized markup language (SGML) = traitement de l´information - systemes bureautiques - langage standard generalise de balisage (SGML)International Organization for StandardizationGeneve ISO 1986Localização: EPBC - Esc. Politécnica-Bib Central (RN ISO 8879 am )(Acessar) |
|
8 |
Material Type: Livro
|
Introduction to formal language theoryMichael A. HarrisonReading, Mass. Addison-Wesley Pub. Co. c1978Localização: EPBC - Esc. Politécnica-Bib Central (418 H247i ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedingsLPAR (8th 2001 Havana, Cuba) Robert Nieuwenhuis; A Voronkov 1959- (Andreæi)Berlin Springer 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2250 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedingsLeo Bachmair; International Conference on Rewriting Techniques and Applications (11th 2000 Norwich, England)Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1833 ) e outros locais(Acessar) |