1
|
Material Type: Livro
|
|
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedings
Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd 2007 Cesk y Krumlov, Czech Republic) Lud ek Ku cera; A Ku cera (Anton in)
Berlin Springer New York c2007
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.4708 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Logical foundations of computer science
Symposium Logical Foundations of Computer Science, LFCS'97, 4 1997 Yaroslavl Sergei Adian; Anil Nerode
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1997
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1234 )(Acessar)
|
3
|
Material Type: Livro
|
|
Logic at botik`89 proceedings
Symposium on Logical Foundations of Computer Science, 1., Pereslavl-Zalessky, 1989 Albert R Meyer
Berlin Springer 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.363 e.1 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Logical foundations of computer science proceedings
Symposium on Logical Foundations of Computer Science (3. 1994 Ptersburg) Anil Nerode; Yu V Matiyasevich
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.813 e.1 ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Mathematical foundations of computer science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings
International Symposium on the Mathematical Foundations of Computer Science (23rd 1998 Brno, Czech Republic) Jiérí Zlatuéska; Luboés Brim; Jozef Gruska
Berlin New York Springer Verlag c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1450 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Mathematical foundations of computer science 1999 24th international symposium, MFCS'99, Szklarska Porñeba, Poland, September 6-10, 1999 : proceedings
Symposium on Mathematical Foundations of Computer Science (1972- ) (24th 1999 Szklarska Porñeba, Poland) Miros±aw Kuty±owski; Leszek Pacholski; Tomasz Wierzbicki
Berlin New York Springer c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1672 e.1 ) e outros locais(Acessar)
|