Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Evaluating natural language processing systems an analysis and reviewKaren Sparck Jones 1935- Julia Rose GalliersBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1083 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Theory of AutomataArto Salomaa J. P Kahane; I. N Sneddon; M StarkPergamon 1969Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Rewriting techniques and applications proceedings [of the] 7th international conference, rta-96, new brunswick, nj, usa, july 27-30, 1996International Conference on Rewriting Techniques and Applications (7. 1996 New Brunswick, Us) Harald GanzingerBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1103 e.1 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Graph grammars and their application to computer science selected papers [of the] 5th international workshop, held in Williamsburg, VA, USA, november 13-18, 1994International Workshop on Graph-Grammars and Their Applications To Computer Science (5. 1994 Williamsburg, Us) Janice Cuny; Hartmut Ehrig; Gregor Engels; Grzegorz RozenbergBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1073 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Automata, languages and programming proceedingsColloquium on Automata, Languages and Programming (22. 1995 Szeged) Zoltan Fulop; F GecsegGOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.944 e.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (6. 1995 Kaiserslautern) Jieh HsiangBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.914 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Compiler construction proceedings [of the] 6th international conference, cc'96, held in linkoping, Sweden, april 24-26, 1996Workshop on Compilers (6. 1996 Linkoping, Se) Tibor Gyimothy; International Workshop on Compiler Construction (6. 1996 Linkoping, Sw)Berlin Springer 1996Localização: EPBC - Esc. Politécnica-Bib Central (004.272 In8c 6. ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedingsWorkshop on Computer Science Logic (13th 1999 Madrid, Spain) Jörg Flum; M Rodríguez Artalejo (Mario); European Association for Computer Science Logic Conference Madrid, Spain) 1999Berlin New York Springer c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1683 e.1 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Networked group communication First International COST 264 Workshop, NGC'99 Pisa, Italy, November 17-20, 1999 ; proceedingsInternational Workshop on Networked Group Communication (1st 1999 Pisa, Italy) Luigi Rizzo 1962-; Serge Fdida 1959-Berlin Springer London c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1736 e.1 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Typed lambda calculi and applications 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedingsInternational Conference on Typed Lambda Calculi and Applications (5th 2001 Kraków, Poland) Samson Abramsky 1953-Berlin Springer New York 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2044 ) e outros locais(Acessar) |