Automata-theoretic aspects of formal power series / Arto Salomaa and Matti Soittola
| Automata-theoretic aspects of formal power series / Arto Salomaa and Matti Soittola |
| Autore | SALOMAA, Arto |
| Pubbl/distr/stampa | New York : Springer Verlag, 1978 |
| Descrizione fisica | X, 171 p. : graf., tav. ; 24 cm |
| Disciplina | 629.891 |
| Altri autori (Persone) | SOITTOLA, Matti |
| Collana | Texts and monographs in computer science |
| Soggetto topico | Macchine sequenziali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000353940203316 |
SALOMAA, Arto
|
||
| New York : Springer Verlag, 1978 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to the theory of automata / Zamir Bavel
| Introduction to the theory of automata / Zamir Bavel |
| Autore | BAVEL, Zamir |
| Pubbl/distr/stampa | Reston : Reston Publishing company, Inc. - A Prentice-Hall Company, copyr. 1983 |
| Descrizione fisica | XI, 658 p. : ill. graf. ; 24 cm |
| Disciplina | 629.891 |
| Soggetto topico | Macchine sequenziali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003315580203316 |
BAVEL, Zamir
|
||
| Reston : Reston Publishing company, Inc. - A Prentice-Hall Company, copyr. 1983 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical foundations of computer science : 4th Symposium, Marianske Lazne, september 1-5, 1975 / edited by J. Becvar
| Mathematical foundations of computer science : 4th Symposium, Marianske Lazne, september 1-5, 1975 / edited by J. Becvar |
| Autore | Symposium on mathematical foundations of computer science : <4. ; : 1975 |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1975 |
| Descrizione fisica | 476 p. : ill. ; 24 cm |
| Disciplina | 629.891 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Teoria delle macchine sequenziali - Congressi |
| ISBN | 3-540-07389-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000470380403321 |
Symposium on mathematical foundations of computer science : <4. ; : 1975
|
||
| Berlin ; Heidelberg : Springer-Verlag, 1975 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Studies in feedback-shift-register synthesis of sequential machines / Robert L. Martin
| Studies in feedback-shift-register synthesis of sequential machines / Robert L. Martin |
| Autore | MARTIN, Robert L. |
| Pubbl/distr/stampa | London : The Mit press, copyr. 1969 |
| Descrizione fisica | XV, 191 p. : ill. ; 25 cm |
| Disciplina | 629.891 |
| Soggetto topico | Macchine sequenziali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003332360203316 |
MARTIN, Robert L.
|
||
| London : The Mit press, copyr. 1969 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory of machines and computations : proceedings of an International Symposium on the theory of machines and computations held at Technion in Haifa, Israel on august 16-19, 1971 / edited by Zvi Kohavi, Azaria Paz
| Theory of machines and computations : proceedings of an International Symposium on the theory of machines and computations held at Technion in Haifa, Israel on august 16-19, 1971 / edited by Zvi Kohavi, Azaria Paz |
| Autore | International symposium on the Theory of machines and computations : <1971 |
| Pubbl/distr/stampa | New York ; London : Academic Press, 1971 |
| Descrizione fisica | 416 p. : ill. ; 24 cm |
| Disciplina | 629.891 |
| Soggetto non controllato |
Teoria delle macchine sequenziali - Congressi
Teoria della commutazione - Congressi |
| ISBN | 0-12-417750-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000457380403321 |
| International symposium on the Theory of machines and computations : <1971 | ||
| New York ; London : Academic Press, 1971 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||