|
41.
|
DIGITAL DESIGN AND COMPUTER ARCHITECTURE
by Harris,David Money | Harris,Sarah L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,569.Publisher: Elsevier, Amsterdam 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381 H24D] (1).
|
|
42.
|
FUNDAMENTALS OF LOGIC DESIGN
by Roth,Charles H. Edition: 2Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,627.Publisher: West Pub. Co., St. Paul 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R742F2] (1).
|
|
43.
|
FUNDAMENTALS OF LOGIC DESIGN
by Roth,Charles H. Edition: 3Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,676.Publisher: West Pub. Co., St. Paul 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R742F3] (1).
|
|
44.
|
DIGITAL DESIGN AND IMPLEMENTATION WITH FIELD PROGRAMMABLE DEVICES
by Navabi,Zainalabedin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,293.Publisher: Kluwer Academic Publishers, Massachusetts 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 N22D] (1).
|
|
45.
|
LOGICALLY DETERMINED DESIGN
by Fant,Karl M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,292.Publisher: John Wiley & Sons Inc., New Jersey 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381 F218L] (1).
|
|
46.
|
Digital design
by Karim, Mohammad A | Chen, Xinghao. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 490p.Publisher: Boca Raton Crc Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 K146d] (1).
|
|
47.
|
Advanced BDD optimization
by Ebendt, Rudiger | Fey, Gorschwin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 222p.Publisher: Dordrecht Springer 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 Eb34a] (1).
|
|
48.
|
Symbolic model checking
by Mcmillan, Kenneth L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 194p.Publisher: Boston Kluwer Academic 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M459s] (1).
|
|
49.
|
Timed boolean functions
: a unified formalism for exact timing analysis
by Lam, William K. C | Brayton, Robert K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 273p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L16t] (1).
|
|
50.
|
Digital circuit boards
: mach 1 GHz
by Morrison, Ralph. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 163p.Publisher: New Jersey John Wiley & Sons 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.382 M834d] (1).
|
|
51.
|
Logic minimization algorithms for VLSI synthesis
by | Brayton, Robert K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 193p.Publisher: Boston Kluwer Academic Publishers 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38173 L829b] (1).
|
|
52.
|
ICCAD-89 Description: xxv,580.Publisher: Ieee Computer Society Press,Washington,D.C. 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.00420285 IN8] (1).
|
|
53.
|
MULTIPLE-VALUED LOGIC Description: xii,368.Publisher: Ieee Computer Society Press,Los Alamitos 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 IN8I] (1).
|
|
54.
|
INTRODUCTION TO LOGIC DESIGN
by Yanushkevich, Svetlana N | Shmerko, Vlad P | . Description: xxii.Publisher: Boca Raton Crc Press,Boca Raton 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 Y17i] (1).
|
|
55.
|
Adapting Proofs-as-Programs
: The Curry-Howard Protocol /
: [electronic resource] :
by Poernomo, Iman Hafiz [author.] | Wirsing, Martin [author.] | Crossley, John Newsome [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 420 p. 54 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
56.
|
Computational Intelligence in Fault Diagnosis
: [electronic resource] /
by Palade, Vasile [editor.] | Jain, Lakhmi [editor.] | Bocaniala, Cosmin Danut [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 362 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
57.
|
Practical Problems in VLSI Physical Design Automation
: [electronic resource] /
by Lim, Sung Kyu [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 264 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
58.
|
High-Level Synthesis
: From Algorithm to Digital Circuit /
: [electronic resource] :
by Coussy, Philippe [editor.] | Morawiec, Adam [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 297 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
59.
|
Identification of Continuous-time Models from Sampled Data
: [electronic resource] /
by Garnier, Hugues [editor.] | Wang, Liuping [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVI, 413 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
60.
|
Logic Synthesis for Compositional Microprogram Control Units
: [electronic resource] /
by Barkalov, Alexander [editor.] | Titarenko, Larysa [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 272 p. 247 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|