PKK Library

Your cart is empty.

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

Your search returned 236 results. Subscribe to this search

Unhighlight Highlight
|
1.
Elements of thre theory of computattion

by Lewis,H.R | Papadimitriou, C. H.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 466p.Publisher: London Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 L586E] (3).

Place hold Add to cart
2.
Event-Triggered and Time-Triggered Control Paradigms : [electronic resource] /

by Obermaisser, Roman [author.] | SpringerLink (Online service).

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

Place hold Add to cart
3.
Education and the Knowledge Society : Information Technology supporting human development / : [electronic resource] :

by Weert, Tom J. van [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 306 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
4.
Network Control and Engineering for QoS, Security and Mobility, III : IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spain / : [electronic resource] :

by Gaïti, Dominique [editor.] | Galmés, Sebastià [editor.] | Puigjaner, Ramon [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 348 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
5.
Genetic Programming Theory and Practice II : [electronic resource] /

by O’Reilly, Una-May [editor.] | Yu, Tina [editor.] | Riolo, Rick [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 320 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
6.
Semistructured Database Design : [electronic resource] /

by Ling, Tok Wang [author.] | Lee, Mong Li [author.] | Dobbie, Gillian [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 178 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
7.
Technology Enhanced Learning : IFIP TC3 Technology Enhanced Learning Workshop (TeL’04), World Computer Congress, August 22–27, 2004, Toulouse, France / : [electronic resource] :

by Courtiat, Jean-Pierre [editor.] | Davarakis, Costas [editor.] | Villemur, Thierry [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XI, 190 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
8.
Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / : [electronic resource] :

by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 246 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
9.
History of Nordic Computing : IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16–18, 2003, Trondheim, Norway / : [electronic resource] :

by Bubenko, Janis [editor.] | Impagliazzo, John [editor.] | Sølvberg, Arne [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIX, 488 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
10.
Architecture Description Languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France / : [electronic resource] :

by Dissaux, Pierre [editor.] | Filali-Amine, Mamoun [editor.] | Michel, Pierre [editor.] | Vernadat, François [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 211 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
11.
Super-Recursive Algorithms : [electronic resource] /

by Burgin, Mark [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 304 p. 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
12.
Reliable Distributed Systems : Technologies, Web Services, and Applications / : [electronic resource] :

by Birman, Kenneth P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXVI, 668 p. 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
13.
Handbook of Nature-Inspired and Innovative Computing : Integrating Classical Models with Emerging Technologies / : [electronic resource] :

by Zomaya, Albert Y [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 736 p. 211 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
14.
Coordination of Large-Scale Multiagent Systems : [electronic resource] /

by Scerri, Paul [editor.1] | Vincent, R�gis [editor.1 ] | Mailler, Roger [editor.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 352 p. 15 illus. 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
15.
Genetic Programming Theory and Practice III : [electronic resource] /

by Yu, Tina [editor.] | Riolo, Rick [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 310 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
16.
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
17.
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
18.
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
19.
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
20.
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

Powered by Koha