skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Lecture Notes In Computer Science remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Combinatorics and computer science
Combinatorics and computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Combinatorics and computer science

Franco-Japanese Conference Combinatorics and Computer Science CCS'95, 8 1995 Brest Michel Deza; Reinhardt Euler; Ioannis Manoussakis; Franco-Chinese Conference Combinatorics and Computer Science CCS'95,4

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

Berlin Springer-Verlag c1995

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

2
Logical foundations of computer science
Logical foundations of computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical foundations of computer science

Symposium Logical Foundations of Computer Science, LFCS'97, 4 1997 Yaroslavl Sergei Adian; Anil Nerode

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

Berlin Springer-Verlag c1997

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

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

Category theory and computer science

Biennial Conference on Category Theory and Computer Science, CTCS'97, 7 1997 Santa Margherita Ligure Eugenio Moggi; Giuseppe Rosolini

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

Berlin Springer-Verlag c1997

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

4
Foundations of software technology and theoretical computer science
Foundations of software technology and theoretical computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science

Foundations of Software Technology and Theoretical Computer Science Conference, 17 1997 Kharagpur S Ramesh

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

Berlin Springer-Verlag c1997

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

5
Foundations of software technology and theoretical computer science
Foundations of software technology and theoretical computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science

Conference on Foundations of Software Technology and Theoretical Computer Science, FST C. Pandu Rangan; V Raman; R Ramanujam

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.1738 )(Acessar)

6
Randomization and approximation techniques in computer science
Randomization and approximation techniques in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Randomization and approximation techniques in computer science

International Workshop on Randomization and Approximation Techniques in Computer Science, Random'98, 2 1998 Barcelona Muchael Luby; Jose Rolim

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

Berlin Springer-Verlag c1998

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

7
Foundations of software technology and theoretical computer science
Foundations of software technology and theoretical computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science

Conference on Foundations of Software Technology,FST, 18 1998 Chennai V Arvind Ramanujam; Conference on Theoretical Computer Science, TCS, 18

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

Berlin Springer-Verlag c1998

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

8
Computer science logic
Computer science logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic

Workshop CSL'94, 8 1994 Kazimierz Leszek Pacholski; Jerzy Tiuryn

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1995

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

9
Computer science today recent trends and development
Computer science today recent trends and development
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science today recent trends and development

Jan Van Leeuwen

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1995

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

10
Structural testing for semaphore-based multithread programs
Structural testing for semaphore-based multithread programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Structural testing for semaphore-based multithread programs

Felipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)

Lecture Notes in Computer Science v. 5101, p. 337-346, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

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 (36)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (355)
  2. Artigos  (224)
  3. Revistas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (13)
  2. 1994Até1999  (319)
  3. 2000Até2008  (68)
  4. 2009Até2015  (97)
  5. Após 2015  (83)
  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.