Your search for 47951 returns 240 document(s) |
First-order logic and automated proving |
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Index structures for selective dissemination of information under the boolean model, page 332 |
Author: Yan, Tak W. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Predicate rewriting for translating boolean queries in a heterogeneous information system, page 1 |
Author: Chen-Chuan K. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Transformasi walsh untuk analisis ketidaklinearan fungsi boolean pada keamanan block cipher, HAL. H.13-H.16 |
Author: Yusuf Kurniawan; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Natural language vs. boolean query evaluation: a comparison of retrieval performanc |
Author: Howard Turtle; | Call Number: SEM-256 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Electronic switching circuits: boolean algebra and mapping/ Matthew Mandl |
Author: Mandl, Matthew; | Call Number: 621.381 537 Man e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Operations Research: Balanced Sequences and Optimal Routing |
Author: E. Altman, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Quickly Finding Near-Optimal Storage Designs |
Author: E. Anderson, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Optimal Development of Doubly Curved Surfaces, page 545-578 |
Author: G. Yu, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Introduction to optimal control theory/ Aaron Strauss |
Author: Strauss, Aaron; | Call Number: 515.64 Sta i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|