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 - progr |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000103660203316 |
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 - progr
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-990000126940203316 |
Murray, William R.
|
||
| London : Pitman ; San Mateo (Calif.) : Morgan Kaufmann Publishers, 1988 | ||
| 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 - progr
elaborazione elettronica dei dati |
| ISBN | 0-13-165945-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000124720203316 |
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 - progr |
| ISBN | 0-444-70141-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000128170203316 |
| 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 - progr |
| ISBN | 3-519-02100-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000132000203316 |
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 (stampa 1992) |
| 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 - progr |
| ISBN | 0-262-03141-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000121880203316 |
Cormen, Thomas H.
|
||
| Cambridge (Mass.) : MIT Press ; New York [etc.] : McGraw-Hill, copyr.1990 (stampa 1992) | ||
| 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 - progr
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-990000107350203316 |
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 - progr |
| ISBN | 3-7643-3012-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000125790203316 |
Greene, Daniel H.
|
||
| Boston [etc.] : Birkauser, 1982 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
More programming pearls : confessions of a coder / Jon Bentley
| More programming pearls : confessions of a coder / Jon Bentley |
| Autore | Bentley, Jon Louis |
| Pubbl/distr/stampa | Reading (Mass.) [etc.] : Addison-Wesley, copyr. 1988 |
| Descrizione fisica | VII, 207 p. : ill., tab. ; 24 cm. |
| Disciplina | 005 |
| Soggetto non controllato | elaboratori elettronici digitali - progr |
| ISBN | 0-201-11889-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000164090203316 |
Bentley, Jon Louis
|
||
| Reading (Mass.) [etc.] : Addison-Wesley, copyr. 1988 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principi di ingegneria del software / Roger S. Pressman
| Principi di ingegneria del software / Roger S. Pressman |
| Autore | Pressman, Roger S. |
| Pubbl/distr/stampa | Milano : McGraw-Hill Libri Italia, 1991 |
| Disciplina | 005.1 |
| Soggetto non controllato | elaboratori elettronici digitali - progr |
| ISBN | 88-386-0224-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000168470203316 |
Pressman, Roger S.
|
||
| Milano : McGraw-Hill Libri Italia, 1991 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||