PKK Library

Your cart is empty.

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

Your search returned 2732 results. Subscribe to this search

Unhighlight Highlight
|
2321.
The Calculus of Computation : Decision Procedures with Applications to Verification / : [electronic resource] :

by Bradley, Aaron R [author.] | Manna, Zohar [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 366 p. 60 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2322.
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques : Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings / : [electronic resource] :

by Huang, De-Shuang [editor.] | Heutte, Laurent [editor.] | Loog, Marco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: LIV, 1375 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Other title: Third International Conference on Intelligent Computing, ICIC 2007Qingdao, China, August 21-24, 2007, Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2323.
The Agent Modeling Language - AML : A Comprehensive Approach to Modeling Multi-Agent Systems / : [electronic resource] :

by Cervenka, Radovan [author.] | Trencansky, Ivan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XI, 355 p. online resource.Publisher: Basel : Birkhäuser Basel, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2324.
Brute Force : Cracking the Data Encryption Standard / : [electronic resource] :

by Curtin, Matt [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 292 p. 10 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).

Place hold Add to cart
2325.
The International Handbook of Virtual Learning Environments : [electronic resource] /

by Weiss, Joel [editor.] | Nolan, Jason [editor.] | Hunsinger, Jeremy [editor.] | Trifonas, Peter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: LXXII, 1614 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2326.
Programming for Peace : Computer-Aided Methods for International Conflict Resolution and Prevention / : [electronic resource] :

by Trappl, Robert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 463 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2327.
Physical Theory and its Interpretation : Essays in Honor of Jeffrey Bub / : [electronic resource] :

by Demopoulos, William [editor.] | Pitowsky, Itamar [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 283 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2328.
Digital Economy and Social Design : [electronic resource] /

by Sudoh, Osamu [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 236 p. online resource.Publisher: Tokyo : Springer Tokyo, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2329.
Teleophthalmology : [electronic resource] /

by Yogesan, Kanagasingam [editor.] | Kumar, Sajeesh [editor.] | Goldschmidt, Leonard [editor.] | Cuadros, Jorge [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVIII, 307 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2330.
Introduction to Computational Biology : An Evolutionary Approach / : [electronic resource] :

by Haubold, Bernhard [author.] | Wiehe, Thomas [author.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 328 p. online resource.Publisher: Basel : Birkh�user Basel, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2331.
Trust Management II : Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway / : [electronic resource] :

by Karabulut, Yücel [editor.] | Mitchell, John [editor.] | Herrmann, Peter [editor.] | Jensen, Christian Damsgaard [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 372 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2332.
Wireless Sensor and Actor Networks II : Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008 / : [electronic resource] :

by Miri, Ali [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 282 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2333.
From Grids to Service and Pervasive Computing : [electronic resource] /

by Priol, Thierry [editor.] | Vanneschi, Marco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 242 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2334.
Grid Computing : Achievements and Prospects / : [electronic resource] :

by Gorlatch, Sergei [editor.] | Fragopoulou, Paraskevi [editor.] | Priol, Thierry [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 288 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2335.
Advances in Ad Hoc Networking : Proceedings of the Seventh Annual Mediterranean Ad Hoc Networking Workshop, Palma de Mallorca, Spain, June 25–27, 2008 / : [electronic resource] :

by Cuenca, Pedro [editor.] | Guerrero, Carlos [editor.] | Puigjaner, Ramon [editor.] | Serra, Bartomeu [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 238 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2336.
Innovation in Manufacturing Networks : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008 / : [electronic resource] :

by Azevedo, Américo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 364 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2337.
Biologically-Inspired Collaborative Computing : IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy / : [electronic resource] :

by Hinchey, Mike [editor.] | Pagnoni, Anastasia [editor.] | Rammig, Franz J [editor.] | Schmeck, Hartmut [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 246 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2338.
History of Computing and Education 3 (HCE3) : IFIP 20th World Computer Congress, Proceedings of the Third IFIP Conference on the History of Computing and Education WG 9.7/TC9, History of Computing, September 7–10, 2008, Milano, Italy / : [electronic resource] :

by Impagliazzo, John [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 176 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2339.
Knowledge Management In Action : IFIP 20th World Computer Congress, Conference on Knowledge Management in Action, September 7-10, 2008, Milano, Italy / : [electronic resource] :

by Ackerman, Mark [editor.] | Dieng-Kuntz, Rose [editor.] | Simone, Carla [editor.] | Wulf, Volker [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 210 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2340.
Distributed Embedded Systems: Design, Middleware and Resources : [electronic resource] /

by Kleinjohann, Bernd [editor.] | Wolf, Wayne [editor.] | Kleinjohann, Lisa [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 226 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart

Powered by Koha