• 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
Ferruccio Damiani

Ferruccio Damiani

Panoramica Libri
Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Frank de Boer

Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Marco Bernardo

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Bernhard Beckert

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Bernhard Beckert

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi

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.