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.
Esercizi di teoria e tecnica della elaborazione automatica dei dati / A. Bossi ... [et al.]
| Esercizi di teoria e tecnica della elaborazione automatica dei dati / A. Bossi ... [et al.] |
| Pubbl/distr/stampa | Padova : Cleup, 1972 |
| Descrizione fisica | 103 p. ; 24 cm |
| Disciplina | 001.6 |
| Collana | Serie di statistica |
| Soggetto topico | Elaborazione elettronica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005463870203316 |
| Padova : Cleup, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Extensions of linear-quadratic control theory / D.H. Jacobson ...<et al.>
| Extensions of linear-quadratic control theory / D.H. Jacobson ...<et al.> |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
| Descrizione fisica | XI, 288 p. ; 24 cm |
| Disciplina | 001.6 |
| Collana | Lecture notes in control and information sciences |
| Soggetto non controllato | Teoria del controllo lineare quadratico |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000356730203316 |
| Berlin : Springer Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fondamenti di informatica ed elaboratori elettronici / Francesco Lerda
| Fondamenti di informatica ed elaboratori elettronici / Francesco Lerda |
| Autore | LERDA, Francesco |
| Pubbl/distr/stampa | Milano : Paravia, 1976 |
| Descrizione fisica | 290 p. : ill. ; 24 cm |
| Disciplina | 001.6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000353260203316 |
LERDA, Francesco
|
||
| Milano : Paravia, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fondamenti di teoria dei sistemi / Giovanni Marro
| Fondamenti di teoria dei sistemi / Giovanni Marro |
| Autore | Marro, Giovanni <1935- > |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | Bologna : Patron, c1979 |
| Descrizione fisica | V, 415 p. ; 24 cm |
| Disciplina |
003
001.6 511.8 |
| Soggetto non controllato | Sistemi - Teorie |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000011827 |
|
Marro, Giovanni <1935- >
|
||
| Bologna : Patron, c1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
A formal approach to discourse anaphora / / Bonnie Lynn Webber
| A formal approach to discourse anaphora / / Bonnie Lynn Webber |
| Autore | Webber Bonnie Lynn |
| Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 2017 |
| Descrizione fisica | 1 online resource (204 pages) |
| Disciplina | 001.6 |
| Collana | Routledge Library Editions: Discourse Analysis |
| Soggetto topico |
Anaphora (Linguistics) - Data processing
Discourse analysis - Data processing |
| ISBN |
1-315-40334-X
1-315-40333-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ch. 1. Introduction -- ch. 2. Definite pronouns -- ch. 3. "One" anaphora -- ch. 4. Verb phrase ellipsis -- ch. 5. Conclusion. |
| Record Nr. | UNINA-9910151708303321 |
|
Webber Bonnie Lynn
|
||
| London ; ; New York : , : Routledge, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Fundamental algorithms / Donald E. Knuth
| Fundamental algorithms / Donald E. Knuth |
| Autore | Knuth, Donald Ervin |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Reading [MA] [etc.] : Addison-Wesley, c1973 |
| Descrizione fisica | xxi, 623 p. : ill. ; 25 cm |
| Disciplina |
005.1
510.78 001 515 001.6 |
| Collana | Addison-Wesley series in computer science and information processing |
| Soggetto non controllato |
Algoritmi
Elaboratori elettronici - Programmazione Teoria della programmazione Algoritmi fondamentali Teoria della programmazione e utilizzazione dei computers Software Calcolo matriciale Calcolatori elettronici e applicazioni |
| ISBN | 0-201-03809-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000192300403321 |
| Knuth, Donald Ervin | ||
| Reading [MA] [etc.] : Addison-Wesley, c1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of digital image processing / Anil K. Jain
| Fundamentals of digital image processing / Anil K. Jain |
| Autore | Jain, Anil K. |
| Pubbl/distr/stampa | Englewood Cliffs, NJ : Prentice Hall, c1989 |
| Descrizione fisica | xxi, 569 p. : ill. ; 24 cm. |
| Disciplina | 001.6 |
| Collana | Prentice Hall information and system sciences series |
| Soggetto topico |
Digital techniques
Image processing Images |
| ISBN | 0133325784 |
| Classificazione |
AMS 68U10
CR I.4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000920109707536 |
|
Jain, Anil K.
|
||
| Englewood Cliffs, NJ : Prentice Hall, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | ||
| ||
A general framework for reasoning on inconsistency / / Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
| A general framework for reasoning on inconsistency / / Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud |
| Autore | Martinez Maria Vanina |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York : , : Springer, , 2013 |
| Descrizione fisica | 1 online resource (vii, 45 pages) |
| Disciplina |
001.6
001.642 |
| Collana | SpringerBriefs in Computer Science |
| Soggetto topico |
Logic design
Inconsistency (Logic) Computer logic |
| ISBN | 1-4614-6750-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction and Preliminary Concepts -- A General Framework for Handling Inconsistency -- Algorithms -- Handling Inconsistency in Monotonic Logics -- Link with Existing Approaches -- Conclusions. |
| Record Nr. | UNINA-9910437589203321 |
|
Martinez Maria Vanina
|
||
| New York : , : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
