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.
Software Engineering 1 : Abstraction and Modelling / : [electronic resource] :

by Bj�rner, Dines [author.1] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XL, 714 p. 38 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.
Software Engineering 2 : Specification of Systems and Languages / : [electronic resource] :

by Bj�rner, Dines [author.1] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 780 p. 151 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
3.
Introduction to C++ Programming and Graphics : [electronic resource] /

by Pozrikidis, Constantine [author.] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 372 p. online resource.Publisher: 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
4.
Temporal Logic and State Systems : [electronic resource] /

by Kr�ger, Fred [author.1] | Merz, Stephan [author.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 436 p. 34 illus. online resource.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
5.
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms : [electronic resource] /

by Ma, Zhe [editor.1 ] | Marchal, Pol [editor.1 ] | Scarpazza, Daniele Paolo [editor.1 ] | Yang, Peng [editor.1 ] | Wong, Chun [editor.1 ] | G�mez, Jos� Ignacio [editor.1 ] | [editor.1 ] | [editor.1 ] | [editor.2 ] | .

Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 264 p. online resource.Dordrecht : Springer Netherlands, 2007. Online access: Click here to access online Availability: Items available for loan: (1).

Place hold Add to cart

Powered by Koha