| Your search for 10433 returns 238 document(s) |
| VLSI and parallel computation/edited by Robert Suaya and Graham Birtwistle |
|
Author: Edited; | Call Number: 004.35 VLS | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to the theory of neural computation/John A. Hertz, Richard G. Palmer |
|
Author: Hertz, John A.; | Call Number: 006.3 Her i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applied computation theory: analysis, design, modeling/ editor Raymond T. Yeh |
|
Call Number: 006.3 Yeh a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Statitical computation: proceedings/ edited by Roy C. Milton; John A. Neider |
|
Author: Conference on statistical computation, University of Wisconsin, Madison, April 28-30, 1969; | Call Number: 519.5 Con s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Kajian unjuk kerja GPGPU (General-purpose computation on graphics processing Units) |
|
Author: Riza Guntur Prakoso; | Call Number: SK-0822 (Softcopy SK-304) Source code SK-269 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| XG: A Data-Driven Computation Grid for Enterprise-Scaled Mining (828-837) |
|
Author: Radu sion
Ramesh Natarajan
Inderpal Narang
Wen-Syan Li
Thomas Phan; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advanced targets association based on GPU computation of PHD function (13-22) |
|
Author: Jan Pidanic
Tomas Shejbal
Zdenek Nemec
Heru Suhartanto; | Call Number: SEM-345 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Secure multi-party computation using virtual parties for computation on encrypted data, (LNCS-Lecture Notes in Computer Science 5576) Hal. 412-421 |
|
Author: Rohit Pathak; Satyadhar Joshi; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, (LNCS-Lecture Notes in Computer Science 1254) Hal 244-255 |
|
Author: Manish Pandey; Randal E. Bryant; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254) Hal 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result