Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / ed. Peter J. L. Wallis |
Autore | Ada software tools interfaces workshop <1983 ; Bath> |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
Descrizione fisica | 163 p. : ill. ; 25 cm. |
Disciplina | 001.6424 |
Altri autori (Persone) | Wallis, Peter J. L. |
Soggetto topico |
Ada (Computer program language) - Congresses
Electronic digital computers-programming |
ISBN | 3540138781 |
Classificazione |
AMS 68-06
AMS 68-XX CR D.2.2 LC QA76.73.A35 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000644239707536 |
Ada software tools interfaces workshop <1983 ; Bath> | ||
Berlin ; New York : Springer-Verlag, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Algorithms + data structures = programs / Niklaus Wirth |
Autore | Wirth, Niklaus |
Pubbl/distr/stampa | Englewood Cliffs, N. J. : Prentice-Hall, c1976 |
Descrizione fisica | xvii, 366 p. : ill. ; 23 cm. |
Disciplina | 001.6424 |
Collana | Prentice-Hall series in automatic computation |
Soggetto topico |
Computer algorithms
Data structures Electronic digital computers-programming |
ISBN | 0130224189 |
Classificazione |
AMS 68N05
LC QA76.6.W56 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000669109707536 |
Wirth, Niklaus | ||
Englewood Cliffs, N. J. : Prentice-Hall, c1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The art of computer programming / Donald E. Knuth |
Autore | Knuth, Donald Ervin |
Pubbl/distr/stampa | Reading, Mass. : Addison-Wesley, 1968-73 |
Descrizione fisica | 3 v. : ill. ; 25 cm |
Disciplina | 001.6 |
Collana | Addison-Wesley series in computer science and information processing |
Soggetto topico |
Electronic digital computers-programming
Nonnumerical algorithms Theory of computing |
Classificazione |
AMS 68Q20
AMS 68Q99 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
V. 1.: Fundamental algorithms
V. 2: Semi-numerical algorithms V. 3: Sorting and searching |
Record Nr. | UNISALENTO-991000699029707536 |
Knuth, Donald Ervin | ||
Reading, Mass. : Addison-Wesley, 1968-73 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The design and analysis of computer algorithms / Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman |
Autore | Aho, Alfred V. |
Pubbl/distr/stampa | Reading, Mass. : Addison-Wesley, c1974 |
Descrizione fisica | x, 470 p. : ill. ; 24 cm |
Disciplina | 001.642 |
Altri autori (Persone) |
Hopcroft, John E.
Ullman, Jeffrey D. |
Collana | Addison-Wesley series in computer science and information processing |
Soggetto topico |
Computer algorithms
Computer science Electronic digital computers-programming |
ISBN | 0201000296 |
Classificazione |
AMS 68-01
AMS 68-XX AMS 68Q20 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000810159707536 |
Aho, Alfred V. | ||
Reading, Mass. : Addison-Wesley, c1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
A discipline of programming / Edsger W. Dijkstra |
Autore | Dijkstra, Edsger Wybe |
Pubbl/distr/stampa | Englewood Cliffs, N.J. : Prentice-Hall, 1976 |
Descrizione fisica | xvii, 217 p. ; 24 cm. |
Disciplina | 001.642 |
Collana | Prentice-Hall series in automatic computation |
Soggetto topico |
Electronic digital computers-programming
Logic programming |
ISBN | 013215871X |
Classificazione | AMS 68N17 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000828789707536 |
Dijkstra, Edsger Wybe | ||
Englewood Cliffs, N.J. : Prentice-Hall, 1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Fundamentals of flowcharting / Thomas J. Schriber |
Autore | Schriber, Thomas J. |
Descrizione fisica | viii, 127 p. : ill. ; 28 cm. |
Disciplina | 005.12028 |
Soggetto topico |
Computer algorithms
Electronic digital computers-programming Flow charts |
ISBN | 0471763039 |
Classificazione | AMS 68N |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000920259707536 |
Schriber, Thomas J. | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Fundamentals of the average case analysis of particular algorithms / Rainer Kemp |
Autore | Kemp, Rainer |
Pubbl/distr/stampa | Chichester [West Sussex] ; New York ; Stuttgart : B. G. Teubner, c1984 |
Descrizione fisica | viii, 233 p. ; 24 cm. |
Disciplina | 519.4 |
Collana | Wiley-Teubner series in computer science |
Soggetto topico |
Computer algorithms
Electronic digital computers-programming |
ISBN | 0471903221 |
Classificazione |
AMS 65V05 (1985)
CR G.2 QA76.6.K53 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000920999707536 |
Kemp, Rainer | ||
Chichester [West Sussex] ; New York ; Stuttgart : B. G. Teubner, c1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Induction, recursion, and programming / Mitchell Wand |
Autore | Wand, Mitchell |
Pubbl/distr/stampa | New York : North Holland, c1980 |
Descrizione fisica | xii, 202 p. ; 24 cm. |
Disciplina | 001.642 |
Soggetto topico |
Electronic digital computers-programming
Induction Recursion theory Software |
ISBN | 0444003223 |
Classificazione |
AMS 03D
AMS 68N17 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000993699707536 |
Wand, Mitchell | ||
New York : North Holland, c1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Introduction to programming and computer science / Anthony Ralston |
Autore | Ralston, Anthony |
Pubbl/distr/stampa | New York : McGraw-Hill, c1971 |
Descrizione fisica | xxiii, 513 p. : ill. ; 23 cm. |
Disciplina | 001.642 |
Collana | McGraw-Hill computer sciences series |
Soggetto topico |
Electronic digital computers-programming
Programming languages |
ISBN | 0070511616 |
Classificazione | AMS 68N15 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001026609707536 |
Ralston, Anthony | ||
New York : McGraw-Hill, c1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The IOTA programming system : a modular programming environment / eds. R. Nakajima, T. Yuasa |
Autore | Nakajima, Reiji |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1983 |
Descrizione fisica | vii, 217 p. : ill. ; 25 cm. |
Disciplina | 001.642 |
Altri autori (Persone) | Yuasa, T.author |
Soggetto topico |
Electronic digital computers-programming
Modular programming |
ISBN | 3540126937 |
Classificazione |
AMS 68-XX
QA76.6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | en |
Record Nr. | UNISALENTO-991001044119707536 |
Nakajima, Reiji | ||
Berlin ; New York : Springer-Verlag, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|