| Your search for 2084 returns 5651 document(s) |
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed) |
|
Author: International Conference, CAV'95; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the international conference on advanced computer science and information systems (ICACSIS 2010) Bali 20 th-23 rd November 2010 |
|
Call Number: SEM-297 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg |
|
Author: International Conference, CAV'97; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CSCW'92 sharing perspectives: proceedings of the confrence on computer-supported cooperative work October 31 to November 4 1992 Toronto, Canada/John Turner |
|
Call Number: SEM-180 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pattern recognition in practice II/ E.S. Gelsema and L.N. Kanal editor |
|
Call Number: 006.4 Pat | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook for matrix computation/Coleman Thomas F. [et.al] |
|
Author: Coleman, Thomas F.; | Call Number: 512.943 4 Col h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fuzzy models for pattern recognition: methods that search for structures in data/by James C. Bezdek Samkar K. Pal. |
|
Author: Bezdek, James C.; | Call Number: 006.4 Bez f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The MATLAB 5 handbook/ Eva Part-Enander; Anders Sjoberg |
|
Author: Part-Enander, Eva; | Call Number: 519.402 Par m | Edition: 2003 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Sistem pengenalan plat nomor mobil menggunakan sensor kamera video, Hal. 54-59 |
|
Author: Resmana Lim; Lukman Vendy W. & Kartika Gunadi; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perangkat lunak pendukung perawatan ortodonti berbasis jaringan saraf tiruan, Hal. 343-346 |
|
Author: Shinta Puspasari; M. Rahmat Widyanto; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result