Search Result Save to File Save as CSV
Your search for 35157 returns 353 document(s)
Translasi dari varian logika temporal allen ke RPNL dan RNL-RDC
Author: Muhammad Arzaki; | Call Number: T-0964 (Softcopy T-0673) | Edition: 2012 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal logic for proof-carrying code, Hal. 31-46
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal databases: theory, design and implementation/Abdullah UZ Tanzel...[et.al]
Call Number: 005.75 Tem | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal Data and The Relational Model a detailed investigation into the application of interval a detailed investigation into the application of interval and Relation theory to the problem of temporal database management
Author: Date, C.J.; | Call Number: 005.74 Dat t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Spatial anti-aliasing for animation sequences with spatio-temporal filtering,Hal 289-296
Author: Mikio Shinya; | Call Number: SEM-199 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
On verification of database temporal contraints (169-179)
Author: C. H. Kung; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Natural language understanding/James Allen
Author: Allen, James; | Call Number: 005.13 All n | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Improving food resilience with effective cropping pattern planning using spatial temporal-based updated pranata mangsa ( hal 138 - 142)
Author: Kristoko Dwi Hartomo, Sri Yulianto J.P , Krismiyati; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Spatial memory and temporal order in timing reproduction: an interfence analysis, Hal. 3565-3568
Author: Yunzhe Liu; Huazhan Yin; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Basis Data Temporal berorientasi Obyek Implementasi Pengelolaan Versi Data
Author: Sutrisno; | Call Number: T-0063 (Source Code T-0008) | Edition: 1997 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next