top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Analog VLSI and neural systems / Carver Mead
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
Opac: Controlla la disponibilità qui
Arithmetic operations in digital computers / R. K. Richards
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
Opac: Controlla la disponibilità qui
Artificial neural networks : paradigms, applications, and hardware implementations / edited by Edgar Sanchez-Sinencio, Clifford Lau
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Computability & unsolvability / Martin Davis
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
Opac: Controlla la disponibilità qui
Computational complexity / Christos H. Papadimitriou
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
Opac: Controlla la disponibilità qui
Computational complexity theory / Juris Hartmanis, editor
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
Opac: Controlla la disponibilità qui
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors
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
DIMACS workshop on computer-aided verification <1990 ; Center for discrete mathematics and theoretical computer science>  
Providence, RI : American Mathematical Society ; Baltimore, Md : Association for Computing Machinery, c1991
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Introduction to the theory of neural computation / John Hertz, Anders Krogh, Richard G. Palmer
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
Opac: Controlla la disponibilità qui
Neural computing : an introduction / R. Beale, and T. Jackson
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
Opac: Controlla la disponibilità qui