From hardware to software : an itroduction to computers / Graham, Lee |
Autore | LEE, Graham |
Pubbl/distr/stampa | London : Macmillan Press, 1982 |
Descrizione fisica | X, 454 p. : ill. ; 24 cm |
Disciplina | 001.6 |
Collana | Macmillan Computer Science Series |
Soggetto non controllato |
Elaboratori elettronici
Sistemi operativi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000359880203316 |
LEE, Graham | ||
London : Macmillan Press, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
From logic design to logic programming : theorem proving techniques and p-functions / Dominique Snyers, Andre Thayse |
Autore | SNYERS, Dominique |
Pubbl/distr/stampa | Berlin : Springer Verlag, c1987 |
Descrizione fisica | IV, 125 p. : ill. ; 25 cm |
Disciplina | 001.642 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Elaboratori elettronici |
ISBN | 3-540-18217-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000352200203316 |
SNYERS, Dominique | ||
Berlin : Springer Verlag, c1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Functional and logic programming : 8th International symposium, FLOPS 2006 : Fuji-Susono, Japan, April 24-26, 2006 : proceedings / Masami Hagiya, Philip Wadler(eds.) |
Autore | International symposium, FLOPS 2006 : <8. ; : 2006 |
Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 2006 |
Descrizione fisica | VIII, 293 p. : ill. ; 20 cm. |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici
Logica matematica |
ISBN | 3-540-33438-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002979020203316 |
International symposium, FLOPS 2006 : <8. ; : 2006 | ||
Berlin : Springer-Verlag, copyr. 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Functional and logic programming : 9th International symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermenegildo (Eds.) |
Autore | International symposium, FLOPS 2008 : <9.; : 2008 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
Descrizione fisica | XI, 336 p. : ill. ; 24 cm. |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici
Logica matematica |
ISBN | 978-3-540-78968-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003114320203316 |
International symposium, FLOPS 2008 : <9.; : 2008 | ||
Berlin [etc.] : Springer, copyr. 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental computer programming using Fortran 77 / Jarrell C. Grout |
Autore | GROUT, Jarrell C. |
Pubbl/distr/stampa | Englewood Cliffs : Prentice-Hall, c1983 |
Descrizione fisica | XIV, 384 p. : ill. ; 23 cm |
Disciplina | 001.6424 |
Collana | Prentice-Hall software series |
Soggetto non controllato | Elaboratori elettronici |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000354880203316 |
GROUT, Jarrell C. | ||
Englewood Cliffs : Prentice-Hall, c1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of programming languages / Ellis Horowitz |
Autore | HOROWITZ, Ellis |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1983 |
Descrizione fisica | XIV, 450 p. : ill. ; 22 cm |
Disciplina | 001.642 4 |
Soggetto non controllato | Elaboratori elettronici |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000364180203316 |
HOROWITZ, Ellis | ||
Berlin : Springer Verlag, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of scientific computing / Bertil Gustafsson |
Autore | Gustafsson, Bertil |
Pubbl/distr/stampa | Berlin; Heidelberg : Springer, 2011 |
Descrizione fisica | XIII, 316 p. : ill |
Disciplina |
519.4
004.11 |
Collana | Texts in computational science and engineering |
Soggetto non controllato |
Elaboratori elettronici
Calcolo numerico |
ISBN | 978-3-642-19494-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNIPARTHENOPE-000029254 |
Gustafsson, Bertil | ||
Berlin; Heidelberg : Springer, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Parthenope | ||
|
Funzionamento e gestione degli elaboratori / Giuseppe Dato, Francesco Lanza |
Autore | Dato, Giuseppe |
Pubbl/distr/stampa | Roma : Siderea, 1972 |
Descrizione fisica | 254 p. ; 24 cm |
Disciplina | 001.6 |
Altri autori (Persone) |
Lanza, Francesco |
Collana | Leonardo |
Soggetto non controllato | Elaboratori elettronici |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990002508090403321 |
Dato, Giuseppe | ||
Roma : Siderea, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
GAG : a practical compiler generator / by Uwe Kastens, Brigitte Hutt, Erich Zimmermann |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1982 |
Descrizione fisica | IV, 156 p. ; 24 cm |
Disciplina | 001.6424 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici
GAG |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000350710203316 |
Berlin : Springer Verlag, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Genetic programming : European conference, EuroGP 2000 : Edimburgh, Scotland, UK, April 15-16, 2000 : proceedings / Riccardo Poli ...<et al.> (eds.) |
Autore | European conference, EuroGP <200 ; Edimburgo> |
Pubbl/distr/stampa | Berlin : Springer Verlag, c2000 |
Descrizione fisica | X, 360 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Elaboratori elettronici |
ISBN | 3-540-67339-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000310620203316 |
European conference, EuroGP <200 ; Edimburgo> | ||
Berlin : Springer Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|