Search Result Save to File Save as CSV
Your search for 36714 returns 745 document(s)
Testing satisfiability of CNF formulas by computing a stable set of points, Hal. 161-180
Author: Eugene Goldberg; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Distributed Computing: Tight Bounds for k-Set Agreement
Author: S. Chaudhuri, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Foundations of Computing: System Development with Set Theory and Logic/ Thierry Scheeurer
Author: Scheurer, Thierry; | Call Number: 004.21 Sch f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Preference Formulas in Rational Queries
Author: J. Chomicki | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Solving satisfiability and implication problems in database systems
Author: Sha Guo, Wei Sun and Mark A. Weiss | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
The quest fo efficient boolean satisfiability solvers, Hal. 295-313
Author: Lintao Zhang; Sharad Malik; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Curvature Formulas for Implicit Curves and Surfaces, page 632-658
Author: R. Goldman | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Selected problems of minization of variable-valued logic formulas
Author: Cuneo, Roland Phillipe; | Call Number: 511.3 Cun s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Estimasi pengembangan software berdasarkan fuction points dan use case points, Hal. F.25-F.30
Author: Silvia Rostianingsih; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
the optimal design of stable inverse transfer function (377-383)
Author: Der-feng huang; | Call Number: SIM-355 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next