Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
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) |
|
3 |
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) |
|
4 |
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) |
|
5 |
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) |
|
6 |
Material Type: Livro
|
Randomization and approximation techniques in computer scienceInternational Workshop on Randomization and Approximation Techniques in Computer Science, Random'98, 2 1998 Barcelona Muchael Luby; Jose RolimGoos, 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.1518 )(Acessar) |
|
7 |
Material Type: Livro
|
Foundations of software technology and theoretical computer scienceConference on Foundations of Software Technology,FST, 18 1998 Chennai V Arvind Ramanujam; Conference on Theoretical Computer Science, TCS, 18Goos, 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.1530 )(Acessar) |
|
8 |
Material Type: Livro
|
Computer science logicWorkshop CSL'94, 8 1994 Kazimierz Leszek Pacholski; Jerzy TiurynGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.933 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Computer science today recent trends and developmentJan Van LeeuwenGoos, 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.1000 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Structural testing for semaphore-based multithread programsFelipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |