PKK Library

Your cart is empty.

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

Your search returned 6 results. Subscribe to this search

Unhighlight Highlight
|
1.
Algorithmics : the spirit of computing

by Harel, David.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 425p.Publisher: Wokingham, England Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 H222a] (1).

Place hold Add to cart
2.
THE SCIENCE OF COMPUTING

by Harel, David.

Material type: book Book Description: xv,348.Publisher: Reading, Mass. Addison--Wesley c1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 H222s] (1).

Add to cart
3.
DYNAMIC LOGIC

by Harel,David,Kozen,Dexter | Tiuryn,Jerzy.

Material type: book Book Description: xv,459.Publisher: Mit Press, Cambridge c2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 H222D] (1).

Place hold Add to cart
4.
Come, let's play : scenario-based programming using LSCs and the play-engine

by Harel, David | Marelly, Rami.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 382p.Publisher: Berlin Springer 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 H222c] (1).

Place hold Add to cart
5.
Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / : [electronic resource] :

by Broy, Manfred [editor.] | Grünbauer, Johannes [editor.] | Harel, David [editor.] | Hoare, Tony [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 404 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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.
Algoritmi : Lo spirito dell’informatica / : [electronic resource] :

by Harel, David [author.] | Feldman, Yishai [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 616 pagg. online resource.Publisher: Milano : Springer Milan : Imprint: Springer, 2008.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