Analog VLSI and neural systems / Carver Mead |
Autore | Mead, Carver |
Pubbl/distr/stampa | Reading, Massachusetts : Addison-Wesley, c1989 |
Descrizione fisica | xxii, 371 p. ; 24 cm |
Disciplina | 001.535 |
Soggetto topico |
Integrated circuits
Neural computers |
ISBN | 0201059924 |
Classificazione |
AMS 68Q05
CR C.1.3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000676299707536 |
Mead, Carver | ||
Reading, Massachusetts : Addison-Wesley, c1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Arithmetic operations in digital computers / R. K. Richards |
Autore | Richards, R. K. |
Pubbl/distr/stampa | New York : Van Nostrand Reinhold Co., 1955 |
Descrizione fisica | 397 p. , 23 cm. |
Disciplina | 001.64 |
Soggetto topico |
Computation
Switching theory |
Classificazione |
AMS 68Q05
AMS 94C10 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000697679707536 |
Richards, R. K. | ||
New York : Van Nostrand Reinhold Co., 1955 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Artificial neural networks : paradigms, applications, and hardware implementations / edited by Edgar Sanchez-Sinencio, Clifford Lau |
Autore | Lau, Clifford |
Pubbl/distr/stampa | Piscataway, N. J. : IEEE (Institute of Electrical and Electronics Engineers), c1992 |
Descrizione fisica | x, 549 p. : ill. ; 29 cm. |
Disciplina | 621.3815 |
Altri autori (Persone) | Sanchez-Sinencio, Edgar |
Soggetto topico |
Electronic circuits
Electronic systems Neural networks |
ISBN | 0879422890 |
Classificazione |
AMS 68Q05
CR F.1.1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000699429707536 |
Lau, Clifford | ||
Piscataway, N. J. : IEEE (Institute of Electrical and Electronics Engineers), c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Coding theory and quantum computing : an International Conference on Coding Theory and Quantum Computing, May 20-24, 2003, University of Virginia / David Evans ... [et al.] editors |
Autore | International Conference on Coding Theory and Quantum Computing <2003 ; University of Virginia> |
Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2005 |
Descrizione fisica | xiii, 147 p. : ill. ; 26 cm |
Disciplina | 530.12 |
Altri autori (Persone) | Evans, Davidauthor |
Collana | Contemporary mathematics, 0271-4132 ; 381 |
Soggetto topico |
Quantum theory - Mathematics - Congresses
Coding theory - Mathematics - Congresses Quantum computers - Mathematics - Congresses Cryptography - Mathematics - Congresses |
ISBN | 0821836005 |
Classificazione |
AMS 81P68
AMS 68Q05 AMS 94B05 AMS 05E20 LC QC173.96.I53 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001299999707536 |
International Conference on Coding Theory and Quantum Computing <2003 ; University of Virginia> | ||
Providence, R. I. : American Mathematical Society, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Computability & unsolvability / Martin Davis |
Autore | Davis, Martin |
Pubbl/distr/stampa | New York : McGraw-Hill, 1958 |
Descrizione fisica | xxv, 210 p. ; 22 cm. |
Disciplina | 511.35 |
Collana | McGraw-Hill series in information processing and computers |
Soggetto topico |
Models of computation
Recursive functions |
Classificazione |
AMS 03D10
AMS 03D20 AMS 68Q05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000772859707536 |
Davis, Martin | ||
New York : McGraw-Hill, 1958 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Computational complexity / Christos H. Papadimitriou |
Autore | Papadimitriou, Christos H. |
Pubbl/distr/stampa | Reading, Mass. : Addison-Wesley, c1994 (reprinted 1995) |
Descrizione fisica | xv, 523 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Soggetto topico | Computational complexity |
ISBN | 0201530821 |
Classificazione |
AMS 68Q05
AMS 68Q10 LC QA267.7.P36 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001635729707536 |
Papadimitriou, Christos H. | ||
Reading, Mass. : Addison-Wesley, c1994 (reprinted 1995) | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Computational complexity theory / Juris Hartmanis, editor |
Autore | Hartmanis, Juris |
Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c1989 |
Descrizione fisica | ix, 128 p. ; 25 cm |
Disciplina | 511.3 |
Collana | Proceedings of symposia in applied mathematics, 0160-7634 ; 38. AMS short course lecture notes |
Soggetto topico | Computational complexity |
ISBN | 0821801317 |
Classificazione |
AMS 68Q05
AMS 68Q10 AMS 68Q20 AMS 68Q75 QA267.C592 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000773869707536 |
Hartmanis, Juris | ||
Providence, R.I. : American Mathematical Society, c1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors |
Autore | DIMACS workshop on computer-aided verification <1990 ; Center for discrete mathematics and theoretical computer science> |
Pubbl/distr/stampa | Providence, RI : American Mathematical Society ; Baltimore, Md : Association for Computing Machinery, c1991 |
Descrizione fisica | xii, 628 p. : ill. ; 27 cm |
Disciplina | 621.3815 |
Altri autori (Persone) |
Clarke, Edmund M.
Kurshan, R. P. |
Collana | DIMACS series in discrete mathematics and theoretical computer science, 1052-798 ; 3 |
Soggetto topico |
Computer - Aided design - Congresses
Digital integrated circuits-Design and construction-Data processing - Congresses |
ISBN |
0821865943 (AMS : alk. paper)
0897913868 (ACM : alk. paper) |
Classificazione |
AMS 68-06
AMS 68M15 AMS 68Q05 AMS 68Q60 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000776179707536 |
Introduction to the theory of neural computation / John Hertz, Anders Krogh, Richard G. Palmer |
Autore | Hertz, John A. |
Pubbl/distr/stampa | Redwood City, California : Addison-Wesley, c1991 |
Descrizione fisica | xxii, 327 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Altri autori (Persone) |
Krogh, Andersauthor
Palmer, Richard G. |
Collana |
Santa Fe Institute studies in the sciences of complexity. Lecture notes
Computation and neural systems series ; 1 |
Soggetto topico |
Neural circuitry
Neural computers Neural networks |
ISBN | 0201503956 |
Classificazione |
AMS 68Q05
CR C.1.3 QA76.5.H475 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001031779707536 |
Hertz, John A. | ||
Redwood City, California : Addison-Wesley, c1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Neural computing : an introduction / R. Beale, and T. Jackson |
Autore | Beale, R. |
Pubbl/distr/stampa | Bristol ; Philadelphia : Inst. Phys. Univ. Bristol, c1969 |
Descrizione fisica | xv, 240 p. ; 23 cm. |
Disciplina | 008.3 |
Altri autori (Persone) | Jackson, T.author |
Soggetto topico |
Artificial intelligence
Neural computers |
ISBN | 0852742622 |
Classificazione |
AMS 68Q05
CR I.5.1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001165239707536 |
Beale, R. | ||
Bristol ; Philadelphia : Inst. Phys. Univ. Bristol, c1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|