| Your search for 52322 returns 146 document(s) |
| Inference of Inequality Constraints in Logic Programs (227-240) |
|
Author: Alexander Brodsky
Yehoshua Sagiv; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specification, Sematics and Enforcement of Dynamic Database Constraints (301-308) |
|
Author: H-D Ehrich
U.W Lipeck
M. Gogolla; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multi-Valued Symbolic Model-Checking, page 371-408 |
|
Author: M. Chechik, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Type-Based HFL Model Checking Algorithm (136-155) |
|
Author: Youkichi Hosoi
Naoki Kobayashi
Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tajweed Checking System to Support Recitation (189-194) |
|
Author: Ahsiah I.
Noor N.M.
Idris M.Y.I.; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Commintment cpacity of discrete memory less channels, (LNCS-Lecture Notes in Computer Science 2898), Hal. 35-51 |
|
Author: Andreas Winter, Anderson C.A> Nascimento, and Hideki Imai; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis faktor-faktor yang mempengaruhi penggunaan uang elektronik untuk perwujudan less cash society di Universitas Indonesia |
|
Author: Ardanella Purnamasari Nelwan; | Call Number: SK-1293 (SOFTCOPY SK-775) | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A GPS-less Cell-based Localization Technique for Wireless Sensor Networks (V2-313--V2-317) |
|
Author: Xue Jun Li; | Call Number: SEM-328 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
|
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial Intelligence: Building Tractable Disjunctive Constraints, Aneuroidal Architecture for Cognitive Computation |
|
Author: D, Cohen, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result