• Inglês
  • Espanhol
  • Francês
  • Alemão
  • Português
  • Italiano
  • Russo
  • Chinês (Simplificado)
  • Chinês (Tradicional)
  • Japonês
  • Coreano
  • Holandês
  • Sueco
  • Persa
  • Árabe
  • Polonês
  • Início
  • Descobrir
  • Artigos
  • Entrar
  • Criar Conta
  • Inglês
  • Espanhol
  • Francês
  • Alemão
  • Português
  • Italiano
  • Russo
  • Chinês (Simplificado)
  • Chinês (Tradicional)
  • Japonês
  • Coreano
  • Holandês
  • Sueco
  • Persa
  • Árabe
  • Polonês
Leitor de Código de Barras ISBN
Adicione livros em segundos com a leitura de código de barras.

Basta escanear um ISBN para adicioná-lo instantaneamente à sua biblioteca. Disponível agora para iOS e Android.

App Store Google Play
Nikolaj Bjørner

Nikolaj Bjørner

Visão Geral Livros
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers Nikolaj Bjørner

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Nikolaj Bjørner

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019

Nikolaj Bjørner

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Nikolaj Bjørner

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Nikolaj Bjørner

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Nikolaj Bjørner

Automated Deduction Cade23

Automated Deduction Cade23

Nikolaj Bjørner

Acompanhe sua jornada de leitura, descubra novos livros e alcance seus objetivos de leitura com o BookPine.

App Store Google Play
Descobrir
  • Descobrir
Conta
  • Entrar
  • Criar Conta
Suporte
  • Perguntas Frequentes
  • Solicitações de Recursos
  • Contato
Termos
  • Termos de Serviço
  • Política de Privacidade
  • Política de Cookies
  • Gerenciar Cookies

Direitos Autorais © 2026 BookPine. Todos os direitos reservados.

Enviar Feedback

Usamos cookies para melhorar sua experiência e analisar o tráfego do site. Você pode escolher quais cookies aceitar.

Essencial

Necessário para o funcionamento do site. Não pode ser desativado.

Análise

Ajude-nos a entender como os visitantes interagem com nosso site.

Marketing

Usado para entregar anúncios relevantes e rastrear campanhas.