| Your search for 36795 returns 2725 document(s) |
| A Sat based approach for solving formulas over boolean and linear mathematical propositions, Hal. 193-210 |
|
Author: Gilles Audemard; Piergiorgio Bertoli, Alessandro Cimatti; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bayesian approach based comment spam defending tool, (LNCS-Lecture Notes in Computer Science 5576) Hal. 578-587 |
|
Author: Beatrice cynthia Dhinakaran; Dhinaharan Nagamalai; Jac-Kwang Lee; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A mathematical approach towards trust based security in pervasive computing environment, (LNCS-Lecture Notes in Computer Science 5576) Hal 702-711 |
|
Author: Naima Iltaf; Mukhtar Hussain; Farrukh Kamran; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trace table based approach for pipelined microprocessor verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 364-375 |
|
Author: Jun Sawada; Warren A. Hunt Jr; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trace table based approach for pipelined microprocessor verfication, (LNCS-Lecture Notes in Computer Science 1254), Hal. 364-375 |
|
Author: Jun Sawada and Warren A. Hunt Jr.; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Study the factors affecting the use of internet based on behavioral aspects of students and student approach by using the otechnology acceptance modelso, 73-80 |
|
Author: Kusuma Hati, Herlawati; | Call Number: SEM-348 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A knowledge-based approach in video frame processing using iterative qualitative data analysis. ( hal. 270-276 ) |
|
Author: Norizan Mohamad, Muthukkaruppan Annamalai, Siti Salwa; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal syntax and semantics of programming languages: a laboratory based approach/Kenneth Slonneger, Barry L. Kurtz |
|
Author: Slonneger, Kenneth; | Call Number: 005.131 Slo f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interactive computer graphics a top-down approach with shader-based open GL 6th ed. |
|
Author: Angel, Edward; | Call Number: 006.66 Ang i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Kajian penerapan dominance-based rough SET approach dalam menentukan peringkat kualitas aplikasi berorientasi objek |
|
Author: Ardhi Tomiarfi; | Call Number: T-0763 (Softcopy T-0418) | Edition: 2009 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result