PKK Library

Your cart is empty.

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

Your search returned 11761 results. Subscribe to this search

Unhighlight Highlight
|
141.
Software Engineering Techniques Applied to Agricultural Systems : An Object-Oriented and UML Approach / : [electronic resource] :

by Papajorgji, Petraq J [author.] | Pardalos, Panos M [author.] | SpringerLink (Online service).

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

Place hold Add to cart
142.
Adapting Proofs-as-Programs : The Curry-Howard Protocol / : [electronic resource] :

by Poernomo, Iman Hafiz [author.] | Wirsing, Martin [author.] | Crossley, John Newsome [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 420 p. 54 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
143.
Privacy and Technologies of Identity : A Cross-Disciplinary Conversation / : [electronic resource] :

by Strandburg, Katherine J [editor.] | Raicu, Daniela Stan [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
144.
Curves and Surfaces for Computer Graphics : [electronic resource] /

by Salomon, David [author.] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 460 p. 207 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
145.
Hyperspectral Data Compression : [electronic resource] /

by Motta, Giovanni [editor.] | Rizzo, Francesco [editor.] | Storer, James A [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
146.
Computational Genome Analysis : An Introduction / : [electronic resource] :

by Deonier, Richard C [author.] | [author.1 ] | S [author.2 ] | S.

Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 535 p. online resource.New York, NY : Springer New York, 2005. Online access: Click here to access online Availability: Items available for loan: (1).

Place hold Add to cart
147.
Information Systems Development : Advances in Theory, Practice, and Education / : [electronic resource] :

by Vasilecas, Olegas [editor.] | Wojtkowski, Wita [editor.] | Zupančič, Jože [editor.] | Caplinskas, Albertas [editor.] | Wojtkowski, W. Gregory [editor.] | Wrycza, Stanisław [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
148.
Handbook of Mathematical Models in Computer Vision : [electronic resource] /

by Paragios, Nikos [editor.] | Chen, Yunmei [editor.] | Faugeras, Olivier [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
149.
A Classical Introduction to Cryptography Exercise Book : [electronic resource] /

by Baig�neres, Thomas [author.1] | Lu, Yi [author.1 ] | Vaudenay, Serge [author.1 ] | Junod, Pascal [author.1 ] | Monnerat, Jean [author.2 ] | SpringerLink (Online service)0.

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

Place hold Add to cart
150.
Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges : IFIP TC8 WG 8.2 International Working Conference, August 1–3, 2005, Cleveland, Ohio, U.S.A. / : [electronic resource] :

by Sørensen, Carsten [editor.] | Yoo, Youngjin [editor.] | Lyytinen, Kalle [editor.] | DeGross, Janice I [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
151.
New Horizons of Parallel and Distributed Computing : [electronic resource] /

by Guo, Minyi [editor.] | Yang, Laurence Tianruo [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
152.
Combinatorial Optimization in Communication Networks : [electronic resource] /

by Cheng, Maggie Xiaoyan [editor.] | Li, Yingshu [editor.] | Du, Ding-Zhu [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
153.
Similarity Search The Metric Space Approach : [electronic resource] /

by Zezula, Pavel [author.] | Amato, Giuseppe [author.] | Dohnal, Vlastislav [author.] | Batko, Michal [author.] | SpringerLink (Online service).

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

Place hold Add to cart
154.
Optical WDM Networks : [electronic resource] /

by Mukherjee, Biswanath [author.] | SpringerLink (Online service).

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

Place hold Add to cart
155.
Industrial Applications of Semantic Web : Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25–27, 2005, Jyväskylä, Finland / : [electronic resource] :

by Bramer, Max [editor.] | Terziyan, Vagan [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
156.
Artificial Intelligence Applications and Innovations : IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China / : [electronic resource] :

by Li, Daoliang [editor.] | Wang, Baoji [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
157.
Collaborative Networks and Their Breeding Environments : IFIP TC5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26–28 September, 2005, Valencia, Spain / : [electronic resource] :

by Camarinha-Matos, Luis M [editor.] | Afsarmanesh, Hamideh [editor.] | Ortiz, Angel [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
158.
Hop Integrity in the Internet : [electronic resource] /

by Huang, Chin-Tser [author.] | Gouda, Mohamed G [author.] | SpringerLink (Online service).

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

Place hold Add to cart
159.
Future Generation Grids : Proceedings of the Workshop on Future Generation Grids November 1–5, 2004, Dagstuhl, Germany / : [electronic resource] :

by Getov, Vladimir [editor.] | Laforenza, Domenico [editor.] | Reinefeld, Alexander [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 308 p. 30 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Other title: Proceedings of the Workshop on Future Generation Grids November 1-5, 2004, Dagstuhl, Germany.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
160.
Methods and Procedures for the Verification and Validation of Artificial Neural Networks : [electronic resource] /

by Taylor, Brian J [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 278 p. online resource.Publisher: Boston, MA : Springer US, 2006.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