Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Fuzzy logic and neuroFuzzy applications in business and financeConstantin Von AltrockUpper Saddle River, N.J. Prentice Hall PTR c1997Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (658.0564 V945f ) e outros locais(Acessar) |
|
12 |
Material Type: Livro
|
Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedingsFroCoS 2002 (2002 Santa Margherita Ligure, Italy) Alessandro ArmandoBerlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2309 ) e outros locais(Acessar) |
|
13 |
Material Type: Livro
|
Logic from computer science proceedings of a workshop held November 13-17, 1989Yiannis N MoschovakisNew York Springer-Verlag c1992Localização: IME - Inst. Matemática e Estatística (QA11.7.C M896L )(Acessar) |
|
14 |
Material Type: Livro
|
An object-oriented approach to programming logic and designJoyce FarrellBoston, MA. Course Technology-Cengage Learning c2011Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.424 F247o3 )(Acessar) |
|
15 |
Material Type: Livro
|
Logic of ComputationHelmut SchwichtenbergSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
|
16 |
Material Type: Livro
|
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)Berlin u.a. Springer 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
17 |
Material Type: Livro
|
Parallel logic programming in PARLOG the language and its implementationSteve GregoryWokingham, England Reading, Mass. Addison-Wesley Pub. Co. c1987Localização: EPBC - Esc. Politécnica-Bib Central (004.43 PARLOG G862p ) e outros locais(Acessar) |
|
18 |
Material Type: Livro
|
DLP a language for distributed logic programming : design, semantics, and implementationAnton EliënsChichester England New York Wiley c1992Localização: EPBC - Esc. Politécnica-Bib Central (004.424 EL43d )(Acessar) |
|
19 |
Material Type: Livro
|
Structures in logic and computer science a selection of essays in honor of A. EhrenfeuchtJan Mycielski 1932-; Grzegorz Rozenberg; Arto SalomaaBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1261 ) e outros locais(Acessar) |
|
20 |
Material Type: Livro
|
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedingsWorkshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-Berlin Springer-Verlag New York c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.329 ex.1 ) e outros locais(Acessar) |