Algebraic structure theory of sequential machines / J. Hartmanis, R.E. Stearns |
Autore | Hartmanis, J. |
Pubbl/distr/stampa | Englewood Cliffs, N.J. : Prentice-Hall, 1966 |
Descrizione fisica | viii, 211 p. : ill. ; 24 cm. |
Altri autori (Persone) | Stearns, R. E. |
Collana | Prentice-Hall series in automatic computation |
Soggetto topico | Sequential machine theory |
Classificazione |
510.78
621.3.9.1 QA267.5.S4H3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000804729707536 |
Hartmanis, J. | ||
Englewood Cliffs, N.J. : Prentice-Hall, 1966 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Automata, languages, and machines / Samuel Eilenberg |
Autore | Eilenberg, Samuel |
Pubbl/distr/stampa | New York : Academic Press, 1974-76 |
Descrizione fisica | 2 v. ; 24 cm. |
Disciplina | 005.131 |
Collana |
Pure and applied mathematics. A series of monographs & textbooks [Academic Press], 0079-8169 ; 59-A
Pure and applied mathematics. A series of monographs & textbooks [Academic Press], 0079-8169 ; 59-B |
Soggetto topico |
Automata theory
Formal languages Sequential machine theory |
ISBN |
0122340019 (v. A)
0122340027 (v. B) |
Classificazione | AMS 68Q68 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000708099707536 |
Eilenberg, Samuel | ||
New York : Academic Press, 1974-76 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Buchi's monadic second order successor arithmetic / Dirk Siefkes |
Autore | Siefkes, Dirk |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1970 |
Descrizione fisica | xii, 130 p. ; 26 cm |
Disciplina | 511.65 |
Collana |
Decidable theories ; 1
Lecture notes in mathematics, 0075-8434 ; 120 |
Soggetto topico |
Decidability
Predicate calculus Sequential machine theory |
Classificazione |
AMS 11U05
QA3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000724409707536 |
Siefkes, Dirk | ||
Berlin ; New York : Springer-Verlag, 1970 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Computability and decidability : an introduction for students of computer science / J. Loeckx |
Autore | Loeckx, Jacques J. C. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1972 |
Descrizione fisica | vi, 76 p. : ill. ; 26 cm. |
Disciplina | 001.535 |
Collana | Lecture notes in economics and mathematical systems, 0075-8442 ; 68 |
Soggetto topico |
Automata theory
Programming Sequential machine theory Turing machines |
ISBN | 3540058699 |
Classificazione |
AMS 68N05
AMS 68Q68 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000772929707536 |
Loeckx, Jacques J. C. | ||
Berlin : Springer-Verlag, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Finite-state models for logical machines / Frederick C. Hennie |
Autore | Hennie, Frederick C. III |
Pubbl/distr/stampa | New York : John Wiley & Sons, 1968 |
Descrizione fisica | xi, 466 p. : ill. ; 24 cm. |
Soggetto topico | Sequential machine theory |
Classificazione |
621.3.9.1
621.3.9.2 629.8'9 QA267.5.S4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000948069707536 |
Hennie, Frederick C. III | ||
New York : John Wiley & Sons, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Lernprozesse in stochastischen Automaten / G. Feichtinger |
Autore | Feichtinger, Gustav |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1970 |
Descrizione fisica | v, 65 p. : ill. ; 26 cm. |
Disciplina | 006.31 |
Collana | Lecture notes in operations research and mathematical systems ; 24 |
Soggetto topico |
Learning and adaptive systems
Learning models Sequential machine theory Stochastic processes |
Classificazione | AMS 68T05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISALENTO-991001073189707536 |
Feichtinger, Gustav | ||
Berlin ; New York : Springer-Verlag, 1970 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The mathematical theory of context free languages / Seymour Ginsburg |
Autore | Ginsburg, Seymour |
Pubbl/distr/stampa | New York : McGraw-Hill, c1966 |
Descrizione fisica | xii, 232 p. : illus. ; 23 cm. |
Disciplina | 005.131 |
Soggetto topico |
Automata and formal grammars
Formal languages Mathematical linguistics Sequential machine theory |
Classificazione |
AMS 03D05
AMS 68Q45 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001119399707536 |
Ginsburg, Seymour | ||
New York : McGraw-Hill, c1966 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Shift register sequences / Solomon W. Golomb ; with portions co-authored by Lloyd R. Welch, Richard M. Goldstein, and Alfred W. Hales |
Autore | Golomb, Solomon Wolf |
Edizione | [Rev. ed] |
Pubbl/distr/stampa | La Guna Hills, Calif. : Aegean Park Press, c1982 |
Descrizione fisica | xvi, 247 p. : ill. ; 23 cm. |
Disciplina | 001.539 |
Soggetto topico |
Coding theory
Sequential machine theory Shift registers Switching theory |
ISBN | 0894120484 |
Classificazione | AMS 94A55 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001343179707536 |
Golomb, Solomon Wolf | ||
La Guna Hills, Calif. : Aegean Park Press, c1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Switching and finite automata theory / Zvi Kohavi |
Autore | Kohavi, Zvi |
Pubbl/distr/stampa | New York : McGraw-Hill Book Co., 1970 |
Descrizione fisica | xiii, 592 p. : ill. ; 23 cm. |
Collana | McGraw-Hill computer science series |
Soggetto topico | Sequential machine theory |
ISBN | 070352984 |
Classificazione |
621.3.9.1
629.8'9 QA267.5.S4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001282969707536 |
Kohavi, Zvi | ||
New York : McGraw-Hill Book Co., 1970 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|