| Your search for 5310 returns 444 document(s) |
| Logic proof, and sets/ Marvn L. Bittinger |
|
Author: Bittinger, Marvin L.; | Call Number: 511.3 Bit l | Type: Buku
|
|
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
|
| Fuzzy sets, fuzzy logic fuzzy methods: with application |
|
Author: Bandemer, Hans; | Call Number: 511.322 Ban f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fuzzy sets and fuzzy logic theory and applications |
|
Author: Klir, George J.; | Call Number: 511.3 Kli f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introductory logic and sets for computer scientist |
|
Author: Nissanke, Nimal; | Call Number: 004.015 Nis i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Xor based public auditing scheme for proof-of -storage |
|
Author: Changsheng Wan; Juan Zhang; | Call Number: Sem-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematics for computer science/Arnold and I. Guessarian |
|
Author: Arnol, A.; | Call Number: 511.32 Arn m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fuzzy logic and control: software and hardware application |
|
Call Number: 511.322 Fuz | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal logic: its scope and limits |
|
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data analysis approaches based on soft rough sets, 3238-3241 |
|
Author: Huiliang Luo; Lai Yan; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result