Computability & unsolvability / Martin Davis |
Autore | Davis, Martin |
Pubbl/distr/stampa | New York : McGraw-Hill, 1958 |
Descrizione fisica | xxv, 210 p. ; 22 cm. |
Disciplina | 511.35 |
Collana | McGraw-Hill series in information processing and computers |
Soggetto topico |
Models of computation
Recursive functions |
Classificazione |
AMS 03D10
AMS 03D20 AMS 68Q05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000772859707536 |
Davis, Martin | ||
New York : McGraw-Hill, 1958 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Neurocomputing : algorithms, architectures and applications / Francoise Fogelman Soulié, Jeanny Hérault |
Autore | Fogelman Soulié, Françoise |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1990 |
Descrizione fisica | xi, 455 p. ; 25 cm. |
Disciplina | 001.535 |
Altri autori (Persone) | Hérault, Jeannyauthor |
Collana | NATO ASI series. Series F, Computer and systems sciences ; 68 |
Soggetto topico | Models of computation |
ISBN | 3540532781 |
Classificazione |
AMS 68Q05
CR C.1.3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | en |
Record Nr. | UNISALENTO-991001165789707536 |
Fogelman Soulié, Françoise | ||
Berlin : Springer-Verlag, 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Numerical methods for ordinary differential equations : proc. of workshop held in L'Aquila (Italy), Sept. 16-18, 1987 / eds. A. Bellen, C. W. Gear, E. Russo |
Autore | Bellen, A. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1989 |
Descrizione fisica | v, 136 p. ; 24 cm. |
Disciplina | 519.4 |
Altri autori (Persone) |
Gear, Charles William
Russo, E. |
Collana | Lecture notes in mathematics, 0075-8434 ; 1386 |
Soggetto topico |
Initial value problems
Models of computation Numerical analysis - Congresses |
ISBN | 3540514783 |
Classificazione |
AMS 65-06
AMS 65-XX AMS 65J05 AMS 65L05 AMS 65M99 AMS 65Q05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001190119707536 |
Bellen, A. | ||
Berlin : Springer-Verlag, 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Parallel architectures and neural networks : first Italian workshop Vietri sul mare, Salerno, 27-29 April 1988 / ed. by E. R. Caianello |
Autore | Caianiello, Eduardo R. |
Pubbl/distr/stampa | Singapore : World Scientific, c1989 |
Descrizione fisica | viii, 203 p. ; 22 cm |
Disciplina | 001.535 |
Soggetto topico |
Models of computation
Neural networks Theory of computing |
ISBN | 9971509059 |
Classificazione |
AMS 68Q05
CR C.1.3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | en |
Record Nr. | UNISALENTO-991001218209707536 |
Caianiello, Eduardo R. | ||
Singapore : World Scientific, c1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|