top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui