Algorithmic information theory / Gregory J. Chaitin
| Algorithmic information theory / Gregory J. Chaitin |
| Autore | Chaitin, Gregory J. |
| Pubbl/distr/stampa | Cambridge : [etc.] University Press, 1987 (stampa 1990) |
| Descrizione fisica | 177 p. : ill. ; 25 cm |
| Disciplina | 005120 |
| Collana | Cambridge tracts in theoretical computer science |
| Soggetto non controllato |
algoritmi
elaboratori elettronici digitali - programmazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000183960203316 |
Chaitin, Gregory J.
|
||
| Cambridge : [etc.] University Press, 1987 (stampa 1990) | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automatic program debugging for intelligent tutoring systems / William R. Murray
| Automatic program debugging for intelligent tutoring systems / William R. Murray |
| Autore | Murray, William R. |
| Pubbl/distr/stampa | London : Pitman ; San Mateo (Calif.) : Morgan Kaufmann Publishers, 1988 |
| Descrizione fisica | 347 p. : ill. ; 24 cm |
| Disciplina | 00514 |
| Collana | Research notes in artificial intelligence |
| Soggetto non controllato |
elaboratori elettronici digitali - programmazione
istruzione assistita da elaboratore ricerca degli errori (informatica) |
| ISBN | 0-273-08795-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000232210203316 |
Murray, William R.
|
||
| London : Pitman ; San Mateo (Calif.) : Morgan Kaufmann Publishers, 1988 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer algorithms : introduction to design and analysis / Sara Baase
| Computer algorithms : introduction to design and analysis / Sara Baase |
| Autore | BAASE, Sara |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Readings (Mass.) [etc.] : Addison-Wesley, copyr. 1988 (stampa 1991) |
| Descrizione fisica | XV, 416 p. : ill. ; 25 cm |
| Disciplina | 5197 |
| Soggetto non controllato |
algoritmi
elaboratori elettronici digitali - programmazione |
| ISBN | 0-201-06035-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000246650203316 |
BAASE, Sara
|
||
| Readings (Mass.) [etc.] : Addison-Wesley, copyr. 1988 (stampa 1991) | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science : a modern introduction / Les Goldschlager, Andrew Lister
| Computer science : a modern introduction / Les Goldschlager, Andrew Lister |
| Autore | Goldschlager, Les |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1988 |
| Descrizione fisica | XIII, 330 p. ; 23 cm |
| Disciplina | 004 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato |
elaboratori elettronici digitali - programmazione
elaborazione elettronica dei dati |
| ISBN | 0-13-165945-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000228080203316 |
Goldschlager, Les
|
||
| New York [etc.] : Prentice Hall, copyr. 1988 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fast algorithms and their implementation on specialized parallel computers / J. Miklosko ... [et al.] ; edited by J. Miklosko
| Fast algorithms and their implementation on specialized parallel computers / J. Miklosko ... [et al.] ; edited by J. Miklosko |
| Pubbl/distr/stampa | Bratislava : VEDA ; Amsterdam [etc.] : North-Holland, 1989 |
| Descrizione fisica | XV, 261 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Special topics in supercomputing |
| Soggetto non controllato |
algoritmi
elaboratori elettronici digitali - programmazione |
| ISBN | 0-444-70141-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000233730203316 |
| Bratislava : VEDA ; Amsterdam [etc.] : North-Holland, 1989 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of the average case analysis of particular algorithms / Rainer Kemp
| Fundamentals of the average case analysis of particular algorithms / Rainer Kemp |
| Autore | Kemp, Rainer |
| Pubbl/distr/stampa | Stuttgart : Teubner ; Chichester [etc.] : John Wiley & Sons, copyr. 1984 |
| Descrizione fisica | VIII, 233 p. : ill. ; 24 cm |
| Disciplina | 004015 |
| Collana | Wiley-Teubner series in computer science |
| Soggetto non controllato | elaboratori elettronici digitali - programmazione |
| ISBN | 3-519-02100-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000240080203316 |
Kemp, Rainer
|
||
| Stuttgart : Teubner ; Chichester [etc.] : John Wiley & Sons, copyr. 1984 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest
| Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest |
| Autore | Cormen, Thomas H. |
| Pubbl/distr/stampa | Cambridge (Mass.) : MIT Press ; New York [etc.] : McGraw-Hill, copyr.1990 |
| Descrizione fisica | XVII, 1028 p. : ill. ; 26 cm |
| Disciplina | 0051 |
| Collana | MIT electrical engineering and computer science series |
| Soggetto non controllato |
algoritmi
elaboratori elettronici digitali - programmazione |
| ISBN | 0-262-03141-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000224330203316 |
Cormen, Thomas H.
|
||
| Cambridge (Mass.) : MIT Press ; New York [etc.] : McGraw-Hill, copyr.1990 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to scientific computing : a matrix-vector approach using MATLAB / Charles F. Van Loan
| Introduction to scientific computing : a matrix-vector approach using MATLAB / Charles F. Van Loan |
| Autore | Van Loan, Charles F. |
| Pubbl/distr/stampa | Upper Saddle River : Prentice Hall, copyr. 1997 |
| Descrizione fisica | VIII, 347 p. : ill. ; 24 cm |
| Disciplina | 510285 |
| Soggetto non controllato |
elaboratori elettronici digitali - programmazione
linguaggio matlab matematica applicata agli elaboratori elettronici |
| ISBN | 0-13-125444-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000256660203316 |
Van Loan, Charles F.
|
||
| Upper Saddle River : Prentice Hall, copyr. 1997 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical preliminaries for computer networking / David Claiborne
| Mathematical preliminaries for computer networking / David Claiborne |
| Autore | Claiborne, J.David |
| Pubbl/distr/stampa | New York [etc.] : John Wiley & Sons, copyr. 1990 |
| Descrizione fisica | X, 180 p. : ill. ; 24 cm |
| Disciplina | 00465 |
| Collana | Data communications and networkingfor computer programmers |
| Soggetto non controllato |
elaboratori elettronici digitali - programmazione
reti di elaboratori - matematica sistemi di trasmissione dati - matematica |
| ISBN | 0-471-51062-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000187750203316 |
Claiborne, J.David
|
||
| New York [etc.] : John Wiley & Sons, copyr. 1990 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics for the analysis of the algoritms / Daniel H. Greene, Donald E. Knuth
| Mathematics for the analysis of the algoritms / Daniel H. Greene, Donald E. Knuth |
| Autore | Greene, Daniel H. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Boston [etc.] : Birkauser, 1982 |
| Descrizione fisica | 123 p. ; 23 cm |
| Disciplina | 5194 |
| Collana | Progress in computer science |
| Soggetto non controllato |
algoritmi
elaboratori elettronici digitali - programmazione |
| ISBN | 3-7643-3012-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000229500203316 |
Greene, Daniel H.
|
||
| Boston [etc.] : Birkauser, 1982 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||