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
Birtwistle, Graham
Moller, Faron
Struth, Georg
Item types
Books
Series
Lecture notes in com...
Undergraduate topics...
Topics
Automata theory
Computer science -- ...
Electronic data proc...
Linear temporal logi...
Parallel processing
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.
Logics for concurrency : structure versus automata
by
Moller, Faron
|
Birtwistle, Graham.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Berlin: Springer, 1996
Availability:
Items available for loan:
[
Call number:
004 MOL] (1).
Place hold
2.
Modelling computer systems : mathematics of computer science
by
Moller, Faron
|
Struth, Georg.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
London: Springer, 2013
Availability:
Items available for loan:
[
Call number:
004.0151 MOL] (1).
Place hold
Powered by
Koha