Skip to main content
Nirma University Library
Your cart is empty.
Cart
Lists
Public lists
nucone and nuicone
New Arrival 2025
New Arrival Book/Book on Display - ITNU
VS Naipaul, Nobel Laureate
Blyton - book list
Intellectual Property
National Engineers Day
List of Books for First Year (Engineering)
Tourism Day
World Tourism Day
View all
Your lists
Log in to create your own lists
Log in with Nirma Official email id
Your cookies
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
All Item type
Audio Cassette
Book
Book Bank IT
Bound Volume
Case Study
CD/DVD
Competitive Exam Book
Conference
Dissertation
E-Book
E-Journal
eBook Reader
Equipment
Floppies
Institutional Membership
Institutional Publication
Membership Card
Minor Project Report
Moot Memorials
Periodicals
Photo Albums
Photo CDs
Project Report
Psychometric
Reference Book
Staff Training Manual
Standard
Synopsis
Thesis
Video Cassette
Video CD
Advanced search
Tag cloud
Libraries
Log in to your account
×
Log in with Google
If you do not have a Google account, but do have a local account, you can still log in:
Login:
Password:
Home
Advanced search
Results of search for 'au:"Harel, David"'
Refine your search
Availability
Limit to records with available items
Authors
Harel, David
(2)
Kozen, Dexter
(1)
Tiuryn, Jerzy
(1)
Collections
General
(2)
Holding libraries
Institute of Management
(1)
Institute of Technology
(1)
Item types
Book
(2)
Your search returned 2 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
New Arrival Book/Book on Display - ITNU
Intellectual Property
Tourism Day
Competitive Exam Corner - ITNU
Body Language
R Books
Cancer Books
FS Books
Constitution
Freedom Fighters of India
[ New list ]
Place hold
Results
1.
Dynamic Logic
by
Harel, David
Tiuryn, Jerzy
Kozen, Dexter
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
New Delhi
Prentice-Hall of India Pvt. Ltd.
2007
Availability:
Items available for loan:
Institute of Technology
(2)
Call number:
004.015113 HAR, ..
.
Place hold
Add to cart
(remove)
2.
Algorithmics: The Spirit of Computing
by
Harel, David
Edition:
2nd ed
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Harlow
Addison Wesley Longman Limited
2000
Availability:
Items available for loan:
Institute of Management
(1)
Call number:
511.8 HAR
.
Place hold
Add to cart
(remove)
Pages
© 2025 by NIMA Knowledge Centre, Ahmedabad.
Koha version 24.05
