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.
Fondamenti di programmazione dei calcolatori elettronici / C. Batini...[et al.]
| Fondamenti di programmazione dei calcolatori elettronici / C. Batini...[et al.] |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Milano, : F. Angeli, c1992 |
| Descrizione fisica | 456 p. ; 22 cm. |
| Disciplina | 005.1 |
| Collana | Scienze e tecnologie informatiche |
| Soggetto topico | Elaboratori elettronici - Programmazione |
| ISBN | 8820438194 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-TSA0000948 |
| Milano, : F. Angeli, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Formal program development : IFIP TC2/WG 2.1 state of the art report / Bernhard Moller, Helmut Partsch, Steve Schuman (eds.)
| Formal program development : IFIP TC2/WG 2.1 state of the art report / Bernhard Moller, Helmut Partsch, Steve Schuman (eds.) |
| Autore | International federation for information processing : Technical committee 2 : Working group 2.1 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1993 |
| Descrizione fisica | 371 p. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Programmazione |
| ISBN |
0387574999
3540574999 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10004596 |
International federation for information processing : Technical committee 2 : Working group 2.1
|
||
| Berlin [etc.], : Springer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.] ; with the assistence of Arie de Bruin, Jeffrey Zucker
| Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.] ; with the assistence of Arie de Bruin, Jeffrey Zucker |
| Autore | BJORNER, Dines |
| Pubbl/distr/stampa | Englewood Cliffs : Prentice-Hall, copyr. 1982 |
| Descrizione fisica | X, 501 p. : ill. ; 23 cm |
| Disciplina | 001.642 |
| Altri autori (Persone) | JONES, Cliff B. |
| Collana | Prentice-Hall International series in computer science |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Elaboratori elettronici - Linguaggi di programmazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000354630203316 |
|
BJORNER, Dines
|
||
| Englewood Cliffs : Prentice-Hall, copyr. 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Functional programming using standard ML / Ake Wikstrom
| Functional programming using standard ML / Ake Wikstrom |
| Autore | Wikstrom, Ake <1944- > |
| Pubbl/distr/stampa | London [etc.], : Prentice Hall, c1987 |
| Descrizione fisica | XVII, 446 p. ; 24 cm. |
| Disciplina |
005.13
005.133 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto topico |
Elaboratori elettronici - Programmazione - Linguaggio ML
Elaboratori elettronici - Programmazione |
| ISBN |
0133316610
0133319687 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10004193 |
|
Wikstrom, Ake <1944- >
|
||
| London [etc.], : Prentice Hall, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Fundamentals of computing for software engineers / Murat M. Tanik, Eric S. Chan
| Fundamentals of computing for software engineers / Murat M. Tanik, Eric S. Chan |
| Autore | Tanik, Murat M. |
| Pubbl/distr/stampa | New York, : Van Nostrand Reinhold, c1991 |
| Descrizione fisica | XV, 251 p. ; 24 cm. |
| Disciplina | 005.1 |
| Altri autori (Persone) | Chan, Eric S. |
| Collana | VNR computer library |
| Soggetto topico | Elaboratori elettronici - Programmazione |
| ISBN | 0442005253 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0395764 |
|
Tanik, Murat M.
|
||
| New York, : Van Nostrand Reinhold, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Fundamentals of software engineering / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
| Fundamentals of software engineering / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli |
| Autore | Ghezzi, Carlo <1946- > |
| Pubbl/distr/stampa | London, : Prentice Hall International, c1991 |
| Descrizione fisica | XV, 573 p. ; 24 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) |
Mandrioli, Dino <1949- >
Jazayeri, Mehdi |
| Soggetto topico | Elaboratori elettronici - Programmazione |
| ISBN | 0138182043 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0395363 |
|
Ghezzi, Carlo <1946- >
|
||
| London, : Prentice Hall International, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Graph-based proof procedures for Horn clauses / Stan Raatz
| Graph-based proof procedures for Horn clauses / Stan Raatz |
| Autore | Raatz, Stan |
| Pubbl/distr/stampa | Boston [etc.], : Birkhauser, c1990 |
| Descrizione fisica | 147 p. ; 24 cm. |
| Disciplina |
005.1
005.115 |
| Collana | Progress in computer science and applied logic |
| Soggetto topico |
Programmazione logica
Elaboratori elettronici - Programmazione |
| ISBN |
0817635300
3764335300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO0009847 |
|
Raatz, Stan
|
||
| Boston [etc.], : Birkhauser, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Guida a C# / Herbert Schildt
| Guida a C# / Herbert Schildt |
| Autore | Schildt, Herbert |
| Pubbl/distr/stampa | Milano [etc.] : MacGraw ; 2002 |
| Descrizione fisica | 564 p. ; 24 cm. |
| Disciplina | 005.1 |
| Collana | Microcalcolatori |
| Soggetto topico | Elaboratori elettronici - Programmazione |
| ISBN | 8838642648 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001542309707536 |
|
Schildt, Herbert
|
||
| Milano [etc.] : MacGraw ; 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Hypercard : la grande guida / Danny Goodman ; introduzione di John Sculley ; traduzione di Stefano Minotto
| Hypercard : la grande guida / Danny Goodman ; introduzione di John Sculley ; traduzione di Stefano Minotto |
| Autore | GOODMAN, Danny |
| Pubbl/distr/stampa | Milano : Gruppo editoriale Jackson, 1989 |
| Descrizione fisica | XXV, 881 p. ; 24 cm |
| Disciplina | 005.1 |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Archivi di dati - Gestione |
| ISBN | 88-7056-967-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000672260203316 |
|
GOODMAN, Danny
|
||
| Milano : Gruppo editoriale Jackson, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
I moderni sistemi operativi / Andrew S. Tanenbaum
| I moderni sistemi operativi / Andrew S. Tanenbaum |
| Autore | Tanenbaum, Andrew S. |
| Pubbl/distr/stampa | Englewood Cliffs : Prentice Hall |
| Descrizione fisica | XVIII, 741 p ; 26 cm |
| Disciplina | 005.43 |
| Soggetto topico |
Sistemi operativi
Elaboratori elettronici - Programmazione |
| ISBN | 88-256-0551-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000163990203316 |
|
Tanenbaum, Andrew S.
|
||
| Englewood Cliffs : Prentice Hall | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
