Search Result Save to File Save as CSV
Your search for 20525 returns 3459 document(s)
Symbolic logic and mechanical theorem proving
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Penggunaan teori institusional dalam penelitian teknologi informasi dan komunikasi diindonesia (Hal 70 - 75)
Author: agung darano; | Call Number: SEM - 365 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Topological Signatures as Complementary Features for Deep Learning Model: A Survey
Author: Bijak Rabbani; Widijanto S. Nugroho; | Call Number: Mak T Jilid 071-095 (T-1291) (Mak T-090) | Type: Makalah Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic analysis for automated design of analog integrated cirtuits
Author: Geielen, George; | Call Number: 621.381 Gie s | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
User interfaces for symbolic computation: A case study, Hal 1-10
Author: Norbert Kajler; | Call Number: SEM-194 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
LISP: a gentle introduction to symbolic computation/ David S. Touretzky
Author: Touretzky, David S.; | Call Number: 005.133 Tou l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic Dynamic Programming Within The Fluent Calculus (378-383)
Author: Axel Grobmann Steffen Holldebler Olga Skvortsova; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Multiresolution Volumetric Medical Data Modeling Based on Gaussian Curvature by USing Weighted Alpha Shapes (499-504)
Author: Kun Lee; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Forward-secure signatures with fast key update, (LNCS-Lecture Notes in Computer Science 2576) Hal 241-256
Author: Anton Kozlov; Leonid Reyzin; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Proxy and threshold one-time signatures, (LNCS-Lecture Notes in Computer Science 2576) Hal 123-136
Author: Mohamed Al-Ibrahim; Anton Cerny; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next