Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Computer science teacher's commentaryAlexandra I Forsythe; Thomas A KeenanNew York John Wiley 19-?Localização: ICMC - Inst. Ciên. Mat. Computação (68P05.01 F735ct e.1 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
A study in string processing languagesPaul KlintBerlin New York Springer-Verlag c1985Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.205 ex.1 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Visual Languages and ApplicationsIchikawa Erland Jungert; Robert R KorfhageSpringer US 1990Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Expert systems principles and programmingJoseph C Giarratano Gary Riley 1962Australia Thomson Course Technology, c2005 Boston, Mass 2005Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3 G435e4 25059 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Computer aided verification 10th International Conference, CAV'98, Vancouver, BC, Canadá, june 28 - july 2, 1998 : proceedingsInternational Conference on Computer-Aided Verification, CAV'98 (10. 1998 Vancouver, B.C.) Alan J Hu; Moshe Y VardiBerlin Springer London c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1427 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Introduction to automata theory, languages, and computationJohn E. Hopcroft 1939- Jeffrey D Ullman 1942-Reading, Mass. Addison-Wesley c1979Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.713 H77i 1979 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Perspectives of system informatics Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedingsInternational Andrei Ershov Memorial Conference (3rd 1999 Akademgorodok, Novosibirsk, Russia) D Bjørner 1937- (Dines); M Broy 1949-; A. V Zamulin (Aleksandr Vasilévich)Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1755 e.1 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Compiler construction; an advanced courseFriedrich Ludwig Bauer 1924-; J Eickel 1935-Berlin New York Springer-Verlag 1974Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.21 e.1 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Database programming languagesInternational Workshop on Database Programming Languages, DBPL, 6 1997 Estes Park Sophie Cluet; Rick HullGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1369 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Languages and compilers for parallel computtingInternational Workshop on Languages and Compilersfor Parallel Computing, LCPC'98, 11 1998 Chapel Hill Siddhartha ChatterjeeGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1656 )(Acessar) |