Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Linguagens formais e autômatosJoão Luís Garcia RosaRio de Janeiro LTC 2010Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3 R788L 34110 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Applied combinatorics on wordsM. LothaireCambridge University Press 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Conditional and typed rewriting systems proceedingsInternational Workshop on Conditional Term Rewriting Systems, 2., Montreal, 1990 Stephane KaplanBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.516 e.1 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Conditional term rewriting systems proceedingsInternational Workshop on Conditional Term Rewriting Systems, 1., Orsay, 1987 Jean-Pierre JouannaudBerlin Springer 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.308 ex.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Conditional and typed rewriting systems proceedingsInternational Workshop on Conditional Term Rewriting Systems (4. 1994 Jerusalem, Il) Nachum Dershowitz; Naomi LindenstraussBerlin Springner 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.968 e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Natural language processing - NLP 2000 Second International Conference, Patras, Greece, June 2-4, 2000 : proceedingsInternational Conference on Natural Language Processing (2nd 2000 Patras, Greece) Dimitrios ChristodoulakisBerlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1835 )(Acessar) |
|
7 |
Material Type: Livro
|
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedingsCSL 2001 (2001 Paris, France) Laurent Fribourg 1957-; European Association for Computer Science LogicLondon Springer Berlin 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2142 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Advances in computing science - ASIAN 2000 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedingsAsian Computing Science Conference (6th 2000 Penang, Malaysia) Jifeng He 1943-; Masahiko Sato 1947-Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1961 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Brains, machines, and mathematicsMichael A. Arbib (Michael Anthony)New York McGraw-Hill c1964Localização: ICMC - Inst. Ciên. Mat. Computação (68T01 A664b e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Applications of fuzzy sets to systems analysisC. V. Negoi÷tæa (Constantin Virgil) D. A RalescuBasel Birkhäuser Verlag 1975Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 N384a e.1 ) e outros locais(Acessar) |