| Your search for 51791 returns 1985 document(s) |
| Software engineering : analysis and verification |
|
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification in component software, Hal. 411-420 |
|
Author: Rakhmad Azhari; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The complexity of verification,Hal 365-371 |
|
Author: R.P.Kurshan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program construction and verification |
|
Author: Backhouse, Roland; | Call Number: 005 Bac p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering: analysis and verification |
|
Author: Lewis, T.G.; | Call Number: 004 Lew s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software verification and validation |
|
Author: Deutsch, Michael S.; | Call Number: 005.3 Deu s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Genetic algorithms in optimization of 3-D face recognition system using cylindrical-hidden layer neural network in its eigenspace domain, hal. 55-63 |
|
Author: Benyamin Kusumoputro , Martha Yuliana P. and Leila Fatmasari Rachman | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI VOL.1 NO. 2 Oktober 2001 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cncer Lungs Detection on CT Scan Image Using Artifiial Neural Network Backpropagation Based Gray Level Coocurrence Matries Featre. Hal 327-333 |
|
Author: Lilik Anifah, Haryanto, Rina Harimurti, Zaimah Permatasari, Puput Wanarti Rusimamto, Adman Ridiantho Muhamd; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Recognition of Isolated Handwritten Latin Characters Using One Continuous Route of Freeman Chain Code Representation and Feedforward Neural Network Classifier (53-59) |
|
Author: Dewi Nasien
Siti S. Yuhaniz
Habibollah Haron; | Call Number: SEM-321 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result