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 theories / by MANES E.
| Algebraic theories / by MANES E. |
| Autore | Manes, Ernest G. |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1976 |
| Collana | Graduate texts in mathematics |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001180900403321 |
Manes, Ernest G.
|
||
| New York [etc.] : Springer-Verlag, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic Theories / Ernest G. Manes
| Algebraic Theories / Ernest G. Manes |
| Autore | Manes, Ernest G. |
| Pubbl/distr/stampa | New York, : Springer, 1976 |
| Descrizione fisica | x, 356 p. ; 24 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] 18C10 - Theories (e.g., algebraic theories), structure, and semantics [MSC 2020] |
| Soggetto non controllato |
Algebra
Area Automata Automata theory Category Theory Colimit Equations Groups Interactions Mathematics Natural Optical Character Recognition Scope |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268005 |
|
Manes, Ernest G.
|
||
| New York, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Category theory applied to computation and control : proceedings of the First International Symposium, San Francisco, February 25-26, 1974 / edited by E.G. Manes
| Category theory applied to computation and control : proceedings of the First International Symposium, San Francisco, February 25-26, 1974 / edited by E.G. Manes |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1975 |
| Descrizione fisica | X, 245 p. : ill. ; 24 cm |
| Disciplina |
510.78
629.8 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software Teoria dei sistemi |
| ISBN | 3-540-07142-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001022350403321 |
| Berlin [etc.] : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||