Adicione livros em segundos com a leitura de código de barras.
Basta escanear um ISBN para adicioná-lo instantaneamente à sua biblioteca. Disponível agora para iOS e Android.
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, ... Computer Science and General Issues)