| Your search for 36732 returns 301 document(s) |
| Higher-Order Architectural Connectors, page 64-104 |
|
Author: A. Lopes, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Higher-order equational logic programming,Hal 254-267 |
|
Author: Zhenyu Qian; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel Higher-Order SVD For Tag-Recommendations (257-265) |
|
Author: Philipp Shah
Cristoph Wieser
Francosis Bry; | Call Number: SEM-329 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11 |
|
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena |
|
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Aerofoil analysis using higher order vortex panel methods,Hal 94-111 |
|
Author: Hadi Winarto; | Call Number: SEM-200 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Radiosity algorithms using higher order finite element methods,Hal 209-212 |
|
Author: Roy Troutman; Nelson L.Max; | Call Number: SEM-199 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Galerkin radiosity: a higher order solution method for global illumination,Hal 213-220 |
|
Author: Harold R.Zatz; | Call Number: SEM-199 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Higher-order concurrent programs with finite communications topology,Hlm 84-97 |
|
Author: Hanne Riis Nielson; Flemming Nielson; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A type-theoretic approach to higher-order modules with sharing,Hal 123-137 |
|
Author: Robert Harper; Mark Lillibridge; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result