Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991LMS Durham Symposium M. P Fourman; P. T Johnstone; A. M Pitts; Andrew M Pitts A. M. Pitts P. T. JohnstoneCambridge Cambridge University Press 1992Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Logic of ComputationHelmut SchwichtenbergSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedingsSymposium 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 c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4708 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Computing and combinatorics third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedingsCOCOON '97 (1997 Shanghai, China) Tao Jiang; D. T LeeBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1276 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Computing and combinatorics 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedingsCOCOON '98 (1998 Taipei, Taiwan) Wen-Lian Hsu; Ming-Yang KaoBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1449 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Graph-theoretic concepts in computer science 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedingsInternational Workshop WG (25th 1999 Ascona, Switzerland) Peter Widmayer; Gabriele Neyer; Stephan EidenbenzBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1665 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
World Congress on Engineering WCE 2015 : 1-3 July, 2015, Imperial College London, London, U.KWorld Congress on Engineering (2015 : London) S. I Ao; International Association of EngineersHong Kong Newswood Ltd International Association of Engineers 2015Item não circula. Consulte sua biblioteca.(Acessar) |
8 |
Material Type: Áudio
|
![]() |
World Congress on Engineering WCE 2018 : 6-6 July, 2018, Imperial College London, London, U.KWorld Congress on Engineering (2018 : London) S. I Ao; International Association of EngineersHong Kong Newswood Ltd International Association of Engineers 2018Item não circula. Consulte sua biblioteca.(Acessar) |
9 |
Material Type: Livro
|
![]() |
New directions in rough sets, data mining, and granular-soft computing 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 : proceedingsRSFDGrC'99 (1999 Yamaguchi-ken, Japan) Ning Zhong 1956-; Andrzej Skowron; Setsuo OhsugaBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1711 e.1 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Foundations of software technology and theoretical computer science 19th conference, Chennai, India, December 13-15, 1999 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (19th 1999 Chennai, India) V Raman 1962- (Venkatesh); C Pandu Rangan 1955-; R RamanujamBerlin Springer New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1738 e.1 )(Acessar) |