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.
People and Computers : Design the Interface Proceedings of the Conference of the British Computer Society Human Computer Interaction Specialist Group University of East Anglia, 17-20 September 1985 / Edited by Peter Johnson and Stephen Cook
| People and Computers : Design the Interface Proceedings of the Conference of the British Computer Society Human Computer Interaction Specialist Group University of East Anglia, 17-20 September 1985 / Edited by Peter Johnson and Stephen Cook |
| Autore | Johnson, Peter |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1985 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 0-521-32066-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001090000403321 |
Johnson, Peter
|
||
| Cambridge : Cambridge University Press, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theories for complexity classes and their propositional translations / Stephen Cook
| Theories for complexity classes and their propositional translations / Stephen Cook |
| Autore | Cook, Stephen |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 13 (2003), p. 175-228. |
| Soggetto topico |
Complexity of proofs [MSC 2010] 03F20
Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0093498 |
|
Cook, Stephen
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||