|
|
1.
|
THE LOGIC OF INFORMATION STRUCTURES
by Wansing,Heinrich. Material type:  Book Description: ix,158.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
2.
|
ADVANCED ASIC CHIP SYNTHESIS
by Bhatnagar,Himanshu. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 284.Publisher: Kluwer Academic Publishers,Boston 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 B469A] (1).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
