INTINT : programmazione indiretta per calcolatrici elettroniche |
Pubbl/distr/stampa | Roma : Edizioni Cremonese, 1958 |
Descrizione fisica | 74 p. : ill. ; 19 cm |
Disciplina | 681.14 |
Collana | Istituto per le applicazioni del calcolo. Consiglio nazionale delle ricerche |
Soggetto non controllato | Elaboratori elettronici - Programmazione |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000012840403321 |
Roma : Edizioni Cremonese, 1958 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduzione agli algoritmi / T.H. Cormen , C.E. Leiserson , R.L. Rivest |
Autore | Cormen, Thomas H. |
Pubbl/distr/stampa | Milano : Jackson libri, 1994- |
Descrizione fisica | v. ; 26 cm |
Disciplina | 005.1 |
Soggetto non controllato |
Algoritmi
Elaboratori elettronici - Programmazione |
ISBN | 88-256-0449-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000156680403321 |
Cormen, Thomas H. | ||
Milano : Jackson libri, 1994- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduzione alla programmazione ed alla scienza dei calcolatori / Anthony Ralston ; prefazione all'edizione italiana di Italo Del Gaudio |
Autore | Ralston, Anthony |
Pubbl/distr/stampa | Napoli : Liguori, 1974 |
Descrizione fisica | XVII, 510 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Collana | Manuali e testi scientifici per l'Università |
Soggetto non controllato | Elaboratori elettronici - Programmazione |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000021430403321 |
Ralston, Anthony | ||
Napoli : Liguori, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Lezioni di laboratorio di programmazione e calcolo / Almerico Murli |
Autore | Murli, Almerico |
Edizione | [2. ed.] |
Pubbl/distr/stampa | Napoli, : Liguori, 2001 |
Descrizione fisica | 521 p. ; 24 cm |
Disciplina |
005
511.8 |
Soggetto non controllato |
Programmazione
Calcolo Fortran 77 - Linguaggio Algoritmi Elaboratori elettronici - Programmazione |
ISBN | 88-207-2895-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990008022500403321 |
Murli, Almerico | ||
Napoli, : Liguori, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Linguaggi per la programmazione a oggetti / Gerald Masini, Amedeo Napoli, Dominique Colnet, Daniel Leonard, Karl Tombre |
Pubbl/distr/stampa | Milano, : Gruppo Editoriale Jackson, 1991 |
Descrizione fisica | 459 p. : ill. ; 25 cm |
Disciplina | 005.133 |
Soggetto non controllato | Elaboratori elettronici - Programmazione |
ISBN | 88-256-0304-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-9910556501303321 |
Milano, : Gruppo Editoriale Jackson, 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic programming and nonmonotonic reasoning : 6th International conference, LPNMR 2001 : Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter ... <et al.> (eds.) |
Autore | International conference LPNMR 2001 <6. ; 2001 ; Vienna, Austria> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | XI, 444 p. : ill. ; 20 cm |
Disciplina | 0051 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
Elaboratori elettronici - Programmazione
Logica matematica |
ISBN | 3-540-42593-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000892450203316 |
International conference LPNMR 2001 <6. ; 2001 ; Vienna, Austria> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic programming and nonmonotonic reasoning : 7. International conference, LPNMR 2004 : Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / Vladimir Lifschitz, Ilkka Niemelä (eds.) |
Autore | International conference LPNMR 2004 <7. ; 2004 ; Fort Lauderdale, FL, USA> |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
Descrizione fisica | IX, 364 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
Elaboratori elettronici - Programmazione
Logica matematica |
ISBN | 3-540-20721-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001868470203316 |
International conference LPNMR 2004 <7. ; 2004 ; Fort Lauderdale, FL, USA> | ||
Berlin [etc.] : Springer, copyr. 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic programming and nonmonotonic reasoning : 8th International conference, LPNMR 2005 : Diamante, Italy, September 5-8, 2005 : proceedings / Chitta Baral...[et al.] (Eds.) |
Autore | International conference LPNMR 2004 <8. ; 2005 ; Diamante> |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
Descrizione fisica | XIII, 454 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
Elaboratori elettronici - Programmazione
Logica matematica |
ISBN | 3-540-28538-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003179010203316 |
International conference LPNMR 2004 <8. ; 2005 ; Diamante> | ||
Berlin [etc.] : Springer, copyr. 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
OOP : programmazione dei sistemi orientati agli oggetti / Peter Coad, Jill Nicola |
Autore | Coad, Peter |
Pubbl/distr/stampa | Milano : Jackson libri, 1994 |
Descrizione fisica | XXII, 578 p. ; 24 cm + 1 floppy disk |
Disciplina | 005.11 |
Altri autori (Persone) | Nicola, Jill |
Soggetto non controllato | Elaboratori elettronici - Programmazione |
ISBN | 88-256-0623-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Altri titoli varianti | OOP, programmazione dei sistemi orientati agli oggetti |
Record Nr. | UNINA-9910359959103321 |
Coad, Peter | ||
Milano : Jackson libri, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Operating systems / Stuart E. Madnick, John J. Donovan |
Autore | Madnick, Stuart E. |
Edizione | [International student edition] |
Pubbl/distr/stampa | Auckland...[etc.] : McGraw-Hill international book company, ©1978 |
Descrizione fisica | XVII, 640 p. : ill. ; 21 cm |
Disciplina | 005.43 |
Altri autori (Persone) | Donovan, John J. |
Collana | McGraw-Hill computer science series |
Soggetto non controllato | Elaboratori elettronici - Programmazione |
ISBN | 0-07-039455-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000056810403321 |
Madnick, Stuart E. | ||
Auckland...[etc.] : McGraw-Hill international book company, ©1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|