Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Problem solving methods understanding, description, development, and reuseDieter FenselBerlin New York Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1791 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Learning software organizations methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedingsInternational Conference on Software Engineering and Knowledge Engineering (11th 1999 Kaiserslautern, Germany) Günther Ruhe; Frank BomariusBerlin New York Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1756 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Meta-level architectures and reflection Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedingsReflection'99 (1999 Saint-Malo, France) Pierre Cointe 1954-Berlin Springer New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1616 e.1 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Advances in learning software organizations third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedingsLSO 2001 (2001 Kaiserslautern, Germany) Klaus-Dieter Althoff; Raimund L Feldmann 1961-; Wolfgang Müller 1961-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2176 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Intelligent systems and soft computing prospects, tools and applicationsBenham Azvine; Nader Azarmi; Detlef NauckBerlin New York Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1804 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Metalevel architectures and separation of crosscutting concerns third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedingsReflection 2001 (2001 Kyoto, Japan) Akinori Yonezawa; Satoshi MatsuokaBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2192 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Verification and validation of rule-based expert systemsSuzanne Smith 1953- Abraham KandelBoca Raton, Fla. CRC Press c1993Localização: EPBC - Esc. Politécnica-Bib Central (004.891 Sm65v )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Rule-based expert systems the MYCIN experiments of the Stanford Heuristic Programming ProjectBruce G Buchanan; Edward Hance ShortliffeReading, Mass. Addison-Wesley c1984Localização: EERP - Esc. Enfermagem Ribeirão Preto (681.3.06 B918r ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Expert system applications in power systemsTharam S Dillon; Michael A LaughtonNew York Prentice-Hall 1990Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.891 D587e e.2 )(Acessar) |