PKK Library catalog › Results of search for 'au:"Harel, David"'

Refine your search

Availability
- Limit to currently available items.
Authors
- Broy, Manfred. (1)
- Harel, David (3)
- Harel, David. (2)
- Harel,David,Kozen,Dexter (1)
- Hoare, Tony. (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (6)
Home libraries
- PK Kelkar Library, IIT Kanpur (6)
Item types
- Books (4)
- E books (2)
Series
Topics
- Algorithms (2)
- Algorithms. (1)
- Computer Logic (1)
- Computer programming. (1)
- Computer science. (1)
- Computer Science. (1)
- Computers. (2)
- Electronic Data Processing (2)
- Formal Methods (Computer Science) (1)
- Mathematics. (1)
- Models and Principles. (1)
- Programming languages (Electronic computers). (1)
- Programming Languages, Compilers, Interpreters. (1)
- Programming Techniques. (1)
- Software engineering (1)
- Software engineering. (1)
- Software Engineering. (1)
- Theory of Computation. (2)

	1.	Algorithmics : the spirit of computing by Harel, David. Material type: 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 (remove)
	2.	THE SCIENCE OF COMPUTING by Harel, David. Material type: 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 (remove)
	3.	DYNAMIC LOGIC by Harel,David,Kozen,Dexter \| Tiuryn,Jerzy. Material type: 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 (remove)
	4.	Come, let's play : scenario-based programming using LSCs and the play-engine by Harel, David \| Marelly, Rami. Material type: 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 (remove)
	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; Format: electronic available online ; 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 (remove)
	6.	Algoritmi : Lo spirito dell’informatica / : [electronic resource] : by Harel, David [author.] \| Feldman, Yishai [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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 (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics