• Inglés
  • Español
  • Francés
  • Alemán
  • Portugués
  • Italiano
  • Ruso
  • Chino (Simplificado)
  • Chino (Tradicional)
  • Japonés
  • Coreano
  • Holandés
  • Sueco
  • Persa
  • Árabe
  • Polaco
  • Inicio
  • Descubrir
  • Artículos
  • Iniciar sesión
  • Registrarse
  • Inglés
  • Español
  • Francés
  • Alemán
  • Portugués
  • Italiano
  • Ruso
  • Chino (Simplificado)
  • Chino (Tradicional)
  • Japonés
  • Coreano
  • Holandés
  • Sueco
  • Persa
  • Árabe
  • Polaco
Escáner de código de barras ISBN
Añade libros en segundos con el escaneo de código de barras.

Solo escanea un ISBN para añadirlo instantáneamente a tu biblioteca. Disponible ahora en iOS y Android.

App Store Google Play
Bernhard K. Aichernig

Bernhard K. Aichernig

Resumen Libros
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

Sigue tu trayectoria de lectura, descubre nuevos libros y alcanza tus metas de lectura con BookPine.

App Store Google Play
Descubrir
  • Descubrir
Cuenta
  • Iniciar sesión
  • Registrarse
Soporte
  • Preguntas frecuentes
  • Solicitudes de características
  • Contacto
Términos
  • Términos del servicio
  • Política de privacidad
  • Política de cookies
  • Gestionar cookies

Derechos de autor © 2026 BookPine. Todos los derechos reservados.

Enviar comentarios

Usamos cookies para mejorar tu experiencia y analizar el tráfico del sitio. Puedes elegir qué cookies aceptar.

Esencial

Necesario para el funcionamiento del sitio web. No se puede deshabilitar.

Analíticas

Ayúdanos a entender cómo interactúan los visitantes con nuestro sitio web.

Marketing

Se utiliza para entregar anuncios relevantes y rastrear campañas.