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.
A practical approach to computing / W.Y.Arms, J.E. Baker, R.M. Pengelly
| A practical approach to computing / W.Y.Arms, J.E. Baker, R.M. Pengelly |
| Autore | Arms, W.Y. |
| Pubbl/distr/stampa | London [etc.] : John Wiley & Sons, c1976 |
| Disciplina | 001.642 |
| Soggetto non controllato | Teoria della computazione |
| ISBN | 0-471-03324-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001124350403321 |
Arms, W.Y.
|
||
| London [etc.] : John Wiley & Sons, c1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic complexity theory / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi
| Algebraic complexity theory / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi |
| Autore | Burgisser, Peter |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c1997 |
| Descrizione fisica | xxiii, 618 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Die Grundlehren der mathematischen Wissenschaften |
| Soggetto non controllato |
Teoria algebrica della complessita'
Teoria computazionale dei numeri Teoria della computazione Geometria algebrica |
| ISBN | 3-540-60582-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001360350403321 |
|
Burgisser, Peter
|
||
| Berlin : Springer-Verlag, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Complexity : Knots, coulorings and couting / D. J. A. Welsh
| Complexity : Knots, coulorings and couting / D. J. A. Welsh |
| Autore | Welsh, Dominic James Anthony <1938- > |
| Pubbl/distr/stampa | Cambridge (NY) : Cambridge University Press, c1993 |
| Descrizione fisica | viii, 163 p. ; 24 cm |
| Disciplina | 514.224 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato |
Teoria dei nodi
Teoria della computazione |
| ISBN | 0-521-45740-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001329720403321 |
|
Welsh, Dominic James Anthony <1938- >
|
||
| Cambridge (NY) : Cambridge University Press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computability : a mathematical sketchbook / Douglas S. Bridges
| Computability : a mathematical sketchbook / Douglas S. Bridges |
| Autore | Bridges, Douglas S. <1945- > |
| Pubbl/distr/stampa | New York : Springer Verlag, c1994 |
| Descrizione fisica | ix, 178 p. : ill. ; 24 cm |
| Disciplina |
511.3
160 |
| Collana | Graduate texts in mathematics |
| Soggetto non controllato |
Teoria della computazione
Funzioni computabili Logica Ricorsività |
| ISBN | 0-387-94174-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001330310403321 |
|
Bridges, Douglas S. <1945- >
|
||
| New York : Springer Verlag, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational complexity / Christos H. Papadimitriou
| Computational complexity / Christos H. Papadimitriou |
| Autore | Papadimitriou, Christos H. |
| Pubbl/distr/stampa | Reading, (Mass.) : Addison Wesley, c1994 |
| Descrizione fisica | xv, 523 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Teoria della computazione
Teoria dei dati Complessità computazionale |
| ISBN | 0-201-53082-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008285170403321 |
|
Papadimitriou, Christos H.
|
||
| Reading, (Mass.) : Addison Wesley, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational complexity : A quantitative perspective / Marius Zimand
| Computational complexity : A quantitative perspective / Marius Zimand |
| Autore | Zimand, Marius |
| Pubbl/distr/stampa | Amsterdam : Elsevier, c2004 |
| Descrizione fisica | xii,340 p. ; 24 cm |
| Disciplina | 004.15 |
| Collana | North-Holland |
| Soggetto non controllato |
Teoria della computazione
Teoria dei dati |
| ISBN | 0-444-82841-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008112090403321 |
|
Zimand, Marius
|
||
| Amsterdam : Elsevier, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elementi di teoria della computabilità logica, teoria dei linguaggi formali / M. Aiello, U. Montanari
| Elementi di teoria della computabilità logica, teoria dei linguaggi formali / M. Aiello, U. Montanari |
| Autore | Aiello, Mario |
| Pubbl/distr/stampa | Pisa : Editrice Tecnico Scientifica, 1972 |
| Descrizione fisica | 158 p. : ill. ; 24 cm |
| Disciplina | 514.224 |
| Altri autori (Persone) | Montanari, Ugo |
| Soggetto non controllato | Teoria della computazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000470200403321 |
| Aiello, Mario | ||
| Pisa : Editrice Tecnico Scientifica, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of computation theory : International Conference FCT 87 Kazan, USSR, June 22-26, 1987 Proceedings / editors L. Budach, R. G. Bukharajev, O. B. Lupanov
| Fundamentals of computation theory : International Conference FCT 87 Kazan, USSR, June 22-26, 1987 Proceedings / editors L. Budach, R. G. Bukharajev, O. B. Lupanov |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1987 |
| Descrizione fisica | xiv, 505 p. ; 24 cm |
| Disciplina | 004.O15 1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Teoria della computazione |
| ISBN | 3-540-18740-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001313960403321 |
| Berlin : Springer-Verlag, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinite words : Automata,semigroups,logic and games / D.Perrin,J.E. Pin
| Infinite words : Automata,semigroups,logic and games / D.Perrin,J.E. Pin |
| Autore | Perrin, Dominique |
| Pubbl/distr/stampa | Amsterdam : Elsevier, c2004 |
| Descrizione fisica | xi,538 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Pin, Jean-Eric |
| Collana | Pure and applied mathematics series |
| Soggetto non controllato |
Linguaggi formali ed automi
Teoria della computazione |
| ISBN | 0-12-532111-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990007905160403321 |
|
Perrin, Dominique
|
||
| Amsterdam : Elsevier, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Varietes de langages formels / by Pin
| Varietes de langages formels / by Pin |
| Autore | Pin, Jean-Eric |
| Pubbl/distr/stampa | Paris [etc.] : Masson, 1984 |
| Descrizione fisica | Etudes et recherches on informatique |
| Soggetto non controllato | Teoria della computazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990001276180403321 |
|
Pin, Jean-Eric
|
||
| Paris [etc.] : Masson, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||