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.
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / eds. Edmund Clarke and Dexter Kozen
| Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / eds. Edmund Clarke and Dexter Kozen |
| Autore | Kozen, Dexter |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 527 p. : ill. ; 25 cm |
| Disciplina | 001.642 |
| Altri autori (Persone) | Clarke, Edmund M.author |
| Soggetto topico |
Computer science - Congresses
Electronic digital computers-programming |
| ISBN | 3540128964 |
| Classificazione |
AMS 68-06
AMS 68-XX QA76.6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001096659707536 |
Kozen, Dexter
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Multivariate procedures for the behavioral sciences / William W. Cooley, Paul R. Lohnes
| Multivariate procedures for the behavioral sciences / William W. Cooley, Paul R. Lohnes |
| Autore | Cooley, William W. |
| Descrizione fisica | 211 p. : ill. ; 25 cm. |
| Disciplina | 519.5 |
| Altri autori (Persone) | Lohnes, Paul R.author |
| Soggetto topico |
Electronic digital computers-programming
Psychometrics Statistics |
| Classificazione | AMS 62P99 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001162859707536 |
|
Cooley, William W.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A recursive introduction to the theory of computation / Carl H. Smith
| A recursive introduction to the theory of computation / Carl H. Smith |
| Autore | Smith, Carl H. |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1994 |
| Descrizione fisica | 148 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Graduate texts in computer science |
| Soggetto topico |
Electronic digital computers-programming
Recursive functions-data processing |
| ISBN | 0387943323 |
| Classificazione |
AMS 03D
AMS 68Q QA76.6.S61547 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001291569707536 |
|
Smith, Carl H.
|
||
| New York : Springer-Verlag, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Theory of program structures : schemes, semantics, verification / Sheila A. Greibach
| Theory of program structures : schemes, semantics, verification / Sheila A. Greibach |
| Autore | Greibach, Sheila |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1975 |
| Descrizione fisica | 389 p. : ill. ; 25 cm. |
| Disciplina | 001.642 |
| Soggetto topico |
Computer programs
Electronic digital computers-programming Programming Recursive programming |
| ISBN | 3540074155 |
| Classificazione | AMS 68N05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001436849707536 |
|
Greibach, Sheila
|
||
| Berlin : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Top-down structured programming techniques / Clement L. McGowan, John R. Kelly
| Top-down structured programming techniques / Clement L. McGowan, John R. Kelly |
| Autore | McGowan, Clement L. |
| Pubbl/distr/stampa | New York : Van Nostrand Reinhold Co., 1975 |
| Descrizione fisica | vi, 288 p. : ill. ; 24 cm. |
| Disciplina | 001.642 |
| Altri autori (Persone) | Kelly, John R.author |
| Soggetto topico | Electronic digital computers-programming |
| ISBN | 0884053040 |
| Classificazione | QA76.6.M318 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001442309707536 |
|
McGowan, Clement L.
|
||
| New York : Van Nostrand Reinhold Co., 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
