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
|