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
Jerrum, Mark
Krantz, Steven G.
Item types
Books
Series
Lectures in mathemat...
Topics
Axiomatics and Form...
Algorithms
Boolean Algebra
Category Theory
Combinatorial enumer...
Computational comple...
Proof Theory
Semantics and Syntax
Set Theory
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.
Counting, sampling and integrating : algorithms and complexity
by
Jerrum, Mark.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Basel: Birkhauser Verlag, 2003
Availability:
Items available for loan:
[
Call number:
511.62 JER] (1).
Place hold
2.
Handbook of Logic and Proof Techniques for Computer Science
by
Krantz, Steven G.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Basel: Birkhauser Verlag, 2002
Availability:
Items available for loan:
[
Call number:
004 KRA] (1).
Place hold
Powered by
Koha