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
Barthelemy, Marc
Bentley, Lonnie D.
Caldarelli, Guido
Da Silva, Eduardo A.
Dennis, Alan
Diniz, Paulo S. R.
Erl, Thomas
Estrada, Ernesto
George, Joey F.
Hoffer, Jeffrey A.
Holtzblatt, Karen
Jackson, Robert B.
Klee, Harold
Langer, Arthur M.
Lathi, B. P.
Netto, Sergio L.
Roberts, Michael J.
Satzinger, John W.
Valacich, Joseph S.
Whitten, Jeffrey L.
Item types
Audio/Video
Books
CD-DVDs
Course Reserve
Series
CRC focus Series
Lecture notes in bus...
Morgan Kaufmann seri...
Understanding Comple...
Wiley series in syst...
Show more
Topics
Computational comple...
MATLAB
Signal processing
System analysis
System design
Show more
Your query retrived 121 records.
« Previous
1
2
3
4
5
6
7
|
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)
121.
Understanding behaviour of distributed systems using mCRL2
by
Atif, Muhammad
|
Groote, Jan Friso.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Cham : Springer, 2023
Availability:
Items available for loan:
[
Call number:
004.36 ATI] (1).
Place hold
« Previous
1
2
3
4
5
6
7
Powered by
Koha