Your search for 54033 returns 1412 document(s) |
Graph theory and its applications |
Author: Harris, Bernard ed.; | Call Number: 515.7 Har g | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Spectral analysis and its applications |
Author: Jenkins, Gwilym M.; | Call Number: 519.55 Jen s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Handbook of automated reasoning vol. II |
Call Number: 006.3 Han | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Towards automated verification of database scripts |
Author: Ade Azurat; I.S.W.B. Prasetya; T.E.J. Vos; H.Suhartanto; B. Widjaja, L.Y. Stefanus; Ricky Wenang; S. Aminah; Jimmy Bong | Call Number: Pub.Staf-PI-0044 | Type: Prosiding Internasional
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated library circulation systems, 1977-78 |
Author: Dranov, Paula; | Call Number: 025.6 Dra a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
First-order logic and automated proving |
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Development of 3D AFR system using novel structure of neural network with its pose estimation subsystem through modified nearest feature line method research area micro electronic and information (Proposal Indonesia International Joint Research Grant Program) |
Author: Benyamin Kusumoputro | Call Number: PRO-RUTI-2004-002 | Type: Proposal Research (Khusus Dose
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Generic Model for Reflective Design, page 199-235 |
Author: Panagiotis Louridas, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Proof Theory for Generic Judgments, page 749-783 |
Author: D. Miller, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Generic support for distributed applications, page 68 |
Author: Jean Bacon, Ken Moody | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|