Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
AUTHORS (1-3 of 3)
Harel David 1950
1
Mark
Algorithmics : the spirit of computing.
Harel, David, 1950-
Addison Wesley Longman, 1987.
1987
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room Mezzanine
005.1 HAR
4 WEEK LOAN
AVAILABLE
2
Mark
First-order dynamic logic.
Harel, David, 1950-
Berlin : Springer, 1979.
1979
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9 H2
8 WEEK LOAN
AVAILABLE
3
Mark
The science of computing : exploring the nature and power of algorithms.
Harel, David, 1950-
Reading : Addison-Wesley, 1989.
1989
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76 H2
8 WEEK LOAN
AVAILABLE