| Your search for 38337 returns 2620 document(s) |
| 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
|
| PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440 |
|
Author: Ricardo Corin; Ari Saptawijaya; Sandro Etalle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent methodologies for global optimization, (LNCS-Lecture Notes in Computer Science 3668) Hal 441-443 |
|
Author: Luca Bortolussi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A temporal programming language for heterogenous information systems, (LNCS-Lecture Notes in Computer Science 3668) Hal 444-445 |
|
Author: Vitor Noguiera; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nonmonotonic logic programs for the semantic web, (LNCS-Lecture Notes in Computer Science 3668) Hal 446-447 |
|
Author: Roman Schindlauer; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result