Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
1 / Alberto Pettorossi
| 1 / Alberto Pettorossi |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma, : Unitor, 1991 |
| Descrizione fisica | VI, 245 p. ; 25 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 978-88-7999-054-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-VAN0053845 |
Pettorossi, Alberto
|
||
| Roma, : Unitor, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2 / Alberto Pettorossi
| 2 / Alberto Pettorossi |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma, : Aracne, 1994 |
| Descrizione fisica | 190 p. ; 29 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 978-88-7999-055-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ita
eng |
| Record Nr. | UNICAMPANIA-VAN0076587 |
|
Pettorossi, Alberto
|
||
| Roma, : Aracne, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A relational data base for the study and control of drug effects and interactions. / Alberto Pettorossi, Gabriella Schina
| A relational data base for the study and control of drug effects and interactions. / Alberto Pettorossi, Gabriella Schina |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma : La Goliardica, 1976 |
| Descrizione fisica | 22 p., ill., 24 cm |
| Disciplina | 629 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000325490403321 |
|
Pettorossi, Alberto
|
||
| Roma : La Goliardica, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata Theory and formal languages / Alberto Pettorossi
| Automata Theory and formal languages / Alberto Pettorossi |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma : Aracne, c2006 |
| Descrizione fisica | 230 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Collana | A01's |
| Soggetto non controllato |
Logica matematica
Linguaggi formali teoria degli automi |
| ISBN | 88-548-0889-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008600170403321 |
|
Pettorossi, Alberto
|
||
| Roma : Aracne, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Basi di dati, loro rappresentazioni e proprietà / Carlo Batini, Alberto Pettorossi
| Basi di dati, loro rappresentazioni e proprietà / Carlo Batini, Alberto Pettorossi |
| Autore | Batini, Carlo |
| Pubbl/distr/stampa | Roma : La Goliardica, 1977 |
| Descrizione fisica | 73 p., ill., 24 cm |
| Disciplina | 629 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000327160403321 |
| Batini, Carlo | ||
| Roma : La Goliardica, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elements of Computability, Decidability, and Complexity / Alberto Pettorossi
| Elements of Computability, Decidability, and Complexity / Alberto Pettorossi |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma : Aracne, c2006 |
| Descrizione fisica | ii, 154 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | A01's |
| Soggetto non controllato |
Logica Matematica
Computabilità |
| ISBN | 88-548-0682-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008600120403321 |
|
Pettorossi, Alberto
|
||
| Roma : Aracne, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Learning Pascal through expamples / Alberto Pettorossi
| Learning Pascal through expamples / Alberto Pettorossi |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma, : Aracne |
| Descrizione fisica | 95 p. ; 25 cm. |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 978-88-7999-056-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0076710 |
|
Pettorossi, Alberto
|
||
| Roma, : Aracne | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Learning Pascal through expamples / Alberto Pettorossi
| Learning Pascal through expamples / Alberto Pettorossi |
| Autore | Pettorossi, Alberto |
| Pubbl/distr/stampa | Roma, : Aracne ; University of Roma Tor Vergata. Department of Electronic Engineering, 1993 |
| Descrizione fisica | 95 p. ; 25 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 978-88-7999-056-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0076710 |
|
Pettorossi, Alberto
|
||
| Roma, : Aracne ; University of Roma Tor Vergata. Department of Electronic Engineering, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic based Program Synthesis and Transformation : International workhsop, LOPSTR 2001 : Paphos, Cyprus , November 2001 : Selected papers / Alberto Pettorossi (ed.)
| Logic based Program Synthesis and Transformation : International workhsop, LOPSTR 2001 : Paphos, Cyprus , November 2001 : Selected papers / Alberto Pettorossi (ed.) |
| Autore | International workshop, LOPSTR 2001 <11. ; 2001 ; Paphos, Cyprus > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2002 |
| Descrizione fisica | X, 265 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | programmazione logica - congressi - 2001 |
| ISBN | 3-540-43915-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001116980203316 |
|
International workshop, LOPSTR 2001 <11. ; 2001 ; Paphos, Cyprus >
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Meta-programming in logic : third International META-92 : Uppsala, Sweden, June 1992 : proccedings / A. Pettorossi (ed.)
| Meta-programming in logic : third International META-92 : Uppsala, Sweden, June 1992 : proccedings / A. Pettorossi (ed.) |
| Autore | International workshop META-92 : 3. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | XII, 351 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - uppsala - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-56282-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204010203316 |
|
International workshop META-92 : 3. : 1992
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
