Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Your search returned 305 results. Subscribe to this search

|
301. Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning

by Coecke, Bob | Kissinger, Aleks.

Description: xvii, 827p.Publisher: Cambridge Cambridge University Press 2017Availability: No items available Checked out (1).

302. An introduction to non-classical logic [2nd ed.] : from If to Is

by Priest, Graham.

Edition: 2nd ed. Description: xxxii, 613p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933i2 cop.2] (4). Checked out (1).

303. Designing asynchronous circuits using NULL convention logic (NCL) : [electronic resource] /

by Smith, Scott C | Di, Jia.

Material type: book Book; Format: available online remote; 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).

304. Chaotic maps : dynamics, fractals, and rapid fluctuations / : [electronic resource] :

by Chen, Goong 1950- | Huang, Yu 1963-.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xiii, 227 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

305. Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1).

Powered by Koha