| Scheda: 1/5 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Titolo | Modelling prolog control / R. Barbuti ... [et al.] |
| Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
| Descrizione fisica | 23 p. ; 20 cm. |
| Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
| Lingua di pubblicazione | eng |
| Paese di pubblicazione | it |
| Nomi | Barbuti, Roberto [ scheda di autorità ] |
| Identificativo record | PIS0008410 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | COLL.UNIV.Pisa 11 23/91 | 000269999 | MODELLINg | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 2/5 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Titolo | Oracle semantics for prolog / R. Barbuti ... [et al.] |
| Pubblicazione | Pisa : Universita degli studi, Dipartimento di informatica, 1994 |
| Descrizione fisica | 38 p. ; 21 cm. |
| Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica ; 5/94 (ID Collana : CFI0390631) |
| Lingua di pubblicazione | eng |
| Paese di pubblicazione | it |
| Nomi | Barbuti, Roberto [ scheda di autorità ] |
| Identificativo record | PIS0009189 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | COLL.UNIV.Pisa 11 38 | 000273870 | ORACLE | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 3/5 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Titolo | Il Museo di storia naturale e del territorio dell'Università di Pisa / a cura di Roberto Barbuti, Walter Landini |
| Pubblicazione | Pisa : PLUS-Pisa University Press, 2009 |
| Descrizione fisica | P. 7-149 |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | IT |
| ISBN | 9788884926739 |
| Tipo di contenuto | z |
| Forma letteraria | z |
| Classificazione Dewey | 508 - DESCRIZIONE E INDAGINE DEI FENOMENI NATURALI (edizione 14) |
| Nomi | Barbuti Roberto
Landini Walter |
| URI | Versione online (Inv.) |
| Identificativo record | 2477619 |
| Scheda: 4/5 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Barbuti, Roberto [ scheda di autorità ] |
| Titolo | A general framework for semantics-based bottom-up abstract interpretation of logic programs / R. Barbuti, R. Giacobazzi, G. Levi |
| Pubblicazione | Pisa : Universita degli studi, Dipartimento di Informatica, 1991 |
| Descrizione fisica | 48 p. ; 20 cm. |
| Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
| Lingua di pubblicazione | eng |
| Paese di pubblicazione | it |
| Nomi | [Autore] Barbuti, Roberto [
scheda di autorità
]
[Autore] Levi, Giorgio <1942- > Giacobazzi, Roberto [ scheda di autorità ] |
| Identificativo record | PIS0008397 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | COLL.UNIV.Pisa 11 12/91 | 000269470 | A GENERAl | consultazione, prestito, fotoriproduzione Servizi |
| Scheda: 5/5 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Tongiorgi Tomasi, Lucia [ scheda di autorità ] |
| Titolo | Animali in un serraglio pisano tra Cinque e Seicento / Lucia Tongiorgi Tomasi ; con un contributo di Roberto Barbuti |
| Pubblicazione | Pisa : ETS, ©2024 |
| Descrizione fisica | 99 p. : ill. ; 17 cm |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 9788846768476 |
| Titolo uniforme | Animali in un serraglio pisano tra Cinque e Seicento | Tongiorgi Tomasi, Lucia |
| Nomi | [Autore] Tongiorgi Tomasi, Lucia [
scheda di autorità
]
[Autore] Barbuti, Roberto [ scheda di autorità ] |
| Forme varianti dei nomi | Tongiorgi Tomasi , L. -> Tongiorgi Tomasi, Lucia Tomasi Tongiorgi , Lucia -> Tongiorgi Tomasi, Lucia Tomasi , Lucia <1939- > -> Tongiorgi Tomasi, Lucia Tongiorgi , Lucia -> Tongiorgi Tomasi, Lucia |
| Identificativo record | PIS0067196 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | RIS. A. 70 | 000011314 DL | consultazione, prestito, fotoriproduzione Servizi |
Rimuovi da preferiti
Aggiungi a preferiti