| Your search for 52213 returns 81 document(s) |
| Symbolic signatures for deformable shapes, page 75 |
|
Author: S. Ruiz-Correa | Type: Indeks Artikel Jurnal
|
|
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
|
| Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy(extended abstract),Hal 449-458 |
|
Author: Hans L.Bodlaender; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effecient zero-knowledge proofs for some practical graph problems, (LNCS-Lecture Notes in Computer Science 2576) Hal 290-302 |
|
Author: Yvo Desmedt; Yongge Wang; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using the rippling heuristic in set membership proofs, (LNCS-Lecture Notes in Computer Science 1212)Hal. 135-147 |
|
Author: Ina Kraan; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the correctness of scurity proofs for the 3GPP confidentiality and integrity algorithms, LNCS-Lecture Notes in Computer Science 2898), Hal. 206-318 |
|
Author: Testsu Iwata and Kaoru Kurosawa; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic characterization of cluster structures for robust and inductive support vector clustering, page 1869 |
|
Author: J. Lee | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result