Search Result Save to File Save as CSV
Your search for 52303 returns 1909 document(s)
Content-based image retrieval with emergence index using fuzzy logic, HAL. 155 - 161
Author: Sagarmay Deb; Siddhivinayak Kulkarni; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Hardware verification using monadic second-order logic, (LNCS-Lecture Notes in Computer Science 939) Hal 31-41
Author: David A. Basin; Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 431-432
Author: Marcus Vinicius Santos; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71
Author: Edmund M. Clarke; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Digital systems design and prototyping: using field programmabel logic and hardware description languages 2 nd ed
Author: Salcic, Zoran; | Call Number: 621.395 Sal d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Modeling Academic Performance Evaluation Using Soft Computing Techniques: A Fuzzy Logic Approach (593-604)
Author: Ramjeet Singh Yadav Vijendra Pratap Singh; | Call Number: SEM-323 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Context Aware Door Access Control on Private Room using Fuzzy Logic: Case Study of Smart House (155-160)
Author: Yulistiyan Wardhana Bob Hardian Gladhi Guarddin Hanif Rasyidi; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Implementation of Fuzzy Logic Controller for Solar Array Maximum Power Point Tracker Using Inexpensive 8-bit Microcontroller (144-150)
Author: Wima Sangga Y Suyanto Ali Musyafa; | Call Number: SEM-247 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Project termination does'nt equal project failure, page 94
Author: Barry Boebm | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Decidability and undecidability results for the termination problem of active database rules, Hal. 264-273
Author: James Bailey; Gouzho Dong; Katagiri Ramamohanarno; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next