skip to main content
Idioma:
Refinado por: assunto: Linguagem De Programação remover assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.)
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)

2
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
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 2000 25th international symposium, MFCS 2000, Bratislava, Sovakia, August 28 - September 1, 2000 : proceedings
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)

4
Concur 2000 concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings
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)

5
Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
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)

6
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
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)

7
Mathematical foundations of computer science 2003 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings
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)

8
Mathematical theory of computation
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
Fundamental structures of computer science
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)

10
CONCUR 2001 concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
CONCUR 2001 concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2001 concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings

International Conference on Concurrency Theory (12th 2001 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); M Nielsen (Mogens) 1949-

Berlin Springer New York 2001

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1981  (1)
  2. 1981Até1998  (1)
  3. 1999Até1999  (1)
  4. 2000Até2001  (6)
  5. Após 2001  (2)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.