Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, ProceedingsKranzlmüller, Dieter ; Kacsuk, Peter ; Dongarra, Jack ; Volkert, JensBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
2 |
Material Type: Livro
|
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedingsSymposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie TisonBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1563 )(Acessar) |
|
3 |
Material Type: Livro
|
Mathematical foundations of computer science 2003 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (28th 2003 Bratislava, Slovakia) B Rovan (Branislav); Peter VojtáésBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2747 )(Acessar) |
|
4 |
Material Type: Livro
|
Mathematical foundations of computer science 2000 25th international symposium, MFCS 2000, Bratislava, Sovakia, August 28 - September 1, 2000 : proceedingsSymposium on Mathematical Foundations of Computer Science (25th 2000 Bratislava) M Nielsen (Mogens) 1949-; B Rovan (Branislav)Berlin Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1893 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (20th 2000 New Delhi, India) Sanjiv Kapoor 1959-; Sanjiva PrasadBerlin Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1974 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Theoretical computer science exploring new frontiers of theoretical information : Intermational Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / J. van Leeuwen ... et al.](eds.)International Conference IFIP TCS 2000 (2000 Sendai-shi, Miyagi-ken, Japan) J. van Leeuwen (Jan)Berlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1872 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Fundamental structures of computer scienceWilliam Allan WulfReading, Mass. Addison-Wesley c1981Localização: EPBC - Esc. Politécnica-Bib Central (004.386 F962 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Mathematical theory of computationZohar MannaNew York McGraw-Hill 1974Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (005.1 M315m ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Concur 2000 concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedingsInternational Conference on Concurrency Theory (11th 2000 University Park, Pa.) Catuscia PalamidessiBerlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1877 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedingsInternational Conference on Integrated Formal Methods (2nd 2000 Dagstuhl Castle, Germany) Wolfgang Grieskamp 1960-; Thomas Santen 1965-; Bill Stoddart 1946-Berlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1945 ) e outros locais(Acessar) |