Your search for 36739 returns 1117 document(s) |
Proof rules dealine with fairness, (LNCS-Lecture Notes in Computer Science 131) Hal. 1-8 |
Author: Krsystof R. Apt; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling |
Call Number: 004 Pro | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Simultaneous estimation of super-resolved scene and depth map from low resolution defocused observations, page 1102 |
Author: D. Rajan | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Fingerprint synthesis towards constructing an enhanced authentication system using low resolution webcam, HAL. 679-688 |
Author: Md. Rajibul Islam; Md. Shohel Sayeed and Andrews Samraj; | Call Number: SEM-291A | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Performance Improvement of IPv6 Packet Transmission through Address Resolution Using Direct Mapping |
Author: Raja Kumar Murugesan,Rahmat Budiarto,Serswaran Ramadass; | Call Number: SEM-305 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Efficient model checking using tabled resolution,(LNCS-Lecture Notes in Computer Science 1254) Hal 143-154 |
Author: Y.S. Ramakrishna; C.R. Ramakhrisnan; I.V. Ramakrishnan; Scott A. Smolka; Terrance Swift; David S. Warren; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The need for ancestor resolution when answering queries in horn clause logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 410-411 |
Author: Oliver Ray; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Named-entity recognition and co-reference resolution using knowledge engineering and association rules for the Indonesian language |
Author: Indra Budi; | Call Number: Ringdis-016 | Type: Ringkasan Disertasi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Fingerprint synthesis towards constructing an enhanced authentication system using low resolution webcam, Hal. 679-688 |
Author: islam, Md. Rajibul; Sayeed, Md. Shobel; | Call Number: SEM-291A | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Study on 3-D stereo for features on UAV high resolution remote sensing images, 182-186 |
Author: Jun SUN, Jianhua GONG, Liang GUO, Liyang Yang, Mingxiang Huang; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|