Search Result Save to File Save as CSV
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