UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
Aspinall David,
Lüth Cristoph
Momentaneamente non ordinabile
Dettagli Libro
- Titolo: UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
- Autore: Aspinall David, Lüth Cristoph
- Curatore:
- Traduttore:
- Illustratore:
- Editore: Aracne
- Collana:
- Data di Pubblicazione: 2003
- Pagine: 192
- Formato:
- ISBN: 9788879995474
- Informatica - Informatica
Libri che ti potrebbero interessare
Impeesa. La grande avventura di Baden Po...
Ivo Milazzo, Paolo Fizzarotti
Curarsi con la musica. Come e perché. C...
Lucio Gallo
Medicina e spiritualità. Incontro del s...
Peter Roche de Coppens
La via della salute. Come essere medici ...
Umberto Grieco
Come rinforzare le nostre difese e guari...
Giuseppe Sitzia
Le torri di cenere
George R.R. Martin, Giusi Valent, Guido Lagomarsino
Carlo Pradella ingegnere
Giorgio Pradella, Vittorio Dal Piaz, Enzo Siviero, G. Pradello, Angelo Villa
Il vino. Profumi, colori, sapori
L. Imbriani, Joanna Simon
Il colore della libertà. Nelson Mandela...
Graham Bob, Gregory James
Persepolis. Ediz. integrale
G. Gasparini, Marjane Satrapi, A. Nobécourt, C. Sparagana
Ci siamo adottati, ovvero tre famiglie i...
Mery La Rosa
Volontariamente. Esperienze di crescita ...
Gianfranco Marocchi
I libri più cercati
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia