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.
From logic design to logic programming : theorem proving techniques and p-functions / Dominique Snyers, Andre Thayse
| 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.)
| 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.)
| 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
| 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
| 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
| 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
| 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
| 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.)
| 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 | ||
| ||
Getting starder with Matlab 5 : a quick introduction for scientists and engineers / R. Pratap
| Getting starder with Matlab 5 : a quick introduction for scientists and engineers / R. Pratap |
| Autore | Pratap, Rudra |
| Pubbl/distr/stampa | New York : Oxford Oxford university Press, 1999 |
| Descrizione fisica | X, 230 p. ; 23 cm |
| Disciplina | 519.4 |
| Soggetto non controllato |
Elaboratori elettronici
Linguaggio Matlab |
| ISBN | 0-19-512947-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000864660403321 |
|
Pratap, Rudra
|
||
| New York : Oxford Oxford university Press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
