• 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
Mario Bravetti

Mario Bravetti

Panoramica Libri
Behavioral Types in Programming Languages

Behavioral Types in Programming Languages

Davide Ancona

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert Hierons

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti

CONCUR 2009 - Concurrency Theory

CONCUR 2009 - Concurrency Theory

Mario Bravetti

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

Mario Bravetti

Web Services and Formal Methods

Web Services and Formal Methods

Mario Bravetti

Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes

Mario Bravetti

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Mario Bravetti

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ...

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ...

Mario Bravetti

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti

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.