Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Online access. The library also has physical copies. |
|
2 |
Material Type: Book
|
Problem solving methods understanding, description, development, and reuseDieter FenselBerlin New York Springer c2000Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1791 ) and other locations(GetIt) |
|
3 |
Material Type: Book
|
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 2000Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1756 ) and other locations(GetIt) |
|
4 |
Material Type: Book
|
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 1999Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1616 e.1 )(GetIt) |
|
5 |
Material Type: Book
|
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 c2001Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2176 ) and other locations(GetIt) |
|
6 |
Material Type: Book
|
Intelligent systems and soft computing prospects, tools and applicationsBenham Azvine; Nader Azarmi; Detlef NauckBerlin New York Springer c2000Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1804 ) and other locations(GetIt) |
|
7 |
Material Type: Book
|
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 c2001Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2192 ) and other locations(GetIt) |
|
8 |
Material Type: Book
|
Verification and validation of rule-based expert systemsSuzanne Smith 1953- Abraham KandelBoca Raton, Fla. CRC Press c1993Available at EPBC - Esc. Politécnica-Bib Central (004.891 Sm65v )(GetIt) |
|
9 |
Material Type: Book
|
Rule-based expert systems the MYCIN experiments of the Stanford Heuristic Programming ProjectBruce G Buchanan; Edward Hance ShortliffeReading, Mass. Addison-Wesley c1984Available at EERP - Esc. Enfermagem Ribeirão Preto (681.3.06 B918r ) and other locations(GetIt) |
|
10 |
Material Type: Book
|
Expert system applications in power systemsTharam S Dillon; Michael A LaughtonNew York Prentice-Hall 1990Available at EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.891 D587e e.2 )(GetIt) |