Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Logical foundations of computer scienceSymposium Logical Foundations of Computer Science, LFCS'97, 4 1997 Yaroslavl Sergei Adian; Anil NerodeGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1234 )(Acessar) |
|
2 |
Material Type: Livro
|
Logical foundations of computer science proceedinsSymposium on Logical Foundation of Computer Science, 2., Tver, 1992 Anil NerodeBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.620 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Logical foundations of computer science international symposium, LFCS 2007, New York, NY USA June 4-7, 2007 : proceedingsLFCS 2007 (2007 New York, N.Y.) S. N Artemov; Anil Nerode 1932-Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4514 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Logical foundations of computer science proceedingsSymposium on Logical Foundations of Computer Science (3. 1994 Ptersburg) Anil Nerode; Yu V MatiyasevichBerlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.813 e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedingsLFCS '97 (4th 1997 Yaroslavl§, Russia (City)) S. I Adian 1931-; Anil Nerode 1932-; LFCS '97 (4th 1997 Yaroslavl§, Russia (City))Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1234 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Logic and computer science lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, June 20-28, 1988Meeting on Logic and Computer Science (1988 : Montecatini Terme, It) Homer Steven; Piergiorgio Odifreddi; Anil Nerode 1932-; Richard A Platek; Gerald E Sacks 1933-; Andrej ScedrovBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Lnm v.1429 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Logic and Computer ScienceHomer Steven Homer; Piergiorgio Odifreddi; Anil Nerode; Richard A Platek; Gerald E Sacks; Andre Scedrov; Centro internazionale matematico estivo.Springer Berlin Heidelberg 1990Acesso online |
|
8 |
Material Type: Livro
|
Logical Foundations of Computer ScienceNerode Iï¸ U︡riÄ V Matiiï¸ a︡sevich; Anil NerodeSpringer Berlin Heidelberg 1994Acesso online |
|
9 |
Material Type: Livro
|
Logical Foundations of Computer ScienceLFCS ʾ97 S. I Adiï¸ a︡n; Anil NerodeSpringer Berlin Heidelberg 1997Acesso online |
|
10 |
Material Type: Livro
|
Logical Foundations of Computer ScienceDavid Hutchison Takeo Kanade; Josef Kittler; Anil NerodeSpringer Berlin Heidelberg 2013Acesso online |