|
|
|
Separation Logic for High-level Synthesis [electronic resource] / by Felix Winterstein.
by Winterstein, Felix [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic [electronic resource] / by Enric Trillas.
by Trillas, Enric [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Logic Design Using Verilog [electronic resource] : Coding and RTL Synthesis / by Vaibbhav Taraate.
by Taraate, Vaibbhav [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New Delhi : Springer India : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Reversible Logic Synthesis Methodologies with Application to Quantum Computing [electronic resource] / by Saleem Mohammed Ridha Taha.
by Ridha Taha, Saleem Mohammed [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
ASIC/SoC Functional Design Verification [electronic resource] : A Comprehensive Guide to Technologies and Methodologies / by Ashok B. Mehta.
by Mehta, Ashok B [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamentals of Electronic Systems Design [electronic resource] / by Jens Lienig, Hans Bruemmer.
by Lienig, Jens [author.] | Bruemmer, Hans [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Testing of Interposer-Based 2.5D Integrated Circuits [electronic resource] / by Ran Wang, Krishnendu Chakrabarty.
by Wang, Ran [author.] | Chakrabarty, Krishnendu [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
New Data Structures and Algorithms for Logic Synthesis and Verification [electronic resource] / by Luca Gaetano Amaru.
by Amaru, Luca Gaetano [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Eye and brain : the psychology of seeing / by Richard L. Gregory.
by Gregory, R. L. (Richard Langton) [author.]. Edition: Fifth edition.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Princeton, N.J. : Princeton University Press, 1997Other title: Psychology of seeing.Online access: Click here to access online Availability: No items available
|
|
|
|
How to Solve It : a New Aspect of Mathematical Method.
by Polya, G. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Princeton University Press, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability / Rod Downey, Noam Greenberg.
by Downey, R. G. (Rod G.) [author.] | Greenberg, Noam, 1974- [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Princeton, New Jersey : Princeton University Press, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
What makes us smart : the computational logic of human cognition / Samuel Gershman.
by Gershman, Samuel J, 1985- [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Princeton, New Jersey : Princeton University Press, [2021]Online access: Click here to access online Availability: No items available
|
|
|
|
Practical Problems in VLSI Physical Design Automation [electronic resource] / by Sung Kyu Lim.
by Lim, Sung Kyu [author.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced signal integrity for high-speed digital designs / Stephen H. Hall, Howard L. Heck.
by Hall, Stephen H | Heck, Howard L. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Hoboken, N.J. : Wiley : [2009]Publisher: IEEE, [2009]Copyright date: ©2009Online access: Wiley Online Library Availability: No items available
|
|
|
|
Fundamentals of Digital Circuits
by Kumar,A.A. Edition: 4Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi PHI 2019Availability: Items available for loan:
[Call number: 621.3815 K96F]
(1).
|
|
|
|
Digital Design: Introduction to the Verilog HDL, VHDL and SystemVerilog
by MANO, M.M | Ciletti, Michael D. Edition: 6Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chennai Pearson 2018Availability: Items available for loan:
[Call number: 621.381958 M280D]
(1).
|
|
|
|
Digital Logic and Computer Design
by Mano,M.M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi PHI 2013Availability: Items available for loan:
[Call number: 621.381958 M285D]
(1).
|
|
|
|
Discrete Mathematical Structures
by Chandrasekharaiah, D. S. Edition: 4Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Bangaluru Prism Books 2014-15Availability: Items available for loan:
[Call number: 512 C29D]
(1).
|
|
|
|
Discrete Mathematical Structures
by Kolman, Bernard | Busby, Robert C | Ross, Sharon. Edition: 6Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi PHI 2012Availability: Items available for loan:
[Call number: 512 K811D]
(2).
|
|
|
|
INTRODUCTION TO DATABASE SYSTEMS
by DATE,C.J. Edition: 7Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Pearson Education Availability: Items available for loan:
[Call number: 621.3819535 D232I]
(1).
|
