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.
Experimental computer performance evaluation / Istituto di Analisi Numerica del CNR, Pavia, Istituto di Informatica e Sistemica, Università di Pavia SOGESTA
| Experimental computer performance evaluation / Istituto di Analisi Numerica del CNR, Pavia, Istituto di Informatica e Sistemica, Università di Pavia SOGESTA |
| Autore | Summer School on Computer System Performance evaluation <2.; Urbino; 1980> |
| Pubbl/distr/stampa | Amsterdam : North-Holland Publishing Company, 1981 |
| Descrizione fisica | VII, 264 p. : graf. ; 22 cm |
| Disciplina | 001.64 |
| Soggetto non controllato |
Elaboratori elettronici
Congressi Urbino 1980 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000361010203316 |
Summer School on Computer System Performance evaluation <2.; Urbino; 1980>
|
||
| Amsterdam : North-Holland Publishing Company, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Expert system, fifth generation and UK suppliers / A. d' Agapayeff
| Expert system, fifth generation and UK suppliers / A. d' Agapayeff |
| Autore | D'AGAPAYEFF, A. |
| Pubbl/distr/stampa | Manchester : The national computing centre Ltd., c1983 |
| Descrizione fisica | 44c. : ill. ; 30 cm |
| Disciplina | 001.64 |
| Soggetto non controllato | Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000360720203316 |
|
D'AGAPAYEFF, A.
|
||
| Manchester : The national computing centre Ltd., c1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fondamenti di informatica / Alfred V. Aho, Jeffrey D. Ullman ;[traduzione di Antonella D'Alessandro, Simone Martini, Luigia Torre]
| Fondamenti di informatica / Alfred V. Aho, Jeffrey D. Ullman ;[traduzione di Antonella D'Alessandro, Simone Martini, Luigia Torre] |
| Autore | AHO, Alfred V. |
| Pubbl/distr/stampa | Bologna : Zanichelli, copyr. 1994 |
| Descrizione fisica | XV, 757 p. : ill. ; 27 cm |
| Disciplina | 004 |
| Altri autori (Persone) | ULLMAN, Jeffrey D. |
| Soggetto non controllato |
Elaboratori elettronici
Logica matematica |
| ISBN | 88-08-09738-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000252150203316 |
|
AHO, Alfred V.
|
||
| Bologna : Zanichelli, copyr. 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal description of programminf concepts II : proceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982 / Dines Bjorner
| Formal description of programminf concepts II : proceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982 / Dines Bjorner |
| Autore | IFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982> |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1983 |
| Descrizione fisica | XII, 455 p. : ill. ; 22 cm |
| Disciplina | 001.64 |
| Soggetto non controllato |
Elaboratori elettronici
Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000362940203316 |
|
IFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982>
|
||
| Amsterdam : North-Holland publishing company, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods of program verification and specification / H.K.Berg...<et al.>
| Formal methods of program verification and specification / H.K.Berg...<et al.> |
| Pubbl/distr/stampa | Englewood Cliffs : Prentice Hall, c1982 |
| Descrizione fisica | XIV, 207 p. : tab. ; 23 cm |
| Disciplina | 001.6425 |
| Soggetto non controllato | Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000366370203316 |
| Englewood Cliffs : Prentice Hall, c1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal specification fo programmin languages : a panoramic primer / Frank G. Pagan
| Formal specification fo programmin languages : a panoramic primer / Frank G. Pagan |
| Autore | PAGAN, Frank G. |
| Pubbl/distr/stampa | Englewood Cliffs : Prentice-Hall Inc., c1981 |
| Descrizione fisica | X, 285 p. : graf., tab. ; 24 cm |
| Disciplina | 001.6424 |
| Soggetto non controllato |
Elaborazione elettronica
Elaborazine elettronica Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000364500203316 |
|
PAGAN, Frank G.
|
||
| Englewood Cliffs : Prentice-Hall Inc., c1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fortran 77 : language and style : a structured guide to Fortran 77 / Micheal J. Mechant
| Fortran 77 : language and style : a structured guide to Fortran 77 / Micheal J. Mechant |
| Autore | MERCHANT, Michael J. |
| Pubbl/distr/stampa | Belmont : Wadsworth Publishing Company, 1981 |
| Descrizione fisica | XIII, 447 p. : ill. ; 23 cm |
| Disciplina | 001.6424 |
| Soggetto non controllato | Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000361320203316 |
|
MERCHANT, Michael J.
|
||
| Belmont : Wadsworth Publishing Company, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
From hardware to software : an itroduction to computers / Graham, Lee
| 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
| 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 | ||
| ||
