skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IFSC - Inst. Física de São Carlos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata, languages and programming proceedings [of the] 23rd international colloquium, icap'96, held in paderborn, germany, july 8-12, 1996
Automata, languages and programming proceedings [of the] 23rd international colloquium, icap'96, held in paderborn, germany, july 8-12, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming proceedings [of the] 23rd international colloquium, icap'96, held in paderborn, germany, july 8-12, 1996

Colloquium on Automata, Languages and Programming (23. 1996 Paderborn, De) Friedheim Meyer Auf der Heide; B Monien

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer 1996

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

2
Types for proofs and programs selected papers [of the] international workshop, types'95, held in torino, italy, june 5-8, 1995
Types for proofs and programs selected papers [of the] international workshop, types'95, held in torino, italy, june 5-8, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for proofs and programs selected papers [of the] international workshop, types'95, held in torino, italy, june 5-8, 1995

Workshop on Types for Proofs and Programs (3 1995 Torino, It) Stefano Berardi; Mario Coppo

Berlin Springer 1996

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

3
Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994
Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994

Workshop on Types for Proofs and Programs (2. 1994 Bastad) Peter Dybjer; Bengt Nodstrom

Berlin Springer 1995

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.996 ) e outros locais(Acessar)

4
Stacs 95 proceedings
Stacs 95 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Stacs 95 proceedings

Symposium on Theoretical Aspects of Computer Science (12. 1995 Munich) Ernst W Mayr; Claude Puech

Berlin Springer 1995

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

5
Category theory and computer science proceedings
Category theory and computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Science (6. : 1995 : Cambridge, UK) David H Pitt; David E Rydeheard; Peter T Johnstone

Berlin Springer 1995

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

6
Fundamentals of computation theory proceedings
Fundamentals of computation theory proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory proceedings

International Conference on Fundamentals of Computation Theory (10. 1995 Dresden) Horst Reichel

Berlin Springer 1995

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

7
Latin'95 theoretical informatics : proceedings of the second latin american symposium, held in valparaiso, chile, april 1995
Latin'95 theoretical informatics : proceedings of the second latin american symposium, held in valparaiso, chile, april 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Latin'95 theoretical informatics : proceedings of the second latin american symposium, held in valparaiso, chile, april 1995

Latin-American Symposium on Theoretical Informatics (2. 1995 Valparaiso, Cl) Ricardo Baeza-Yates; E Goles; Patricio V Poblete

Berlin Springer 1995

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

8
Term rewriting french spring school of theoretical computer science, font romeux, France, may 17-21, 1993, advanced course
Term rewriting french spring school of theoretical computer science, font romeux, France, may 17-21, 1993, advanced course
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting french spring school of theoretical computer science, font romeux, France, may 17-21, 1993, advanced course

French Spring School of Theoretical Computer Science (1993 Font Romeux, Fr) Hubert Comon; Jean-Pierre Jouannaud

Berlin Springer 1995

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

9
Mathematical foundations of computer science proceedings
Mathematical foundations of computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical foundations of computer science proceedings

Symposium on Mathematical Foundations of Computer Science (20. 1995 Prague) Juraj Wiedermann; Petr Hájek

Berlin Springer 1995

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

10
Fundamentals of computation theory
Fundamentals of computation theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory

International Symposium on the Fundamentals of Computation Theory,FCT'99, 12 1999 Iasi Gabriel Ciobanu; Gheorghe Paun

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1999

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1684 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (7)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (150)
  2. Artigos  (15)
  3. Produções Acadêmicas  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (6)
  2. 1986Até1994  (13)
  3. 1995Até1999  (56)
  4. 2000Até2007  (77)
  5. Após 2007  (17)
  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.