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.
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak
| 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak |
| Autore | International conference on automated deduction <7. ; 1984 ; Napa, California> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 508 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Shostak, Robert E. |
| Soggetto topico |
Automatic theorem proving - Congresses
Symbolic logic - Congresses |
| ISBN | 3540960228 |
| Classificazione |
AMS 68-06
AMS 68-XX CR I.1 CR J.2 QA76.9.A96158 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001341109707536 |
International conference on automated deduction <7. ; 1984 ; Napa, California>
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / ed. Peter J. L. Wallis
| 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 | ||
| ||
Advances in computers / edited by Franz Alt, Morris Rubinoff
| Advances in computers / edited by Franz Alt, Morris Rubinoff |
| Pubbl/distr/stampa | New York : Academic Press, 1960-1975 |
| Descrizione fisica | 14 v. ; 23 cm. |
| Disciplina | 004.611 |
| Altri autori (Persone) |
Alt, Franz
Rubinoff, Morris |
| Soggetto topico | Computer science - Congresses |
| Classificazione |
AMS 68-06
LC QA76.A3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000647329707536 |
| New York : Academic Press, 1960-1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
| Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1995 |
| Descrizione fisica | vi, 389 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Girard, Jean-Yves
Lafont, Yves Regnier, Laurent |
| Altri autori (Convegni) | Linear logic workshop <1993 ; Mathematical Sciences Institute, Cornell University> |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 222 |
| Soggetto topico | Symbolic and mathematical logic - Congresses |
| ISBN | 0521559618 |
| Classificazione |
AMS 03-06
AMS 68-06 AMS 68N15 QA9.A1L56 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000647729707536 |
| Cambridge ; New York : Cambridge University Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
AICA 93 Congresso annuale : atti 22-24 settembre 1993 - Gallipoli (Lecce) / Associazione Italiana per l'Informatica ed il Calcolo Automatico
| AICA 93 Congresso annuale : atti 22-24 settembre 1993 - Gallipoli (Lecce) / Associazione Italiana per l'Informatica ed il Calcolo Automatico |
| Autore | Associazione italiana per il calcolo automatico |
| Pubbl/distr/stampa | Bari : Laterza, 1993 |
| Descrizione fisica | xix, 796 p. ; 24 cm |
| Disciplina | 001.64 |
| Soggetto topico | Computer science - Congresses |
| Classificazione |
AMS 68-06
AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000648719707536 |
|
Associazione italiana per il calcolo automatico
|
||
| Bari : Laterza, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
AICA 93 International section : parallel and distributed architectures and algorithms : conference proceedings 22-24 settembre 1993 - Gallipoli (Lecce) / Associazione Italiana per l'Informatica ed il Calcolo Automatico
| AICA 93 International section : parallel and distributed architectures and algorithms : conference proceedings 22-24 settembre 1993 - Gallipoli (Lecce) / Associazione Italiana per l'Informatica ed il Calcolo Automatico |
| Autore | Associazione italiana per il calcolo automatico |
| Pubbl/distr/stampa | Bari : Laterza, 1993 |
| Descrizione fisica | xv, 319 p. ; 24 cm |
| Disciplina | 001.64 |
| Soggetto topico | Computer science - Congresses |
| Classificazione |
AMS 68-06
AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000648789707536 |
|
Associazione italiana per il calcolo automatico
|
||
| Bari : Laterza, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa
| Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa |
| Pubbl/distr/stampa | Amsterdam : North-Holland |
| Descrizione fisica | 2 v. : ill. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) |
Demetrovics, Janós
Katona, G. Salomaa, Arto |
| Altri autori (Convegni) | Colloquium on algebra, combinatories, and logic in computer Science <1983 ; Györ, Hungary> |
| Collana | Colloquia Mathematica Societatis János Bolyai, 0139-3383 ; 42 |
| Soggetto topico |
Computer arithmetic - Congresses
Algebra - Congresses Symbolic and mathematical logic - Congresses |
| ISBN | 0444878696 (set) |
| Classificazione |
LC QA76.9.C62
AMS 03-06 AMS 05-06 AMS 68-06 AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000652819707536 |
| Amsterdam : North-Holland | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebraic combinatorics and computer science : a tribute to Gian-Carlo Rota / H. Crapo, D. Senato (eds.).
| Algebraic combinatorics and computer science : a tribute to Gian-Carlo Rota / H. Crapo, D. Senato (eds.). |
| Pubbl/distr/stampa | Milano : Springer, c2001 |
| Descrizione fisica | x, 546 p. : ill. ; 24 cm |
| Disciplina | 511.6 |
| Altri autori (Persone) |
Rota, Gian Carlo
Crapo, Henry H. Senato, Domenicoauthor |
| Soggetto topico |
Combinatorial analysis
Computer science |
| ISBN | 8847000785 |
| Classificazione |
AMS 00B30
AMS 05-06 AMS 68-06 LC QA164.A42 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000949569707536 |
| Milano : Springer, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A. P. Ershov and D.E. Knuth
| Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A. P. Ershov and D.E. Knuth |
| Autore | Ershov, Andrei P. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | xi, 487 p. : ill. ; 24 cm. |
| Disciplina |
001.642
511.8 |
| Altri autori (Persone) | Knuth, Donald E. |
| Soggetto topico |
Computer algorithms - Congresses
Computer science - Congresses Programming - Congresses |
| ISBN | 3540111573 |
| Classificazione |
AMS 68-06
AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000669669707536 |
|
Ershov, Andrei P.
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Analytic computational complexity / edited by J. F. Traub
| Analytic computational complexity / edited by J. F. Traub |
| Autore | Traub, Joe Fred |
| Pubbl/distr/stampa | New York : Academic Press, 1976 |
| Descrizione fisica | ix, 239 p. ; 24 cm. |
| Disciplina | 005.1 |
| Altri autori (Enti) | Carnegie-Mellon University : Computer Science Dept |
| Altri autori (Convegni) | Symposium on analytic computational Complexity <1975 ; Carnegie-Mellon University> |
| Soggetto topico |
Computational complexity - Congresses
Numerical analysis-data processing - Congresses |
| ISBN | 0126975604 |
| Classificazione | AMS 68-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000681829707536 |
|
Traub, Joe Fred
|
||
| New York : Academic Press, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
