|
|
61.
|
Computer Simulation Studies in Condensed-Matter Physics XVIII
: Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7–11, 2005 /
: [electronic resource] :
by Landau, David P [editor.] | Lewis, Steven P [editor.] | Schüttler, Heinz-Bernd [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: IX, 173 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
62.
|
Taxonomies for the Development and Verification of Digital Systems
: [electronic resource] /
by Bailey, Brian [editor.] | Martin, Grant [editor.] | Anderson, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 180 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
63.
|
New Algorithms, Architectures and Applications for Reconfigurable Computing
: [electronic resource] /
by Lysaght, Patrick [editor.] | Rosenstiel, Wolfgang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 314 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
64.
|
Fault-Tolerance Techniques for SRAM-based FPGAs
: [electronic resource] /
by Kastensmidt, Fernanda Lima [author.] | Carro, Luigi [author.] | Reis, Ricardo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 184 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
65.
|
A Roadmap for Formal Property Verification
: [electronic resource] /
by DasGupta, Pallab [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 252 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
66.
|
Fundamentals of electronic systems design
by Lienig, Jens | Bruemmer, Hans. Description: xiii, 241p.Publisher: Switzerland Springer 2017Availability: No items available Checked out (1).
|
|
|
67.
|
Introduction to logic circuits & logic design with VHDL
by LaMeres, Brock J. Description: xvi, 475p.Publisher: Switzerland Springer 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L182i] (1).
|
|
|
68.
|
Introduction to logic synthesis using Verilog HDL
: [electronic resource] /
by Reese, Robert B. (Robert Bryan) 1958- | Thornton, Mitchell Aaron. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (vii, 75 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2006Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
69.
|
Designing asynchronous circuits using NULL convention logic (NCL)
: [electronic resource] /
by Smith, Scott C | Di, Jia. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (x, 86 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
70.
|
Progress in applications of Boolean functions
: [electronic resource] /
by Sasao, Tsutomu 1950- | Butler, Jon T. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 139 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
71.
|
Representation of multiple-valued logic functions
: [electronic resource] /
by Stanković, Radomir S | Astola, Jaakko | Moraga, Claudio. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiii, 154 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
72.
|
Datalog and logic databases /
by Greco, Sergio [author.] | Molinaro, Cristian [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiii, 155 pages).Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
73.
|
Digital design [5th ed.] [Perpetual access till 2027]
by Mano, Morris M | Ciletti, Michael D. Edition: 5th ed. Publisher: Harlow Pearson Education 2013Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 M317d5] (1).
|
|
|
74.
|
Logic and computer design fundamentals [4th ed.] [Perpetual access till 2027]
by Mano, M. Morris R | Charles R. Kime. Edition: 4th ed. Publisher: Pearson Education 2008Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M317l4] (1).
|
