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.
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 | ||
| ||
Boolean function complexity / edited by M. S. Paterson
| Boolean function complexity / edited by M. S. Paterson |
| Autore | Paterson, Michael S. |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1992 |
| Descrizione fisica | 201 p. : ill. ; 23 cm |
| Disciplina | 519.4 |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 169 |
| Soggetto topico |
Boolean algebra
Computational complexity - Congresses |
| ISBN | 0521408261 |
| Classificazione | AMS 68-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000720779707536 |
|
Paterson, Michael S.
|
||
| Cambridge : Cambridge University Press, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
CAAP'83 : trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983 / eds. G. Ausiello, M. Protasi
| CAAP'83 : trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983 / eds. G. Ausiello, M. Protasi |
| Autore | Ausiello, Giorgio |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1983 |
| Descrizione fisica | vi, 416 p. : ill. ; 25 cm |
| Disciplina | 511.5 |
| Altri autori (Persone) | Protasi, Marco |
| Soggetto topico |
Computational complexity - Congresses
Data structures - Congresses Trees-data processing |
| ISBN | 3540127275 |
| Classificazione |
AMS 68-06
AMS 68-XX QA166.2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000725959707536 |
|
Ausiello, Giorgio
|
||
| Berlin ; New York : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Combinatorics, computation & logic 99 : proceedings of DMTCS'99 and CATS'99, Auckland, New Zealand, 18-21 January 1999 / eds., C. S. Calude, M. J. Dinneen
| Combinatorics, computation & logic 99 : proceedings of DMTCS'99 and CATS'99, Auckland, New Zealand, 18-21 January 1999 / eds., C. S. Calude, M. J. Dinneen |
| Autore | DMTCS '99 <1999 ; Auckland, N. Z.> |
| Pubbl/distr/stampa | Singapore : Springer, c1999 |
| Descrizione fisica | viii, 368 p. : ill. ; 25 cm |
| Disciplina | 511.6 |
| Altri autori (Persone) |
Calude, C. S.
Dinneen, M. J. |
| Altri autori (Convegni) | Australasian Theory Symposium <1999 ; Auckland, N. Z.> |
| Collana | Australian computer science communications ; 21, 3 |
| Soggetto topico |
Combinatorial analysis - Congresses
Computational complexity - Congresses Logic, Symbolic and mathematical - Congresses |
| ISBN | 9814021563 |
| Classificazione |
AMS 68-06
AMS 00B25 LC QA164.D62 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Combinatorics, computation and logic, 99 |
| Record Nr. | UNISALENTO-991001282819707536 |
|
DMTCS '99 <1999 ; Auckland, N. Z.>
|
||
| Singapore : Springer, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computational group theory and the theory of groups, II : Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session, Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
| Computational group theory and the theory of groups, II : Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session, Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors |
| Autore | Harlaxton Conference on Computational Group Theory and Cohomology <2008 : Harlaxton College> |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2010 |
| Descrizione fisica | vii, 200 p. : ill. ; 26 cm |
| Disciplina | 512.2 |
| Altri autori (Persone) |
Kappe, Luise-Charlotte author
Magidin, Arturo author Morse, Robert Fitzgerald author |
| Collana | Contemporary mathematics, 0271-4132 ; 511 |
| Soggetto topico |
Group theory - Congresses
Computational complexity - Congresses |
| ISBN | 9780821848050 |
| Classificazione |
AMS 20-06
AMS 20B40 LC QA174.H37 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001850419707536 |
|
Harlaxton Conference on Computational Group Theory and Cohomology <2008 : Harlaxton College>
|
||
| Providence, R. I. : American Mathematical Society, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski
| Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski |
| Autore | International FCT-Conference <1983 ; Borgholm, Sweden> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1983 |
| Descrizione fisica | xi, 514 p. : ill. ; 24 cm. |
| Disciplina | 001.642 |
| Altri autori (Persone) | Karpinski, Marek |
| Soggetto topico |
Computational complexity - Congresses
Machine theory - Congresses |
| ISBN | 0387126899 (U.S.) |
| Classificazione |
AMS 68-06
CR C.2 CR E.2 CR E.3 CR E.4 CR F.2 CR F.3 CR F.4 CR G.2.1 QA267 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000904779707536 |
|
International FCT-Conference <1983 ; Borgholm, Sweden>
|
||
| Berlin : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / edited by Ferenc Gécseg
| Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / edited by Ferenc Gécseg |
| Autore | Gécseg, Ferenc |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | x, 471 p. : ill. ; 25 cm. |
| Disciplina | 511 |
| Soggetto topico |
Computational complexity - Congresses
Computer science - Congresses Machine theory - Congresses Theory of computing - Congresses |
| ISBN | 3540108548 |
| Classificazione |
AMS 68-06
AMS 68-XX AMS 68Q |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000919559707536 |
|
Gécseg, Ferenc
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Harmonic analysis, signal processing, and complexity : Festschrift in honor of the 60th birthday of Carlos A. Berenstein / Irene Sabadini, Daniele C. Struppa, David F. Walnut, editors
| Harmonic analysis, signal processing, and complexity : Festschrift in honor of the 60th birthday of Carlos A. Berenstein / Irene Sabadini, Daniele C. Struppa, David F. Walnut, editors |
| Pubbl/distr/stampa | Boston : Birkhäuser, c2005 |
| Descrizione fisica | xi, 162 p. : ill. ; 25 cm |
| Disciplina | 515.2433 |
| Altri autori (Persone) |
Berenstein, Carlos A.
Sabadini, Irene author Struppa, Daniele Carlo author Walnut, David F. |
| Collana | Progress in mathematics [Birkhauser], 0743-1643; 238 |
| Soggetto topico |
Harmonic analysis - Congresses
Signal processing - Congresses Computational complexity - Congresses |
| ISBN | 0817643583 |
| Classificazione |
AMS 00B30 (32-06 35-06 94A12)
AMS 32-06 AMS 35-06 AMS 94A12 LC QA403.H236 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001933249707536 |
| Boston : Birkhäuser, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding
| Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 456 p. : ill. ; 25 cm. |
| Disciplina | 511 |
| Altri autori (Persone) |
Hasenjaeger, G. author
Rodding, D. |
| Soggetto topico |
Computational complexity - Congresses
Decision making - Congresses Machine theory - Congresses |
| ISBN | 3540133313 |
| Classificazione |
AMS 03D05
AMS 62C AMS 68-06 AMS 90A05 QA267 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001094149707536 |
|
Borger, Egon
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / eds. Marek Karpinski, Jan van Leeuwen
| Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / eds. Marek Karpinski, Jan van Leeuwen |
| Autore | Karpinski, Marek |
| Pubbl/distr/stampa | Amsterdam ; New York : North-Holland, 1985 |
| Descrizione fisica | ix, 187 p. : ill. ; 25 cm. |
| Disciplina | 511 |
| Altri autori (Persone) | Leeuwen, Jan : van author |
| Collana | Annals of discrete mathematics ; 24 |
| Soggetto topico |
Computational complexity - Congresses
Computer science-mathematics Machine theory - Congresses |
| ISBN | 0444876472 |
| Classificazione |
AMS 68-XX
QA267 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001447249707536 |
|
Karpinski, Marek
|
||
| Amsterdam ; New York : North-Holland, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
