Search Result Save to File Save as CSV
Your search for 13813 returns 4607 document(s)
Practical data science with R
Author: Zumel, Nina; | Call Number: 005.133 Zum p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A practical guide to the unix system V
Author: Sobell, Mark G.; | Call Number: 005.43 Sob p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A Practical course on operating systems
Author: Theaker, Colin J.; | Call Number: 005.43 The a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A practical guide to linux
Author: Sobell, Mark P.; | Call Number: 005.446 9 Sob p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A practical introduction to computer graphics
Author: Angell, Ian O; | Call Number: 006.6 Ang p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Practical applications of symbolic computation
Author: Howard, james C.; | Call Number: 511.8 Now p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification of a java compiler in isabelle, Hal. 63-77
Author: Martin Strecker; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification of a combination decision procedure, Hal. 347-362
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification of robotic messions and tasks, Hal. 231-238
Author: Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A staging calculus and its applications to the verification of translator,Hal 389-396
Author: Robert Muller; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   15 16 17 18 19 20 21 22 23 24  Next