FME 2003 : formal methods : International simposium of formal metods europe : Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.) |
Autore | International symposium of formal methods europe <2003 ; Pisa, Italy> |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
Descrizione fisica | XVII, 942 p. : ill. ; 24 cm. |
Collana | Lecture notes in computer science |
Soggetto non controllato | Software - Sviluppo - Congressi - 203 |
ISBN | 3-540-40828-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001856680203316 |
International symposium of formal methods europe <2003 ; Pisa, Italy>
![]() |
||
Berlin [etc.] : Springer, copyr. 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Informatica : arte e mestiere / Stefano Ceri, Dino Mandrioli, Licia Sbattella |
Autore | CERI, Stefano |
Pubbl/distr/stampa | Milano [etc.] : McGraw-Hill libri Italia, 1999 |
Descrizione fisica | XVII, 448 p. ; 24 cm |
Disciplina | 004 |
Altri autori (Persone) |
MANDRIOLI, Dino <1949- >
SBATTELLA, Licia |
Collana | Collana di istruzione scientifica, Serie di informatica |
Soggetto topico | Informatica |
ISBN | 88-386-0804-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990001568020203316 |
CERI, Stefano
![]() |
||
Milano [etc.] : McGraw-Hill libri Italia, 1999 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Informatica istituzioni : linguaggio di riferimento ansi c / Stefano Ceri, Dino Mandrioli, Licia Sbattella |
Autore | CERI, Stefano |
Pubbl/distr/stampa | Milano [etc.] : McGraw-Hill, 1994 |
Descrizione fisica | XVIII, 561 p. ; 24 cm |
Disciplina | 004 |
Altri autori (Persone) |
MANDRIOLI, Dino <1949- >
SBATTELLA, Licia |
Collana | Collana di istituzione scientifica, Serie di informatica |
Soggetto topico | Informatica |
ISBN | 88-386-0703-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000053890203316 |
CERI, Stefano
![]() |
||
Milano [etc.] : McGraw-Hill, 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Informatica, istituzioni : linguaggio di riferimento ansi C / Stefano Ceri, Dino Mandrioli, Licia Sbattella |
Autore | CERI, Stefano |
Pubbl/distr/stampa | Milano : McGraw-Hill libri, 1994 |
Descrizione fisica | XVIII, 561 p. ; 24 cm |
Disciplina | 005.133 |
Altri autori (Persone) |
MANDRIOLI, Dino <1949- >
SBATTELLA, Licia |
Collana | Collana di istruzione scientifica, Serie informatica |
Soggetto topico | Elaboratori elettronici - Linguaggio C |
ISBN | 88-386-0703-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000489490203316 |
CERI, Stefano
![]() |
||
Milano : McGraw-Hill libri, 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Informatica, istruzioni : linguaggio di riferimento ANSI C / Stefano Ceri, Dino Mandrioli, Lucia Sbattella |
Autore | CERI, Stefano |
Pubbl/distr/stampa | Milano : McGrow-Hill Libri Italia, c1994 |
Descrizione fisica | XVIII,561 p. : ill. ; 20 cm |
Disciplina | 005.132 |
Altri autori (Persone) |
MANDRIOLI, Dino <1949- >
SDATTELLA, Licia |
Soggetto non controllato | Linguaggio C |
ISBN | 88-386-0703-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000329540203316 |
CERI, Stefano
![]() |
||
Milano : McGrow-Hill Libri Italia, c1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Informatica: arte e mestiere / Stefano Ceri, Dino Mandrioli, Licia Sbattella |
Autore | CERI, Stefano |
Edizione | [2. ed] |
Pubbl/distr/stampa | Milano [etc.] : McGraw-Hill, copyr. 2004 |
Descrizione fisica | XXI, 502 p. ; 24 cm |
Disciplina | 004 |
Altri autori (Persone) |
MANDRIOLI, Dino <1949- >
SBATTELLA, Licia |
Collana | Collana di istruzione scientifica, Serie di informatica |
Soggetto topico | Informatica |
ISBN | 88-386-6140-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990002838990203316 |
CERI, Stefano
![]() |
||
Milano [etc.] : McGraw-Hill, copyr. 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Informatica: arte e mestiere / Dino Mandrioli ... [et al.] |
Edizione | [3. ed] |
Pubbl/distr/stampa | Milano : McGraw-Hill, 2008 |
Descrizione fisica | XXII, 508 p. : ill. ; 25 cm |
Disciplina | 004 |
Collana | Collana di istruzione scientifica, Serie di informatica |
Soggetto topico | Informatica |
ISBN | 978-88-386-6429-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990001763850203316 |
Milano : McGraw-Hill, 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Istituzioni di informatica / Stefano Ceri, Dino Mandrioli |
Autore | CERI, Stefano |
Pubbl/distr/stampa | Milano [etc.] : McGraw-Hill Libri Italia, 1992 |
Descrizione fisica | XVII, 530 p. : ill. ; 23 cm |
Disciplina | 004. |
Collana | Collana di istruzione scientifica.Serie di informatica |
Soggetto non controllato | informatica |
ISBN | 88-386-0668-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000104360203316 |
CERI, Stefano
![]() |
||
Milano [etc.] : McGraw-Hill Libri Italia, 1992 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Istituzioni di informatica : linguaggio di riferimento Pascal / Stefano Ceri, Dino Mandrioli |
Autore | CERI, Stefano |
Pubbl/distr/stampa | Milano : McGraw-Hill libri, 1992 |
Descrizione fisica | XVII, 531 p. ; 24 cm |
Disciplina | 004 |
Altri autori (Persone) | MANDRIOLI, Dino <1949- > |
Collana | Collana di istruzione scientifica, Serie di informatica |
Soggetto topico | Elaboratori elettronici - Linguaggio C |
ISBN | 88-386-0668-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000489660203316 |
CERI, Stefano
![]() |
||
Milano : McGraw-Hill libri, 1992 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|