Search Result
Save to File
Your search for
38754
returns
4057
document(s)
Real-time systems: formal specification and automatic verification
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Temporal verification of research reactive systems: safety
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Problems for a computer-oriented calculus
Author: Allen, Richard C.; | Call Number: 515 All p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Computer calculus: a laboratory manual
Author: Schreiner, Axel T.; | Call Number: 515.2 Sch c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Computer calculus: a laboratory manual
Author: Schreiner, Axel T.; | Call Number: 515.2 Sch c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Handbook of theoritical computer science: vol. B. formal models and semantics/J.Van Leeuwen
Call Number: R. 004.02 Han | Type: Buku Referensi
Find Similar
|
Add To Favorites
|
Detail in New Window
Handbook of theoritical computer science: vol.a. format moedels and semantics/J. Van Leeuwen
Call Number: R.004.02 Han | Type: Buku Referensi
Find Similar
|
Add To Favorites
|
Detail in New Window
Network calculus: a theory of deterministic queueing systems for the internet
Call Number: 511.5 Bou n | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Object data management: object-oriented and extended relational database systems
Author: Cattell, Roderic G.; | Call Number: 005.75 Cat o | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Object data management: object-oriented and extended relational database systems
Author: Cattell, R.Geoffrey Galton; | Call Number: 005.75 Cat o | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
12
13
14
15
16
17
18
19
20
21
Next