Computability : An introduction to recursive function theory / Nigel Cutland |
Autore | CUTLAND, Nigel |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1983 |
Descrizione fisica | IX, 251 p. ; 22 cm |
Disciplina | 519.4 |
Soggetto topico | Calcolo funzionale |
Soggetto non controllato | Teoria della ricorrenza |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003258450203316 |
CUTLAND, Nigel | ||
Cambridge : Cambridge University Press, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Introduction to languages and the theory of computation / John C. Martin |
Autore | MARTIN, John C. |
Edizione | [3 ed.] |
Pubbl/distr/stampa | New York : McGraw-Hill, 2003 |
Descrizione fisica | XIII, 543 p. ill. ; 24 cm |
Disciplina | 511.3 |
Soggetto topico |
Macchine sequenziali
Calcolo funzionale |
ISBN | 0-07-119854-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003171220203316 |
MARTIN, John C. | ||
New York : McGraw-Hill, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Introduction to languages and the theory of computation / John C. Martin |
Autore | MARTIN, John C. |
Pubbl/distr/stampa | New York : McGraw-Hill, 1991 |
Descrizione fisica | XVI, 464 p ; 24 cm |
Disciplina | 511.3 |
Soggetto topico |
Macchine sequenziali
Calcolo funzionale |
ISBN | 0-07-100851-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000772470203316 |
MARTIN, John C. | ||
New York : McGraw-Hill, 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Lectures in functional analysis and operator theory / Sterling K. |
Autore | BERBERIAN, Sterling K. |
Pubbl/distr/stampa | New York [etc.], : Springer, copyr.1974 |
Descrizione fisica | IX, 345 p. ; 24 cm |
Disciplina | 515.724 |
Collana | Graduate texts in mathematics |
Soggetto topico |
Analisi funzionale
Calcolo funzionale |
ISBN | 0-387-90080-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000343730203316 |
BERBERIAN, Sterling K. | ||
New York [etc.], : Springer, copyr.1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|