Algebraic structure theory of sequential machines / J. Hartmanis, R.E. Stearns |
Autore | Hartmanis, Juris |
Pubbl/distr/stampa | Englewood Cliffs [N.J.] : Prentice-Hall, 1966 |
Disciplina | 510.78 |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001005160403321 |
Hartmanis, Juris | ||
Englewood Cliffs [N.J.] : Prentice-Hall, 1966 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic structure theory of sequential machines / J. Hartmanis, R. E. Stearns. |
Autore | Hartmanis, Juris |
Pubbl/distr/stampa | Englewood Cliffs : Prentice Hall, 1966 |
Descrizione fisica | viii, 209 p. ; 23 cm |
Disciplina | 001 |
Soggetto non controllato | Metodi computazionali, Teoria generale della programmazione dei calcolatori |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990002574170403321 |
Hartmanis, Juris | ||
Englewood Cliffs : Prentice Hall, 1966 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational complexity theory / Juris Hartmanis, editor |
Autore | Hartmanis, Juris |
Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c1989 |
Descrizione fisica | ix, 128 p. ; 25 cm |
Disciplina | 511.3 |
Collana | Proceedings of symposia in applied mathematics, 0160-7634 ; 38. AMS short course lecture notes |
Soggetto topico | Computational complexity |
ISBN | 0821801317 |
Classificazione |
AMS 68Q05
AMS 68Q10 AMS 68Q20 AMS 68Q75 QA267.C592 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000773869707536 |
Hartmanis, Juris | ||
Providence, R.I. : American Mathematical Society, c1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The Munich project cip : The Wide Spectrum Language cip-l |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, s. d. |
Descrizione fisica | XI, 275 p. |
Collana | Lecture notes in computer science |
ISBN | 3-540-15187-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001322750403321 |
Berlin [etc.] : Springer-Verlag, s. d. | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Third International Conference on Logic Programming : London, United Kingdom, july 1986 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag |
Descrizione fisica | IX, 720 p. |
Collana | Lecture notes in computer science |
ISBN | 3-540-16492-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001322740403321 |
Berlin [etc.] : Springer-Verlag | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|