Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Showing only available items
Show all items
Authors
Pierce, Benjamin C.
Shallit, Jeffrey
Winskel, Glynn
Item types
Books
Series
Foundations of compu...
Topics
Algorithms
Categories (Mathemat...
Computer science -- ...
Number theory -- Dat...
Programming language...
Your query retrived 3 records.
|
Unhighlight
Highlight
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)
1.
Algorithmic number theory : efficient algorithms. Volume 1
by
Shallit, Jeffrey.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Cambridge: MIT Press, 1996
Availability:
Items available for loan:
[
Call number:
512.72015118 BAC] (1).
Place hold
2.
Basic category theory for computer scientists
by
Pierce, Benjamin C.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Cambridge: MIT Press, 1991
Availability:
Items available for loan:
[
Call number:
511.3 BEN] (1).
Place hold
3.
Formal semantics of programming languages
by
Winskel, Glynn.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
London: MIT Press, 1993
Availability:
Items available for loan:
[
Call number:
005.131 WIN] (1).
Place hold
Powered by
Koha