PKK Library

Your cart is empty.

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

Your search returned 12000 results. Subscribe to this search

Unhighlight Highlight
|
8361.
Soft Real-Time Systems : Predictability vs. Efficiency / : [electronic resource] :

by Buttazzo, Giorgio [author.] | Lipari, Giuseppe [author.] | Abeni, Luca [author.] | Caccamo, Marco [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 275 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
8362.
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
8363.
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
8364.
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
8365.
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
8366.
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
8367.
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
8368.
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
8369.
Knowledge Sharing in the Integrated Enterprise : Interoperability Strategies for the Enterprise Architect / : [electronic resource] :

by Bernus, Peter [editor.] | Fox, Mark [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 458 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
8370.
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design : IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia / : [electronic resource] :

by Rettberg, Achim [editor.] | Bobda, Christophe [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 147 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
8371.
Software Configuration Management Using Vesta : [electronic resource] /

by Heydon, Allan [author.] | Mann, Timothy [author.] | Levin, Roy [author.] | Yu, Yuan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 262 p. 50 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
8372.
Precision Assembly Technologies for Mini and Micro Products : Proceedings of the IFIP TC5 WG5.5 Third International Precision Assembly Seminar (IPAS ’2006), 19–21 February 2006, Bad Hofgastein, Austria / : [electronic resource] :

by Ratchev, Svetan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 336 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
8373.
Intelligence in Communication Systems : IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005 Montreal, Canada, October 17–19, 2005 / : [electronic resource] :

by Glitho, Roch [editor.] | Karmouch, Ahmed [editor.] | Pierre, Samuel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 312 p. 115 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
8374.
Computation Engineering : Applied Automata Theory and Logic / : [electronic resource] :

by Gopalakrishnan, Ganesh [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXVI, 472 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
8375.
System Modeling and Optimization : Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy / : [electronic resource] :

by Ceragioli, F [editor.] | Dontchev, A [editor.] | Futura, H [editor.] | Marti, K [editor.] | Pandolfi, L [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 300 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
8376.
Systems, Control, Modeling and Optimization : Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy / : [electronic resource] :

by Ceragioli, F [editor.] | Dontchev, A [editor.] | Furuta, H [editor.] | Marti, K [editor.] | Pandolfi, L [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 328 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
8377.
Modeling and Simulation Tools for Emerging Telecommunication Networks : Needs, Trends, Challenges and Solutions / : [electronic resource] :

by Nejat Ince, A [editor.] | Topuz, Ercan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIX, 510 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
8378.
Open Source Systems : IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy / : [electronic resource] :

by Damiani, Ernesto [editor.] | Fitzgerald, Brian [editor.] | Scacchi, Walt [editor.] | Scotto, Marco [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 351 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
8379.
Estimation of Dependences Based on Empirical Data : Empirical Inference Science Afterword of 2006 / : [electronic resource] :

by Vapnik, Vladimir [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 505 p. online resource.Publisher: New York, NY : Springer New York, 2006.Other title: Afterword of 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
8380.
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management : Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China / : [electronic resource] :

by Wang, Kesheng [editor.] | Kovacs, George L [editor.] | Wozny, Michael [editor.] | Fang, Minglun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 1046 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