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
Limit to currently available items.
Authors
Costan, Victor
Gulwani, Sumit
Your query retrived 2 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.
Program synthesis : foundations and trends in programming languages
by
Gulwani, Sumit.
Publisher:
Now Publishers Inc 2017
Availability:
No items available
2.
Secure processors Part I : background, taxonomy for secure enclaves and Intel SGX architecture
by
Costan, Victor.
Publisher:
Now Publishers Inc 2017
Availability:
No items available
Powered by
Koha
