1
|
Material Type: Relatório Técnico
|
|
Viabilidade técnica de abertura monopolar permanente em linhas de transmissão extra alta tensão
F A T Silva José Antonio Jardini 1941-
São Paulo EPUSP 1999
Item não circula. Consulte sua biblioteca.(Acessar)
|
2
|
Material Type: Projeto
|
|
Residência Marlene Yurgel: projeto estrutural
Silva, Fernando A. C.; Machado, Pedro L. Brito
1990
Item não circula. Consulte sua biblioteca.(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
Towards a logic of perishable propositions
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2001
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 2001 v.12 e.1 ) e outros locais(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Arguments in favor of a controlled plurality of office formating standards
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2007
Localização:
IME - Inst. Matemática e Estatística
(RT-MAC 2007 v.7 ) e outros locais(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
A two-sorted interpretation for annotated logic
Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim
São Paulo IME-USP 1998
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1998 v.01 e.1 ) e outros locais(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
A system for reasoning with fuzzy predicates
Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim
São Paulo IME-USP 1994
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1994 v.13 e.1 ) e outros locais(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
Ferramentas e diretrizes para a gestão da logística no processo de produção de edifícios
Fred Borges da Silva Francisco Ferreira Cardoso 1957-
São Paulo EPUSP 2000
Item não circula. Consulte sua biblioteca.(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
A formal model for the fifth discipline
Lourival Paulino da Silva Flávio Soares Corrêa da Silva
São Paulo IME-USP 2003
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 2003 v.09 e.1 )(Acessar)
|
9
|
Material Type: Relatório Técnico
|
|
A formal model for the fifth discipline
Lourival Paulino da Silva Flávio Soares Corrêa da Silva
São Paulo IME-USP 2003
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 2003 v.09 e.1 )(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
A formal semantics for the JamSession coordination platform
Mirtha Lina Fernández Venero Flávio Soares Corrêa da Silva
São Paulo IME-USP 2012
Localização:
IME - Inst. Matemática e Estatística
(RT-MAC 2012 v.5 )(Acessar)
|