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.
Sulle modalità di dialogo nei sistemi interattivi : l'uso del linguaggio naturale nell'interazione uomo-macchina / Marco Roccetti
| Sulle modalità di dialogo nei sistemi interattivi : l'uso del linguaggio naturale nell'interazione uomo-macchina / Marco Roccetti |
| Autore | Roccetti, Marco |
| Pubbl/distr/stampa | Bologna : CLUEB, ©1991 |
| Descrizione fisica | 93 p. ; 22 cm |
| Disciplina | 004.01 |
| Collana | Miscellanea del CIRFID |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008430220403321 |
Roccetti, Marco
|
||
| Bologna : CLUEB, ©1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Test di informatica con risposte commentate : in appendice un glossario dei termini informatici più ricorrenti
| Test di informatica con risposte commentate : in appendice un glossario dei termini informatici più ricorrenti |
| Pubbl/distr/stampa | Napoli : Esselibri Simone, c1997 |
| Descrizione fisica | 139 p. ; 21 cm |
| Disciplina | 004.01 |
| Collana | Edizioni Simone |
| Soggetto non controllato |
Informatica
Informatica di base |
| ISBN | 88-244-1147-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990002869950403321 |
| Napoli : Esselibri Simone, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical Aspects of Computing -- ICTAC 2011 [[electronic resource] ] : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings / / edited by Antonio Cerone, Pekka Pihlajasaari
| Theoretical Aspects of Computing -- ICTAC 2011 [[electronic resource] ] : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings / / edited by Antonio Cerone, Pekka Pihlajasaari |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 267 p. 55 illus., 10 illus. in color.) |
| Disciplina | 004.01 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computers
Computer logic Mathematical logic Software engineering Algorithms Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-23283-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465915303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical computer science : proceedings of the 4th italian conference : L'Aquila, Italy, 28-30 october 1992 / edited by A. Marchetti Spaccamela ... [et al.]
| Theoretical computer science : proceedings of the 4th italian conference : L'Aquila, Italy, 28-30 october 1992 / edited by A. Marchetti Spaccamela ... [et al.] |
| Pubbl/distr/stampa | Singapore : World Scientific, [1992] |
| Descrizione fisica | ix, 361 p. ; 22 cm |
| Disciplina | 004.01 |
| Soggetto non controllato |
Scienza degli elaboratori
Informatica Teoria generale della programmazione dei calcolatori Matematica degli elaboratori |
| ISBN | 981-02-1258-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002870120403321 |
| Singapore : World Scientific, [1992] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi
| Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi |
| Autore | Mandrioli, Dino <1949- > |
| Pubbl/distr/stampa | New York : J. Wiley, c1987 |
| Descrizione fisica | XXV, 478 p. ; 23 cm |
| Disciplina | 004.01 |
| Altri autori (Persone) | Ghezzi, Carlo |
| Soggetto non controllato | Informatica |
| ISBN | 0471859184 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000017115 |
|
Mandrioli, Dino <1949- >
|
||
| New York : J. Wiley, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Universal algebra for computer scientists / Wolfgang Wechler
| Universal algebra for computer scientists / Wolfgang Wechler |
| Autore | Wechler, Wolfgang |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1992 |
| Descrizione fisica | XII, 339 p. ; 25 cm. |
| Disciplina |
004.01
004.01512 |
| Collana | EATCS monographs on theoretical computer science |
| ISBN |
0387542809
3540542809 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0160068 |
|
Wechler, Wolfgang
|
||
| Berlin [etc.], : Springer, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
L'uomo di Turing : la cultura occidentale nell'età del computer / J. David Bolter
| L'uomo di Turing : la cultura occidentale nell'età del computer / J. David Bolter |
| Autore | Bolter, J. David |
| Pubbl/distr/stampa | Parma : Pratiche, 1985 |
| Descrizione fisica | 306 p. : ill. ; 21 cm. |
| Disciplina | 004.01 |
| Collana | Le forme del discorso ; 4 |
| Soggetto topico | Informatica - Storia |
| ISBN | 8873800637 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-b11879786 |
|
Bolter, J. David
|
||
| Parma : Pratiche, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
User interface design / Ray E. Eberts
| User interface design / Ray E. Eberts |
| Autore | Eberts, Ray E. <1954- > |
| Pubbl/distr/stampa | Englewood Cliffs, : Prentice Hall, c1994 |
| Descrizione fisica | XVII, 649 p. : ill. ; 24 cm |
| Disciplina |
004.01
004.019 |
| Collana | Prentice-Hall international series in industrial and systems engineering |
| Soggetto topico | Elaboratori - Interfaccia utente |
| ISBN | 0131070533 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0269191 |
|
Eberts, Ray E. <1954- >
|
||
| Englewood Cliffs, : Prentice Hall, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Uses of randomness in algorithms and protocols / Joe Kilian
| Uses of randomness in algorithms and protocols / Joe Kilian |
| Autore | Kilian, Joe |
| Pubbl/distr/stampa | Cambridge (Mass.) ; London, : MIT press, c1990 |
| Descrizione fisica | 235 p. ; 24 cm |
| Disciplina |
004.01
004.0151 004.015192 |
| Collana | ACM distinguished dissertations |
| Soggetto topico |
Informatica
Variabili casuali Algoritmi |
| ISBN | 0262111535 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-TO00536293 |
|
Kilian, Joe
|
||
| Cambridge (Mass.) ; London, : MIT press, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Using Event-B for Critical Device Software Systems [[electronic resource] /] / by Neeraj Kumar Singh
| Using Event-B for Critical Device Software Systems [[electronic resource] /] / by Neeraj Kumar Singh |
| Autore | Singh Neeraj Kumar |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (334 p.) |
| Disciplina |
004
004.01 |
| Soggetto topico |
Mathematical logic
Software engineering Health informatics Computer simulation Computer programming Mathematical Logic and Formal Languages Software Engineering Health Informatics Simulation and Modeling Programming Techniques |
| ISBN | 1-4471-5260-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction -- Background -- The Modelling Framework: Event-B -- Critical System Development Methodology -- Real-Time Animator and Requirements Traceability -- Refinement Chart -- EB2ALL: An Automatic Code Generator Tool -- Formal Logic Based Heart-Model -- The Cardiac Pacemaker -- Electrocardiogram (ECG) -- Conclusion -- Appendix A: Certification Standards -- Index. |
| Record Nr. | UNINA-9910437597603321 |
|
Singh Neeraj Kumar
|
||
| London : , : Springer London : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
