skip to main content
Visitante
Meu Espaço
Minha Conta
Sair
Identificação
This feature requires javascript
Tags
Revistas Eletrônicas (eJournals)
Livros Eletrônicos (eBooks)
Bases de Dados
Bibliotecas USP
Ajuda
Ajuda
Idioma:
Inglês
Espanhol
Português
This feature required javascript
Search in:
Selecione a lista para navegar
Search For:
Clear Search Box
Search in:
Por título
Por assunto
Por autor
Browse vid input
Busca Simples
This feature requires javascript
Lectures on Proof Verification and Approximation Algorithms
Ernst W. Mayr Ernst W Mayr; H. J Prömel; Angelika Steger; G Goos; J Hartmanis; Hans Jürgen Prömel
Springer Berlin Heidelberg 1998
Acesso online. A biblioteca também possui exemplares impressos.
Exibir Online
Localização & Reservas
Detalhes
Resenhas & Tags
Solicitações
Mais Opções
Prateleira Virtual
Enviar para
Adicionar ao Meu Espaço
Remover do Meu Espaço
E-mail (máximo 30 registros por vez)
Imprimir
Link permanente
Referência
EasyBib
EndNote
RefWorks
del.icio.us
Exportar RIS
Exportar BibTeX
This feature requires javascript
As localizações podem ter mudado
Atualizar localizações
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1367 )
Disponível na Biblioteca
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1367 )
Disponível na Biblioteca
IME - Inst. Matemática e Estatística
(S L471c v.1367 )
Disponível na Biblioteca
This feature requires javascript
Voltar para lista de resultados
Anterior
Resultado
8
Avançar
This feature requires javascript
This feature requires javascript
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(USP_FISICO)
Mostrar o que foi encontrado até o momento
This feature requires javascript
This feature requires javascript
Anterior
Página Inicial
RSS
Feed
Políticas
Fale Conosco
Logos de Redes Sociais: 
Logos de Redes Sociais: