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.
Computability & unsolvability / Martin Davis
| 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
| 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
| 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
| 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 | ||
| ||
