| Your search for 39422 returns 3621 document(s) |
| Implementasi dan analisis algoritma aproksimasi untuk pairwise testing dan perbandingannya dengan algoritma brute force |
|
Author: Merryl Frances Nathanie Meka; | Call Number: SK-0945 9Softcopy SK-426) Source code SK-348 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146) |
|
Author: Michael Kifer
Georg Lausen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result