Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Program constructionR.G. Cooke, D.J. Stone D. J Cooke; R. G StoneCambridge University Press 1987Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo de Congresso
|
Analysis and characterization of ecological bricks and other civil construction applications made with mining wasteJoel Augusto Moura Porto Mylena Junqueira Pinto Brito; Maria Inês Basso Bernardi; Simpósio em Ciência e Engenharia de Materiais - SICEM (23. 2021 São Carlos)Livro de resumos São Carlos : Universidade de São Paulo - USP, Escola de Engenharia de São Carlos - EESCSão Carlos Universidade de São Paulo - USP, Escola de Engenharia de São Carlos - EESC 2021Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
Construction of new solutions of the electro-vacuum Einstein equationCosta Filho, Etevaldo Dos SantosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 2020-12-17Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Mathematics of program construction proceedingsConference on Mathematics of Program Construction (3. 1995 Kloster Irsee, De) Bernhard MollerGOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.947 e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedingsInternational Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden) Johan Jeuring 1965-Berlin Springer Verlag New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1422 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
A design and construction handbook for energy-saving housesAlex WadeEmmaus, Pa. Rodale Press c1980Localização: IFSC - Inst. Física de São Carlos (H728.3 W116d )(Acessar) |
|
7 |
Material Type: Livro
|
Tools and algorithms for the construction and analysis of systemsInternational Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'96, 2 1996 Passau Tiziana Margaria; Bernhard SteffenGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1996Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1055 )(Acessar) |
|
8 |
Material Type: Livro
|
Tools and algorithms for the construction and analysis of systemsInternational Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'97, 3 1997 Enschede E BrinksmaGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1217 )(Acessar) |
|
9 |
Material Type: Livro
|
Compiler constructionInternational Conference on Compiler Construction,9,CC 2000 2000 Berlin David A Watt; European Joint Conferences on Theory and Practiceof Software, ETAPS 2000Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c2000Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1781 )(Acessar) |
|
10 |
Material Type: Livro
|
Building scientific apparatus a practical guide to design and constructionJohn H. Moore 1941- Christopher C Davis 1944-; Michael A Coplan 1938-London Reading, Mass. Addison-Wesley, Advanced Book Program/World Science Division 1983Localização: IFSC - Inst. Física de São Carlos (530.7 M822b )(Acessar) |