• 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
Moshe Y. Vardi

Moshe Y. Vardi

Resumen Libros
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Alan J. Hu

Communcations of the ACM

Communcations of the ACM

Moshe Y. Vardi

Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel

Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

Georg Gottlob

Conference on Theoretical Aspects of Reasoning about Knowledge

Conference on Theoretical Aspects of Reasoning about Knowledge

Moshe Y. Vardi

Theoretical Aspects of Reasoning Abot Knowledge 1988

Theoretical Aspects of Reasoning Abot Knowledge 1988

Moshe Y. Vardi

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.