• 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
Nikolaj Bjørner

Nikolaj Bjørner

Panoramica Libri
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Nikolaj Bjørner

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019

Nikolaj Bjørner

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Nikolaj Bjørner

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Nikolaj Bjørner

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Nikolaj Bjørner

Automated Deduction Cade23

Automated Deduction Cade23

Nikolaj Bjørner

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.