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

Your search returned 2255 results. Subscribe to this search

|
2221. High-level structures for quantum computing : [electronic resource] /

by Miszczak, Jarosław Adam.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xv, 113 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).

2222. Model-driven software engineering in practice : [electronic resource] /

by Brambilla, Marco | Cabot, Jordi | Wimmer, Manuel.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xv, 166 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 | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2223. Answer set solving in practice : [electronic resource] /

by Gebser, Martin.

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

2224. Packets with deadlines : a framework for real-time wireless networks / : [electronic resource] :

by Hou, I-Hong | Kumar, P. R.

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

2225. Data processing on FPGAs : [electronic resource] /

by Teubner, Jens | Woods, Louis.

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

2226. Arduino microcontroller processing for everyone! /

by Barrett, Steven F. (Steven Frank) 1957-, [author.].

Edition: Third edition.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xx, 493 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2013.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2227. Optimization and mathematical modeling in computer architecture /

by Nowatzki, Tony [author.] | Ferris, Michael C [author.] | Sankaralingam, Karthikeyan [author.] | Estan, Cristian [author.] | Vaish, Nilay [author.] | Wood, David Allen [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xiii, 144 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2228. General game playing /

by Genesereth, Michael R 1948-, [author.] | Thielscher, Michael [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xvi, 213 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2229. Datalog and logic databases /

by Greco, Sergio [author.] | Molinaro, Cristian [author.].

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

2230. Automated software diversity /

by Larsen, Per [author.] | Brunthaler, Stefan [author.] | Davi, Lucas [author.] | Sadeghi, Ahmad-Reza [author.] | Franz, Michael [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xi, 76 pages) : illustrations.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).

2231. An introduction to verification of visualization techniques /

by Etiene, Tiago [author.] | Kirby, Robert M 1975-, [author.] | Silva, Cláudio T [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xii, 80 pages) : illustrations.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).

2232. Statistical relational artificial intelligence : : logic, probability, and computation /

by Raedt, Luc de 1964-, [author.] | Kersting, Kristian [author.] | Natarajan, Sriraam [author.] | Poole, David L. (David Lynton) 1958-, [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xiv, 175 pages) : illustrations.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).

2233. Dynamic information retrieval modeling /

by Yang, Grace Hui [author.] | Sloan, Marc [author.] | Wang, Jun [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xvii, 126 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2234. Domain-sensitive temporal tagging /

by Strötgen, Jannik [author.] | Gertz, Michael [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xvii, 133 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2235. Geometric programming for design equation development and cost/profit optimization : : (with illustrative case study problems and solutions) /

by Creese, Robert C 1941-, [author.].

Edition: Third edition.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xvi, 194 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2017.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2236. BATS codes : : theory and practice /

by Yang, Shenghao [author.] | Yeung, Raymond W 1962-, [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xvii, 208 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2017.Other title: BATched Sparse codes.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2237. Smart charging and anti-idling systems /

by Huang, Yanjun (Mechanical engineer) [author.] | Fard, Soheil Mohagheghi [author.] | Khazraee, Milad [author.] | Wang, Hong (Engineer) [author.] | Khajepour, Amir [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (viii, 81 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2018.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2238. Data exploration using example-based methods /

by Lissandrini, Matteo [author.] | Mottin, Davide [author.] | Palpanas, Themis [author.] | Velegrakis, Yannis [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xvii, 146 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2019.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2239. Representation, inclusion, and innovation : : multidisciplinary explorations /

by Lewis, Clayton [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xviii, 93 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2018.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2240. Electrification of heavy-duty construction vehicles /

by Wang, Hong [author.] | Huang, Yanjun [author.] | Khajepour, Amir [author.] | Hu, Chuan [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xi, 94 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2018.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha