A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll
| A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1981 |
| Descrizione fisica | VIII, 220 p. ; 25 cm |
| Altri autori (Persone) |
Moll, Robert N.
Kfoury, A. J. |
| Collana | Texts and monographs in computer science |
| Soggetto non controllato | Computer science - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001124570403321 |
Arbib, Michael A. <1940- >
|
||
| New York [etc.] : Springer-Verlag, 1981 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib ; with a Major Contribution by Kenneth Krohn and John L. Rhodes
| Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib ; with a Major Contribution by Kenneth Krohn and John L. Rhodes |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York ; London : Academic Press, 1968 |
| Descrizione fisica | xvi, 359 p. ; 24 cm |
| Disciplina |
510.78
512.2 |
| Soggetto non controllato |
Cibernetica
Semigruppi Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000954140403321 |
Arbib, Michael A. <1940- >
|
||
| New York ; London : Academic Press, 1968 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arrows, structures, and functors : the categorical imperative / by Arbib and Manes
| Arrows, structures, and functors : the categorical imperative / by Arbib and Manes |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York [etc.] : Academic Press, 1975 |
| Disciplina | 512.55 |
| Altri autori (Persone) | Manes, Ernest G. |
| Collana | Academic press rapid manuscript reproduction |
| Soggetto non controllato | Teoria della categoria |
| ISBN | 0-12-059060-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001124600403321 |
Arbib, Michael A. <1940- >
|
||
| New York [etc.] : Academic Press, 1975 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Brains, machines, and mathematics / Michael A. Arbib
| Brains, machines, and mathematics / Michael A. Arbib |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, c1964 |
| Descrizione fisica | xiv, 152 p. : ill. ; 21 cm |
| 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-990000954150403321 |
Arbib, Michael A. <1940- >
|
||
| New York [etc.] : McGraw-Hill, c1964 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discrete Mathematics : applied algebra for computer and information science / (by) Leonard S. Bobrow, Michael A. Arbib
| Discrete Mathematics : applied algebra for computer and information science / (by) Leonard S. Bobrow, Michael A. Arbib |
| Autore | Bobrow, Leonard S. |
| Pubbl/distr/stampa | Philadelphia : W.B. Saunders Co., 1974 |
| Descrizione fisica | XIII,719 p., ill., 24 cm |
| Disciplina | 516 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000268310403321 |
Bobrow, Leonard S.
|
||
| Philadelphia : W.B. Saunders Co., 1974 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dynamic Interactions in Neural Networks : Models and Data / Michael A. Arbib and Shun-ichi Amari Editors
| Dynamic Interactions in Neural Networks : Models and Data / Michael A. Arbib and Shun-ichi Amari Editors |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1989 |
| Disciplina | 510.78 |
| Collana | Research Notes in Neural Computing |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 0-387-96893-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001099530403321 |
Arbib, Michael A. <1940- >
|
||
| New York : Springer-Verlag, 1989 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundation of system theory : Finitary and infinitary conditions / di Anderson
| Foundation of system theory : Finitary and infinitary conditions / di Anderson |
| Autore | Anderson, B.D.O. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1976 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001125600403321 |
Anderson, B.D.O.
|
||
| Berlin [etc.] : Springer-Verlag, 1976 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La costruzione della realtà / Michael A. Arbib, Mary B. Hesse ; traduzione di Giorgio Casari
| La costruzione della realtà / Michael A. Arbib, Mary B. Hesse ; traduzione di Giorgio Casari |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | Bologna : il Mulino, c1992 |
| Descrizione fisica | 419 p. : fig. ; 21 cm |
| Disciplina | 121306.42001.01 |
| Collana | Le occasioni |
| Soggetto non controllato |
Gnoseologia
CONOSCENZA - Aspetti sociali CONOSCENZA - Teoria |
| ISBN | 88-15-03356-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990003784990403321 |
Arbib, Michael A. <1940- >
|
||
| Bologna : il Mulino, c1992 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La Mente, le macchine e la matematica / Michael A. Arbib ; prefazione di Edoardo Caianiello
| La Mente, le macchine e la matematica / Michael A. Arbib ; prefazione di Edoardo Caianiello |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | Torino : Boringhieri, c1968 |
| Descrizione fisica | 164 p. : ill. ; 23 cm |
| Disciplina | 510.78 |
| Collana | Serie di cibernetica |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000954160403321 |
Arbib, Michael A. <1940- >
|
||
| Torino : Boringhieri, c1968 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Design of Well-Structured and Correct Programs / Suad Alagic, Michael A. Arbib
| The Design of Well-Structured and Correct Programs / Suad Alagic, Michael A. Arbib |
| Autore | Alagic, Suad |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1978 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 0-387-90299-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000952420403321 |
Alagic, Suad
|
||
| New York : Springer-Verlag, 1978 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||