Search Result
Save to File
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