• 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
Bernhard K. Aichernig

Bernhard K. Aichernig

Visão Geral Livros
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Bernhard K. Aichernig

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Portugal, March 18-20, 2002, Revised Papers

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Portugal, March 18-20, 2002, Revised Papers

Bernhard K. Aichernig

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ...

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ...

Bernhard K. Aichernig

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig

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.