• Anglais
  • Espagnol
  • Français
  • Allemand
  • Portugais
  • Italien
  • Russe
  • Chinois (simplifié)
  • Chinois (Traditionnel)
  • Japonais
  • Coréen
  • Néerlandais
  • Suédois
  • Persan
  • Arabe
  • Polonais
  • Accueil
  • Découvrir
  • Articles
  • Se connecter
  • S'inscrire
  • Anglais
  • Espagnol
  • Français
  • Allemand
  • Portugais
  • Italien
  • Russe
  • Chinois (simplifié)
  • Chinois (Traditionnel)
  • Japonais
  • Coréen
  • Néerlandais
  • Suédois
  • Persan
  • Arabe
  • Polonais
Scanner de code-barres ISBN
Ajoutez des livres en quelques secondes avec le scan de code-barres.

Il suffit de scanner un ISBN pour l'ajouter instantanément à votre bibliothèque. Disponible dès maintenant sur iOS et Android.

App Store Google Play
Andreas Podelski

Andreas Podelski

Aperçu Livres
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Rajeev Joshi

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Byron Cook

Tools And Algorithms For The Construction And Analysis Of Systems: 10th International Conference, TACAS 2004

Tools And Algorithms For The Construction And Analysis Of Systems: 10th International Conference, TACAS 2004

Kurt Jensen

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Andreas Podelski

Tree Automata and Languages (Volume 10)

Tree Automata and Languages (Volume 10)

Maurice Nivat

Tree Automata and Languages

Tree Automata and Languages

Maurice Nivat

Constraint programming: Basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers

Constraint programming: Basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers

Andreas Podelski

Suivez votre parcours de lecture, découvrez de nouveaux livres et atteignez vos objectifs de lecture avec BookPine.

App Store Google Play
Découvrir
  • Découvrir
Compte
  • Se connecter
  • S'inscrire
Support
  • FAQ
  • Demandes de fonctionnalités
  • Contact
Conditions
  • Conditions d'utilisation
  • Politique de confidentialité
  • Politique relative aux cookies
  • Gérer les cookies

Droits d'auteur © 2026 BookPine. Tous droits réservés.

Envoyer un retour

Nous utilisons des cookies pour améliorer votre expérience et analyser le trafic du site. Vous pouvez choisir les cookies à accepter.

Essentiel

Nécessaire au fonctionnement du site web. Ne peut pas être désactivé.

Analytique

Aidez-nous à comprendre comment les visiteurs interagissent avec notre site web.

Marketing

Utilisé pour diffuser des publicités pertinentes et suivre les campagnes.