1
|
Material Type: Artigo de Congresso
|
|
A graph-based approach for shape skeleton analysis
André Ricardo Backes Odemir Martinez Bruno; International Conference on Image Analysis and Processing - ICIAP (15. 2009 Salerno)
Lecture Notes in Computer Science Heidelberg v. 5716, p. 731-738, 2009
Heidelberg Springer 2009
Localização:
IFSC - Inst. Física de São Carlos
(PROD016226 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Static analysis
International Symposium on Static Analysis, SAS'98, 5 1998 Pisa Giorgio Levi
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1998
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1503 )(Acessar)
|
3
|
Material Type: Livro
|
|
Static analysis
International Symposium Static Analysis Symposium, SAS 2000, 7 2000 Santa Barbara Jens Palsberg
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c2000
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1824 )(Acessar)
|
4
|
Material Type: Livro
|
|
Static analysis
International Static Analysis Symposium, SAS'94 1994 Namur Baudouin Le Charlier
Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1994
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.864 )(Acessar)
|
5
|
Material Type: Livro
|
|
Static analysis
International Symposium on Static Analysis, SAS'97, 4 1997 Paris Pascal Van Hentenryck
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.1302 )(Acessar)
|
6
|
Material Type: Livro
|
|
Static analysis
International Symposium on Static Analysis, SAS'99, 6 1999 Venice Agostino Cortesi; Gilberto File
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1999
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1694 )(Acessar)
|
7
|
Material Type: Livro
|
|
Static analysis
International Static Analysis Symposium, SAS'96, 3 1996 Aachen Radhia Cousot; David A Schmidt
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1996
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1145 )(Acessar)
|
8
|
Material Type: Livro
|
|
Analysis of concurrent systems
Workshop on the Analysis of Concurrent Systems 1983 Cambridge B. T Denvir
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1985
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.207 )(Acessar)
|
9
|
Material Type: Livro
|
|
Image analysis and processing, pt.1
International Conference on Image Analysis and Processing,ICIAP'97, 9 1997 Florence Gerald Sommer
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.1310 )(Acessar)
|
10
|
Material Type: Livro
|
|
Advances in document image analysis
Brazilian Symposium on Document Image Analysis, BSDIA'97 1997 Curitiba Nabeel A Murshed; Flavio Bortolozzi
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.1339 )(Acessar)
|