Search Result
Save to File
Your search for
16206
returns
3558
document(s)
Consistency for quantified constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 792-796
Author: Peter Nightingale; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Approximated consistency for the automatic recording problem, (LNCS-Lecture Notes in Computer Science 3709) Hal 822-826
Author: Meinolf Sellmann; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Local consistency in weighted CSPs and inference in max-sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 849
Author: Federico Heras; Javier Larrosa; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Consistency for Partially defined constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 854
Author: Andrei Legtchenko; Arnaud Lallouet; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Visual -MCM: visualising execution histories on multiple memory consistency models, (LNCS-Lecture Notes in Computer Science 1557) Hal 500-509
Author: Alba Cristina Melo; Simone Cintra Chagas; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Acquintance Based Consistency in an Intance-Mapped P2P Data Sharing System During Transaction Processing (169-187)
Author: Md Mahendi Iluju Kiringa; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A Permutation Gigantic Issues in Mobile Real Time Distributed Database : Consistency & security (633-642)
Author: Gyanendra Kr. Gupta A.K. Sharma Vishnu Swaroop; | Call Number: SEM-323 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Implementasi algoritma adaptive random testing dengan pendekatan berorientasi objek dan perbandingannya dengan basic random testing
Author: Reffynda Esna Putri; | Call Number: SK-0840 (Softcopy SK-322) Source code SK-284 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Using OCSP to secure certificate-using transactions in m-commerce, (LNCS-Lecture Notes in Computer Science 2576) Hal 280-292
Author: Jose L. Munoz; Jordi Forne; Oscar Esparza; Bernabe Miguel Soriano; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
5
6
7
8
9
10
11
12
13
14
Next