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
|
![]() |
SEKE 2011 the 23rd International Conference on Software Engineering & Knowledge Engineering, technical program, July 7-9, 2011, Eden Roc Renaissance, Miami Beach, Florida, USA, proceedingsInternational Conference on Software Engineering and Knowledge Engineering (23rd 2011 Miami, Fla.) Knowledge Systems Institute Graduate SchoolSkokie, IL Knowledge Systems Institute Graduate School c2011Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 I61sk 2011 e.1 CD-ROM )(Acessar) |