UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003) di Lüth Cristoph; Aspinall David - Bookdealer

UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)

Autore: Lüth Cristoph , Aspinall David
Editore: Aracne
Isbn: 9788879995474
Categoria:
Numero pagine: 192
Data di Uscita: 30/11/1999

12,00 €

Recensioni dei Lettori

I librai consigliano anche

Padura Leonardo

Maschere. Un'indagine di Mario Conde. Ediz. speciale

Consigliato da:
Libreria Piccoli Labirinti

13,00 €

Ferrari Bianca

Partita doppia. Double trouble series. Vol. 1

Consigliato da:
Libreria Piccoli Labirinti

15,00 €

Scanziani Piero

Avventura dell'uomo

Consigliato da:
Libreria 101
Libreria Zabarella
Libreria Colapesce
Altro

16,00 €

cyop&kaf (cur.)

Detti. Viaggio tra i soprannomi del popolo napoletano. Ediz. ampliata

Consigliato da:
IoCiSto libri, viaggi e cose belle

13,00 €

Mari Michele

Cento poesie d'amore a Ladyhawke

Consigliato da:
Bloombook

12,00 €

Rangoni Laura

La grande madre. Il culto del femminile nella storia

Consigliato da:
Libreria Macondo

7,50 €

Cabrol Emmanuelle; Karabatzia Villie

È Natale nel bosco! I miei primi puzzle. Ediz. a colori

Consigliato da:
Lotta libreria

12,95 €

Zerocalcare

Scheletri

Consigliato da:
Tana LIBRI per tutti
A&M Bookstore
A tutto libro
Altro

21,00 €

De Marchi Cesare

L'inseguitore

Consigliato da:
La Mia Libreria 2.0

19,00 €

Saadawi Nawal al

Memorie di una donna medico

Consigliato da:
Book Morning Libreria degli Indipendenti

14,00 €

Antolini Brenna Cecilia; Dalvit Ménabé Silvia

I miei quattro trimestri. Esercizi di positività. Spunti di neuroscienze & hypnobirthing

Consigliato da:
AltriMondi - Libreria Bistrot e oltre

12,50 €

Anderson James

Lullaby Road. La serie del deserto. Vol. 1

Consigliato da:
Libreria Florida
Libreria CartaBianca
Civico14 Libreria

18,00 €

Dridi Asma

Cucino io! Avventure gustose con la piccola Maltuma

Consigliato da:
AltriMondi - Libreria Bistrot e oltre

16,00 €

Sword Harry

Alla ricerca dell'oblio sonoro

Consigliato da:
Libreria Prosperi

30,00 €

Baldwin James

The fire next time

Consigliato da:
ONO arte

40,00 €

Andrews Abi

Donna vuole dire natura selvaggia

Consigliato da:
Libreria 101
Pagina 27
Libreria Trebisonda
Altro

26,00 €

Magris Claudio; Di Paolo Paolo

Inventarsi una vita. Un dialogo

Consigliato da:
Libreria Claudiana Firenze

15,00 €

Riggs Ransom

Le desolazioni di Devil's Acre. Il capitolo finale di Miss Peregrine. La casa dei ragazzi speciali

Consigliato da:
La Libreria del Cappellaio Matto
Libreria Arcadia

18,00 €

Taniguchi Jiro

Venezia

Consigliato da:
Zazà Art Comics Shop

25,00 €

Dostoevskij Fëdor; Vitale S. (cur.)

La mite. Racconto fantastico

Consigliato da:
Libreria Germi

11,00 €

Cicerone Marco Tullio

Difesa di Marco Celio

Consigliato da:
Libreria Macondo

9,00 €

De Robertis Francesca; Crisafulli V. (cur.)

Il coniglio dispettoso. Un racconto su amicizia, perdita e ricordo. Ediz. ad alta leggibilità

Consigliato da:
La Matricola Libreria Universitaria

9,00 €

Tavella Renato

Il romanzo della grande Juventus. Dal 1897 a oggi. La storia del mito bianconero

Consigliato da:
Libreria Antica Roma

9,90 €

Giani Gian Luca

Le donne di casa Savoia. Storia femminile di una dinastia millenaria

Consigliato da:
Corgiatti di Rossetti D.

17,00 €

Mackintosh Sophie

Biglietto blu

Consigliato da:
Libreria Arcadia

19,50 €

Heyer Georgette

La vedova riluttante

Consigliato da:
Libreria Arcadia
Libreria delle ragazze

18,00 €

Barbero Alessandro

Donne, madonne, mercanti e cavalieri. Sei storie medievali

Consigliato da:
La Gang del Pensiero

9,50 €

Vincent Gabrielle

Ernest e Celestine. Ernest ha l'influenza. Ediz. illustrata

Consigliato da:
Pel di carota

14,50 €

Calvani Antonio; Zanaboni Benedetto

Le indagini di zia Teresa. I misteri della logica. Vol. 2: Furto al porto

Consigliato da:
Lotta libreria

9,90 €

Louis Lia

Da qualche parte verso la felicità

Consigliato da:
La Casa di Giulia, librinfesta

18,00 €