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 |
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 | ||
|
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é |
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 |
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.! |
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 Linguaggio C e Java |
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 |
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 |
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 |
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 |
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 | ||
|