PKK Library

Your cart is empty.

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

Your search returned 5 results. Subscribe to this search

Unhighlight Highlight
|
1.
Introduction to Reliable Distributed Programming : [electronic resource] /

by Guerraoui, Rachid [author.] | Rodrigues, Lu�s [author.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 300 p. 31 illus. online resource.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
2.
Computer-Aided Design of User Interfaces V : [electronic resource] /

by Calvary, Ga�lle [editor.1 ] | Pribeanu, Costin [editor.1 ] | Santucci, Giuseppe [editor.1 ] | Vanderdonckt, Jean [editor.2 ] | SpringerLink (Online service)0.

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

Place hold Add to cart
3.
Rationale-Based Software Engineering : [electronic resource] /

by Burge, Janet E [author.] | Carroll, John M [author.1] | McCall, Raymond [author.1] | Mistrik, Ivan [author.2] | SpringerLink (Online service)0.

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

Place hold Add to cart
4.
Compiling Esterel : [electronic resource] /

by Potop-Butucaru, Dumitru [author.] | Edwards, Stephen A [author.1] | Berry, G�rard [author.2 ] | SpringerLink (Online service)0.

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

Place hold Add to cart
5.
Fine- and Coarse-Grain Reconfigurable Computing : [electronic resource] /

by Vassiliadis, Stamatis [editor.1] | Soudris, Dimitrios [editor.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 381 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.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