Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Digital Libraries in Computer Science: The MeDoc ApproachAndreas Barth Andreas Barth; Michael Breu; Albert Endres; G Goos; Arnoud de KempSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Mathematical foundations of computer science 1997 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997 : proceedingsInternational Symposium on Mathematical foundations of computer science (22. 1997 Bratislava, Slovakia) Igor Prívara; Peter Ruzicka; Symposium on Mathematical Foundations of Computer Science (22. 1997 Bratislava, Slovakia)Berlin London Springer c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v. 1295 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Graph-theoretic concepts in computer science 22nd International Workshop, WG'96, Cadenabbia, Italy, June 12-14, 1996 : proceedingsInternational Workshop on Graph-Theoretic Concepts in Computer Science (22nd 1996 Cadenabbia, Italy) Fabrizio D'Amore; Paolo G Franciosa; Alberto Marchetti-SpaccamelaBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1197 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Combinatorics and computer scienceFranco-Japanese Conference Combinatorics and Computer Science CCS'95, 8 1995 Brest Michel Deza; Reinhardt Euler; Ioannis Manoussakis; Franco-Chinese Conference Combinatorics and Computer Science CCS'95,4Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1995Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1120 )(Acessar) |
|
5 |
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) |
|
6 |
Material Type: Livro
|
Category theory and computer scienceBiennial Conference on Category Theory and Computer Science, CTCS'97, 7 1997 Santa Margherita Ligure Eugenio Moggi; Giuseppe RosoliniGoos, 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.1290 )(Acessar) |
|
7 |
Material Type: Livro
|
Computer science research and applicationsUdi Manber; Ricardo Baeza-Yates; Chilean Computer Science Society International Conference Santiago, Chile) 1991New York Plenum Press c1992Localização: IFSC - Inst. Física de São Carlos (P001.6 I61c ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Foundations of software technology and theoretical computer scienceFoundations of Software Technology and Theoretical Computer Science Conference, 17 1997 Kharagpur S RameshGoos, 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.1346 )(Acessar) |
|
9 |
Material Type: Livro
|
Foundations of software technology and theoretical computer scienceConference on Foundations of Software Technology and Theoretical Computer Science, FST C. Pandu Rangan; V Raman; R RamanujamGoos, 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.1738 )(Acessar) |
|
10 |
Material Type: Livro
|
Graph-theoretic concepts in computer science proceedingsInternational Workshop on Graphtheoretic Concepts in Computer Science (21. 1995 Aachen) Manfred NaglBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.1017 e.1 ) e outros locais(Acessar) |