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.
Alcuni esempi di algoritmizzazione di problemi geometrici. Tesi di laurea / laureanda Filomena Rizzello ; relat. M. T. Bozzini
| Alcuni esempi di algoritmizzazione di problemi geometrici. Tesi di laurea / laureanda Filomena Rizzello ; relat. M. T. Bozzini |
| Autore | Rizzello, Filomena |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1987-88 |
| Disciplina | 511.8 |
| Altri autori (Persone) | Bozzini, M. Tugomira |
| Soggetto topico | Computing theory |
| Classificazione | AMS 68Q |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000650479707536 |
Rizzello, Filomena
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1987-88 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebraic complexity theory / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig
| Algebraic complexity theory / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig |
| Autore | Burgisser, Peter |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c1997 |
| Descrizione fisica | xxiii, 618 p. : ill. ; 24 cm. |
| Disciplina | 519.4 |
| Altri autori (Persone) |
Clausen, Michaelauthor
Shokrollahi, M. Aminauthor Lickteig, Thomas |
| Collana | Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 315 |
| Soggetto topico | Algebraic complexity theory |
| ISBN | 3540605827 |
| Classificazione |
AMS 05-XX
AMS 14A10 AMS 14P10 AMS 15-XX AMS 20C AMS 60C05 AMS 65F AMS 65T10 AMS 68Q |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000657119707536 |
|
Burgisser, Peter
|
||
| Berlin : Springer-Verlag, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algorithms : the construction, proof, and analysis of programs / Pierre Berlioux, Philippe Bizard ; transl. A. Williams
| Algorithms : the construction, proof, and analysis of programs / Pierre Berlioux, Philippe Bizard ; transl. A. Williams |
| Autore | Berlioux, Pierre |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Chichester : J. Wiley & Sons, 1986 |
| Descrizione fisica | ix, 144 p. ; 23 cm. |
| Disciplina | 001.642 |
| Altri autori (Persone) |
Bizard, Philippeauthor
Williams, Annyl |
| Soggetto topico |
Algorithms
Electronic digital computers Programming |
| ISBN | 0471908444 |
| Classificazione |
AMS 68Q
LC QA76.6.B471913 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000669069707536 |
|
Berlioux, Pierre
|
||
| Chichester : J. Wiley & Sons, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Applications of soft computing : recent trends / Ashutosh Tiwari ... [et al.] (eds.)
| Applications of soft computing : recent trends / Ashutosh Tiwari ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin : Springer, c2006 |
| Descrizione fisica | xix, 420 p. : ill. ; 24 cm |
| Disciplina | 006.3 |
| Altri autori (Persone) | Tiwari, Ashutoshauthor |
| Collana | Advances in soft computing, 1615-3871 |
| Soggetto topico |
Soft computing - Industrial applications - Congresses
Neural networks (Computer science) - Industrial applications - Congresses Fuzzy systems - Industrial applications - Congresses |
| ISBN | 3540291237 |
| Classificazione |
LC QA76.9.S63.A677
AMS 68-06 AMS 68Q |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002023179707536 |
| Berlin : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Aspectos teoricos da computacao : 11. Coloquio brasil. de Mat., Pocos de Caldas 11 - 23 Julho, 1977 / C. Lucchesi, I. Simon, I. Simon, J. Simon, T. Kowaltowski
| Aspectos teoricos da computacao : 11. Coloquio brasil. de Mat., Pocos de Caldas 11 - 23 Julho, 1977 / C. Lucchesi, I. Simon, I. Simon, J. Simon, T. Kowaltowski |
| Autore | Kowaltowsli, Towasz |
| Pubbl/distr/stampa | Rio De Janeiro : IMPA (Instituto de Matematica Pura e Aplicada), 1977 |
| Descrizione fisica | vi, 340 p. ; 22 cm. |
| Disciplina | 519.4 |
| Altri autori (Persone) |
Lucchesi, Cláudio L.
Simon, Imre Simon, Istvan Simon, Janos |
| Soggetto topico | Theory of computing |
| Classificazione | AMS 68Q |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | por |
| Record Nr. | UNISALENTO-991000699729707536 |
|
Kowaltowsli, Towasz
|
||
| Rio De Janeiro : IMPA (Instituto de Matematica Pura e Aplicada), 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability theory / Rebecca Weber
| Computability theory / Rebecca Weber |
| Autore | Weber, Rebecca |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2012 |
| Descrizione fisica | vii, 203 p. : ill. ; 22 cm |
| Disciplina | 511.352 |
| Collana | Student mathematical library, 1520-9121 ; 62 |
| Soggetto topico |
Recursion theory
Computable functions |
| ISBN | 9780821873922 |
| Classificazione |
AMS 03D
AMS 68Q LC QA9.6.W43 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001839319707536 |
|
Weber, Rebecca
|
||
| Providence, R. I. : American Mathematical Society, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability, complexity, logic / E. Börger
| Computability, complexity, logic / E. Börger |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1989 |
| Descrizione fisica | xx, 592 p. ; 23 cm. |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 128 |
| Soggetto topico |
Computable functions
Computational complexity Mathematical logic Symbolic logic |
| ISBN | 0444874062 |
| Classificazione |
AMS 03D
AMS 03D05 AMS 03D15 AMS 68Q QA9.59.B6713 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773079707536 |
|
Borger, Egon
|
||
| Amsterdam : North-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computer science : a first course / Alexandra I. Forsythe ... [et al.]
| Computer science : a first course / Alexandra I. Forsythe ... [et al.] |
| Autore | Forsythe, Alexandra I. |
| Pubbl/distr/stampa | New York : J. Wiley & Sons, c1969 |
| Descrizione fisica | xviii, 553 p. : ill. ; 24 cm. |
| Disciplina | 004 |
| Soggetto topico | Computer science |
| ISBN | 0471266787 |
| Classificazione | AMS 68Q |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000777609707536 |
|
Forsythe, Alexandra I.
|
||
| New York : J. Wiley & Sons, c1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | Hemel Hempstead : Prentice Hall, 1988 |
| Descrizione fisica | xiii, 330 p. : ill. ; 23 cm |
| Disciplina | 004 |
| Altri autori (Persone) | Lister, Andrew Martin |
| Collana | Prentice Hall International series in computer science |
| Soggetto topico | Computer science |
| ISBN | 0131659456 (pbk.) |
| Classificazione |
AMS 68Q
CR F.0 QA76.G589 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000777669707536 |
|
Goldschlager, Les
|
||
| Hemel Hempstead : Prentice Hall, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
CONPAR 81 : conference on Analysing Problem Classes and Programming for Parallel Computing, Nurnberg, June 10-12, 1981, proceedings / edited by Wolfgang Handler
| CONPAR 81 : conference on Analysing Problem Classes and Programming for Parallel Computing, Nurnberg, June 10-12, 1981, proceedings / edited by Wolfgang Handler |
| Autore | Handler, Wolfgang |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | xi, 507 p. : ill. ; 25 cm. |
| Disciplina | 001.64 |
| Soggetto topico |
Parallel processing
Parallel programming |
| ISBN | 0387108270 |
| Classificazione |
AMS 68Q
AMS 68Q10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000783089707536 |
|
Handler, Wolfgang
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
