| Your search for 26662 returns 3508 document(s) |
| Solving for set variables in higher-order theorem proving, Hal. 408-414 |
|
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Chocolate: Calculi of higher order communication and lambda terms (preliminary report),Hal 339-347 |
|
Author: Bard Bloom; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Higher Ruminative Tendency of Anger in Trust-Forgiveness Young Adults |
|
Author: Jie Wu; Tingting Miao; Shijin Sun; Lulu Yu; Feng Wang; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| It implementation in higher education : a synthesis of past research on barriers and theoretical perspective, 105-112 |
|
Author: M. Qomarul, Husnayati Hussin; | Call Number: SEM-348 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimization of the GPS receiver using higher order loops for high dynamics, 553-557 |
|
Author: Sidhant Kumar Tiwari, Swaena Ravindra Babu, R Kumar; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result