Search Result Save to File Save as CSV
Your search for 25753 returns 5496 document(s)
Multicomputers and image processing algorithms and programs
Call Number: 621.367 Mul | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Programming in the 1990s : an introduction to the calculations of programs
Author: Cohen, Edward; | Call Number: 005 Coh p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The specification of computer programs/Wladyslaw M. Turski
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Numerical Methods: with Programs in C and C++/T.Veerarajan dan T. Ramachandran
Author: Veerarajan, T.; | Call Number: 519.4 Vee n | Edition: 2004th | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Invasive Patterns for Distributed Programs (772-789)
Author: Luis Daniel Benavides Navarro Mario Sudholt Remi Douence Jean-Marc Menaud; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Proving that Programs Are Differentially Private (3-18)
Author: Annabelle Mclver Carroll Morgan; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Practical verification of embedded software, page 68
Author: Jorgen Staunstrup | Type: Indeks Artikel Jurnal
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 
Prev   6 7 8 9 10 11 12 13 14 15  Next