All about Maude : a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [et al.]
| All about Maude : a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [et al.] |
| Pubbl/distr/stampa | Berlin (etc.) : Springer, copyr. 2007 |
| Descrizione fisica | XXII, 794 p. : ill. ; 24cm + 1 cd rom |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto topico | Elaboratori elettronici |
| Soggetto non controllato | Linguaggio Maude |
| ISBN | 978-3-540-71940-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003088880203316 |
| Berlin (etc.) : Springer, copyr. 2007 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Amministrazione di Linux for dummies / Michael Bellomo
| Amministrazione di Linux for dummies / Michael Bellomo |
| Autore | Bellomo, Michael |
| Pubbl/distr/stampa | Milano, : Apogeo, ©2000 |
| Descrizione fisica | XV, 373 p. : ill. ; 23 cm. |
| Disciplina | 005.1 |
| Soggetto topico |
Elaboratori elettronici
Sistemi operativi Linux |
| ISBN | 8873036481 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAS-RML0264799 |
Bellomo, Michael
|
||
| Milano, : Apogeo, ©2000 | ||
| Lo trovi qui: Univ. di Cassino e del Lazio Meridionale | ||
| ||
Aritmetica per i calcolatori elettronici / di Norman A. Crowder
| Aritmetica per i calcolatori elettronici / di Norman A. Crowder |
| Autore | Crowder, Norman A. |
| Pubbl/distr/stampa | Firenze : FPCT, Formazione professionale e cultura tecnica : Vallecchi, 1968 |
| Descrizione fisica | 2 v. (475 p. compless.) ; 23 cm. |
| Disciplina | 513.1 |
| Collana | Tutor |
| Soggetto topico |
Aritmetica
Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001853649707536 |
Crowder, Norman A.
|
||
| Firenze : FPCT, Formazione professionale e cultura tecnica : Vallecchi, 1968 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Art et ordinateur / Abraham A. Moles ; avec la collaboration de Marie-Luce André
| Art et ordinateur / Abraham A. Moles ; avec la collaboration de Marie-Luce André |
| Autore | Moles, Abraham A. |
| Pubbl/distr/stampa | [Tournai] : Casterman, [1971] |
| Descrizione fisica | 271 p. : ill. ; 21 cm. |
| Disciplina | 760.1 |
| Altri autori (Persone) | André, Marie-Luce |
| Collana | Synthèses contemporaines |
| Soggetto topico |
Arte
Elaboratori elettronici Grafica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991002040899707536 |
Moles, Abraham A.
|
||
| [Tournai] : Casterman, [1971] | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Automi / Margherita Fasano
| Automi / Margherita Fasano |
| Autore | Fasano, Margherita |
| Pubbl/distr/stampa | Firenze : La nuova Italia, 1987 |
| Descrizione fisica | 46 p. ; 26 cm |
| Disciplina | 005.13 |
| Collana | Progetto IRIS promosso dal Centro Europeo dell'Educazione ; 1 |
| Soggetto topico | Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000337309707536 |
Fasano, Margherita
|
||
| Firenze : La nuova Italia, 1987 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
C e Java : laboratorio di programmazione / Giuseppe Fiorentino ... \et al.!
| C e Java : laboratorio di programmazione / Giuseppe Fiorentino ... \et al.! |
| Pubbl/distr/stampa | Milano, : McGraw-Hill libri Italia, 1997 |
| Descrizione fisica | XVIII, 330 p. ; 24 cm. |
| Disciplina |
005.13
005.133 |
| Collana | Collana di istruzione scientifica, . Serie di informatica |
| Soggetto topico |
ELABORATORI ELETTRONICI - LINGUAGGIO C ++
Elaboratori elettronici - Linguaggio Java Elaboratori elettronici Elaboratori elettronici - Linguaggio C |
| ISBN | 8838607397 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-REA0039556 |
| Milano, : McGraw-Hill libri Italia, 1997 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
C Programming for the absolute beginner / Michael A. Vine
| C Programming for the absolute beginner / Michael A. Vine |
| Autore | VINE, Michael A. |
| Edizione | [2 ed.] |
| Pubbl/distr/stampa | Boston : Thomson, copyr. 2008 |
| Descrizione fisica | XV, 317 p. : ill ; 24 cm |
| Disciplina | 005.133 |
| Soggetto topico |
Linguaggio C
Elaboratori elettronici |
| ISBN | 1-59863-480-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003122950203316 |
VINE, Michael A.
|
||
| Boston : Thomson, copyr. 2008 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Calcolatori elettronici : dispense delle lezioni ed esercizi svolti / Rita Cucchiara
| Calcolatori elettronici : dispense delle lezioni ed esercizi svolti / Rita Cucchiara |
| Autore | CUCCHIARA, Rita |
| Pubbl/distr/stampa | Bologna : Pitagora, c1999 |
| Descrizione fisica | 441 p. ; 24 cm. |
| Disciplina | 004 |
| Soggetto topico | Elaboratori elettronici |
| ISBN | 88-371-1144-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000345060203316 |
CUCCHIARA, Rita
|
||
| Bologna : Pitagora, c1999 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Calcolatori elettronici / Bruno Fadini e Carlo Savy
| Calcolatori elettronici / Bruno Fadini e Carlo Savy |
| Autore | Fadini, Bruno |
| Pubbl/distr/stampa | Napoli, : Istituto editoriale del Mezzogiorno, 1970 |
| Descrizione fisica | 2 v. : ill. ; 25 cm |
| Disciplina |
004
510 |
| Altri autori (Persone) | Savy, Carlo |
| Soggetto topico |
Calcolatori elettronici
Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-SBL0366280 |
Fadini, Bruno
|
||
| Napoli, : Istituto editoriale del Mezzogiorno, 1970 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Calcolatori elettronici 2. / Paolo Corsini, Graziano Frosini
| Calcolatori elettronici 2. / Paolo Corsini, Graziano Frosini |
| Autore | CORSINI, Paolo |
| Pubbl/distr/stampa | Bologna : Pitagora, c1995 |
| Descrizione fisica | VII, 166 p. : ill. ; 32 cm. |
| Disciplina | 004 |
| Altri autori (Persone) | FROSINI, Graziano |
| Soggetto topico | Elaboratori elettronici |
| ISBN | 88-371-0755-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000387320203316 |
CORSINI, Paolo
|
||
| Bologna : Pitagora, c1995 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||