• Inglese
  • Spagnolo
  • Francese
  • Tedesco
  • Portoghese
  • Italiano
  • Russo
  • Cinese (semplificato)
  • Cinese (Tradizionale)
  • Giapponese
  • Coreano
  • Olandese
  • Svedese
  • Persiano
  • Arabo
  • Polacco
  • Home
  • Scopri
  • Articoli
  • Accedi
  • Registrati
  • Inglese
  • Spagnolo
  • Francese
  • Tedesco
  • Portoghese
  • Italiano
  • Russo
  • Cinese (semplificato)
  • Cinese (Tradizionale)
  • Giapponese
  • Coreano
  • Olandese
  • Svedese
  • Persiano
  • Arabo
  • Polacco
Scanner Codice a Barre ISBN
Aggiungi libri in pochi secondi con la scansione del codice a barre.

Basta scansionare un ISBN per aggiungerlo istantaneamente alla tua biblioteca. Disponibile ora su iOS e Android.

App Store Google Play
Andreas Podelski

Andreas Podelski

Panoramica Libri
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

Traccia il tuo percorso di lettura, scopri nuovi libri e raggiungi i tuoi obiettivi di lettura con BookPine.

App Store Google Play
Scopri
  • Scopri
Account
  • Accedi
  • Registrati
Supporto
  • FAQ
  • Richieste di funzionalità
  • Contatto
Termini
  • Termini di Servizio
  • Politica sulla Privacy
  • Politica sui Cookie
  • Gestisci Cookie

Diritto d'Autore © 2026 BookPine. Tutti i diritti riservati.

Invia feedback

Utilizziamo i cookie per migliorare la tua esperienza e analizzare il traffico del sito. Puoi scegliere quali cookie accettare.

Essenziale

Necessario per il funzionamento del sito web. Non può essere disabilitato.

Analitica

Aiutaci a capire come i visitatori interagiscono con il nostro sito web.

Marketing

Utilizzato per fornire pubblicità pertinenti e tracciare le campagne.