skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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, Proceedings

Kranzlmüller, Dieter ; Kacsuk, Peter ; Dongarra, Jack ; Volkert, Jens

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

2
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings

Symposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie Tison

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1563 )(Acessar)

3
Mathematical foundations of computer science 2003 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science 2003 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings

Symposium on Mathematical Foundations of Computer Science (1972- ) (28th 2003 Bratislava, Slovakia) B Rovan (Branislav); Peter Vojtáés

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2747 )(Acessar)

4
Mathematical foundations of computer science 2000 25th international symposium, MFCS 2000, Bratislava, Sovakia, August 28 - September 1, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science 2000 25th international symposium, MFCS 2000, Bratislava, Sovakia, August 28 - September 1, 2000 : proceedings

Symposium on Mathematical Foundations of Computer Science (25th 2000 Bratislava) M Nielsen (Mogens) 1949-; B Rovan (Branislav)

Berlin Springer 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1893 ) e outros locais(Acessar)

5
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (20th 2000 New Delhi, India) Sanjiv Kapoor 1959-; Sanjiva Prasad

Berlin Springer 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1974 ) e outros locais(Acessar)

6
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.)
Material Type:
Livro
Adicionar ao Meu Espaço

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 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1872 ) e outros locais(Acessar)

7
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamental structures of computer science

William Allan Wulf

Reading, Mass. Addison-Wesley c1981

Localização: EPBC - Esc. Politécnica-Bib Central    (004.386 F962 ) e outros locais(Acessar)

8
Mathematical theory of computation
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical theory of computation

Zohar Manna

New York McGraw-Hill 1974

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (005.1 M315m ) e outros locais(Acessar)

9
Concur 2000 concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Concur 2000 concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings

International Conference on Concurrency Theory (11th 2000 University Park, Pa.) Catuscia Palamidessi

Berlin Springer New York 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1877 ) e outros locais(Acessar)

10
Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

International Conference on Integrated Formal Methods (2nd 2000 Dagstuhl Castle, Germany) Wolfgang Grieskamp 1960-; Thomas Santen 1965-; Bill Stoddart 1946-

Berlin Springer New York 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1945 ) e outros locais(Acessar)

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)
  2. Disponível na Biblioteca (20)

Buscando em bases de dados remotas. Favor aguardar.