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.
Algebraic structure theory of sequential machines / J. Hartmanis, R.E. Stearns
| 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.
| 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
| 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 | ||
| ||
Computational complexity theory / Juris Hartmanis, editor
| Computational complexity theory / Juris Hartmanis, editor |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1989 |
| Descrizione fisica | IX, 128 p. : ill. ; 26 cm. |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 08-218-0131-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0051847 |
| Providence, : American Mathematical Society, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational complexity theory / Juris Hartmanis, editor
| Computational complexity theory / Juris Hartmanis, editor |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1989 |
| Descrizione fisica | IX, 128 p. : ill. ; 26 cm |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 08-218-0131-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0051847 |
| Providence, : American Mathematical Society, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational complexity theory / Juris Hartmanis, editor
| Computational complexity theory / Juris Hartmanis, editor |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1989 |
| Descrizione fisica | IX, 128 p. : ill. ; 26 cm |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 08-218-0131-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00051847 |
| Providence, : American Mathematical Society, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lecture notes in computer science / edited by G. Goos and J. Hartmanis
| Lecture notes in computer science / edited by G. Goos and J. Hartmanis |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1973- |
| ISSN | 0302-9743 |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | und |
| Altri titoli varianti | LNCS. |
| Record Nr. | UNISANNIO-MIL0030703 |
| Berlin [etc.], : Springer, 1973- | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The Munich project cip : The Wide Spectrum Language cip-l
| 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
| 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 | ||
| ||