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

Your search returned 1149 results. Subscribe to this search

|
561. Intelligent systems : the industrial electronics handbook

by | Wilamowski, Bogdan M., Ed.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: 1v.(various pagings).Publisher: Boca Raton Crc Press 2011Availability: No items available

562. Independence-friendly logic : a game-theoretic approach

by Mann, Allen L | Sandu, Gabriel.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge Cambridge University Press 2011Availability: No items available

563. A logical introduction to proof

by Cunningham, Daniel W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv, 356p.Publisher: New York Springer 2012Availability: No items available

564. Handbook of mathematical induction : theory and applications

by Gunderson, David S.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxv, 893p.Publisher: Boca Raton Crc Press 2011Availability: No items available

565. High performance ASIC design : using synthesizable domino logic in an ASIC flow

by Hossain, Razak.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 145p.Publisher: Cambridge Cambridge University Press 2008Availability: No items available

566. Logical labyrinths

by Smullyan, Raymond M.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 327p.Publisher: Massachusetts A K Peters 2009Availability: No items available

567. The character of logic in India

by Matilal, Bimal Krishna | Ganeri, Jonardon, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 180p.Publisher: New Delhi Oxford University Press 1998Availability: No items available

568. Nominal sets : names and symmetry in computer science

by Pitts, Andrew M.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 276p.Publisher: Cambridge Cambridge University Press 2013Availability: No items available

569. What logics mean : from proof theory to model-theoretic semantics

by Garson, James W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv, 285p.Publisher: Cambridge Cambridge University Press 2013Availability: No items available

570. Logic and structure

by Dalen, Dirk Van.

Edition: 5thMaterial type: book Book; Format: print ; Literary form: not fiction Description: x, 263p.Publisher: London Springer 2013Availability: No items available

571. Logical foundations of mathematics and computational complexity : a gentle introduction

by Pudlak, Pavel.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 695p.Publisher: Cham Springer 2013Availability: No items available

572. Elements of logical reasoning

by Plato, Jan Von.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 264p.Publisher: Cambridge Cambridge University Press 2013Availability: No items available

573. Modal logics and philosophy

by Girle, Rod.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: viii, 248p.Publisher: Ithaca Mcgill-Queen'S University Press 2009Availability: No items available

574. Frege reader

by | Beaney, Michael, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv, 409p.Publisher: New Jersey Wiley-Blackwell 1997Availability: No items available

575. Logic minimization algorithms for VLSI synthesis

by | Brayton, Robert K.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 193p.Publisher: Boston Kluwer Academic Publishers 1984Availability: No items available

576. The logic of infinity

by Sheppard, Barnaby.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiv, 473p.Publisher: Cambridge Cambridge University Press 2014Availability: No items available

577. Inductive fuzzy classification in marketing analytics

by Kaufmann, Michael.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 125p.Publisher: Switzerland Springer 2014Availability: No items available

578. Latest advances in inductive logic programming

by Muggleton, Stephen H | Watanabe, Hiroaki.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 247p.Publisher: London Imperial Press 2015Availability: No items available

579. Quantum foundations and open quantum systems : lecture notes of the Advanced School

by | Nieuwenhuizen, Theo M., Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 603p.Publisher: New Jersey World Scientific 2015Availability: No items available

580. E-recursion, forcing, and C*- algebras

by | Chong, Chitat, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 217p.Publisher: New Jersey World Scientific 2014Availability: No items available

Powered by Koha