| Your search for 19415 returns 1529 document(s) |
| Sas business intelligence reporting project pada klien PT SAS Institute |
|
Author: Windu Masardi; | Call Number: KP-1750 (Softcopy KP-1312) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| American institute for decision sciences proceedings tenth annual meeting of the american institute for decision sciences st. Louis, Missouri October 30-November1, 1978 |
|
Call Number: SEM-124 | Type: Prosiding Seminar
|
|
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
|
| Performance evaluation of fingerprint verification systems, page 3 |
|
Author: R. Cappelli | 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
|
| 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
|
| 3D face verification from range data, 47-51 |
|
Author: Juan Zhou, Yongping Li, Xinyu Ao, JingyanWang; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
Search Result