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.
Combinatorics and ordered sets : proc. of AMS-IMS-SIAM Summer research conf. held at Humboldt State Univ., Arcata, August 11-17, 1985 / ed. Ivan Rival
| Combinatorics and ordered sets : proc. of AMS-IMS-SIAM Summer research conf. held at Humboldt State Univ., Arcata, August 11-17, 1985 / ed. Ivan Rival |
| Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, 1986 |
| Descrizione fisica | xvi, 285 p. ; 25 cm |
| Disciplina | 511.32 |
| Altri autori (Persone) | Rival, Ivan |
| Collana | Contemporary mathematics, 0271-4132 ; 57 |
| Soggetto topico |
Combinatorial set theory
Ordered sets - Congresses |
| ISBN | 0821850512 |
| Classificazione |
AMS 03D15
AMS 05-04 AMS 05C20 AMS 06-06 AMS 06-XX AMS 06A05 AMS 06A10 (1985) AMS 06C05 AMS 90B35 lc QA171.48.C65 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000758529707536 |
| Providence, R.I. : American Mathematical Society, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Complessità di calcolo delle funzioni / Giorgio Ausiello
| Complessità di calcolo delle funzioni / Giorgio Ausiello |
| Autore | Ausiello, Giorgio |
| Pubbl/distr/stampa | Torino : Boringhieri, 1975 |
| Descrizione fisica | 240 p. ; 21 cm |
| Disciplina |
001.535
511.326 |
| Collana |
Testi e manuali della scienza contemporanea Serie di informatica
Testi e manuali della scienza contemporanea. Serie di informatica |
| Soggetto topico |
Computational complexity
Functions |
| Classificazione |
AMS 03D15
AMS 68Q15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000766529707536 |
Ausiello, Giorgio
|
||
| Torino : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Complexity : knots, colourings, and counting / D. J. A. Welsh
| Complexity : knots, colourings, and counting / D. J. A. Welsh |
| Autore | Welsh, D. J. A. |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1993 |
| Descrizione fisica | viii, 163 p. : ill. ; 23 cm |
| Disciplina | 514.224 |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 186 |
| Soggetto topico |
Combinatorial analysis
Computational complexity Knot theory Statistical physics |
| ISBN | 0521457408 |
| Classificazione |
AMS 03D15
AMS 05C15 AMS 57M25 AMS 82B23 53.1.6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000771649707536 |
|
Welsh, D. J. A.
|
||
| Cambridge ; New York : Cambridge University Press, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Complexity and information / J. F. Traub, A. G. Werschulz
| Complexity and information / J. F. Traub, A. G. Werschulz |
| Autore | Traub, Joe Fred |
| Pubbl/distr/stampa | New York : Cambridge University Press, 1998 |
| Descrizione fisica | xii, 139 p. : ill. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Werschulz, Arthur G. |
| Altri autori (Enti) | Accademia Nazionale dei Lincei |
| Collana | Lezioni lincee |
| Soggetto topico | Computational complexity |
| ISBN | 0521485061 |
| Classificazione |
AMS 03D15
QA267.7.T7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000771719707536 |
|
Traub, Joe Fred
|
||
| New York : Cambridge University Press, 1998 | ||
| 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 | ||
| ||
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak
| Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak |
| Autore | Arora, Sanjeev |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 2009 |
| Descrizione fisica | xxiv, 579 p. : ill. ; 27 cm |
| Disciplina | 511.352 |
| Altri autori (Persone) | Barak, Boazauthor |
| Soggetto topico | Computational complexity |
| ISBN |
9780521424264 (hardback)
0521424267 (hardback) |
| Classificazione |
AMS 68-01
AMS 03D15 AMS 68Q15 AMS 68Q17 AMS 68Q25 AMS 81P68 AMS 94A60 LC QA267.7.A76 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002789769707536 |
|
Arora, Sanjeev
|
||
| Cambridge ; New York : Cambridge University Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Higher recursion theory / Gerald E. Sacks
| Higher recursion theory / Gerald E. Sacks |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1990 |
| Descrizione fisica | xv, 344 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic |
| Soggetto topico | Recursion theory |
| ISBN | 3540193057 |
| Classificazione |
AMS 03D
AMS 03D15 AMS 03D55 AMS 03D60 AMS 03D65 QA9.6.S23 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000978799707536 |
|
Sacks, Gerald E.
|
||
| Berlin : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Linguaggi modelli complessità / Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi
| Linguaggi modelli complessità / Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi |
| Autore | Ausiello, Giorgio |
| Pubbl/distr/stampa | Milano : F. Angeli, c2003 |
| Descrizione fisica | 428 p. : ill. ; 23 cm |
| Disciplina | 005.131 |
| Altri autori (Persone) |
D'Amore, Fabrizioauthor
Gambosi, Giorgioauthor |
| Collana | Scienze e tecnologie informatiche ; 11 |
| Soggetto topico |
Machine theory
Formal languages Computer programming |
| ISBN | 8846444701 |
| Classificazione |
AMS 68Q
AMS 03D15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | und |
| Record Nr. | UNISALENTO-991000989659707536 |
|
Ausiello, Giorgio
|
||
| Milano : F. Angeli, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
| Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi |
| Autore | Homer, Steven |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1990 |
| Descrizione fisica | 162 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Nerode, Anil
Platek, Richard A. Sacks, Gerald E. Scedrov, Andre Odifreddi, Piergiorgio |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1429 |
| Soggetto topico |
Computer science - Congresses
Logic - Congresses |
| ISBN | 3540527346 |
| Classificazione |
AMS 03B20
AMS 03B40 AMS 03B70 AMS 03D15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001093939707536 |
|
Homer, Steven
|
||
| Berlin : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Representation theory and dynamical systems / A. M. Vershik, editor
| Representation theory and dynamical systems / A. M. Vershik, editor |
| Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c1992 |
| Descrizione fisica | viii, 267 p. : ill. ; 26 cm |
| Disciplina | 510 |
| Altri autori (Persone) | Vershik, Anatoly Moiseevich |
| Collana | Advances in soviet mathematics, 1051-8037 ; 9 |
| Soggetto topico |
Differentiable dynamical systems
Representations of groups |
| ISBN | 0821841084 |
| Classificazione |
AMS 00B25
AMS 03D15 AMS 05A99 AMS 20C30 AMS 20C32 AMS 28D05 AMS 46K10 AMS 46L55 AMS 53C20 AMS 53C22 AMS 58A30 AMS 58B30 AMS 58F17 AMS 81R50 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001297659707536 |
| Providence, R.I. : American Mathematical Society, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||