Your search for 52185 returns 142 document(s) |
Implementation of the typed call-by-value -calculus using a stack of regions,Hal 188-201 |
Author: Mads Tofte; Jean-Pierre Talpin; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Toupie = u-calculus + constraints, (LNCS-Lecture Notes in Computer Science 939) Hal 114-126 |
Author: Antoine Rauzy; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Improving network calculus for performance analysis in network coding, 480-485 |
Author: Huanzhong Li, Quanyou Feng, Rongsen Li, Wenhua Dou; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Student study guide with solutions for vector calculus 6th ed. |
Author: Shanbron, Corey; | Call Number: 516.83 Sha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Student study guide with solutions for vector calculus 6th ed. |
Author: Shanbrom, Corey; | Call Number: 516.83 Sha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Schaum's outlines series Theory and problems of calculus of finite differences and difference equations |
Author: Spiegel, Murray R.; | Call Number: 515.35 Spi t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The Hamilton-Jacobi theory in the calculus of variations: its role in mathematics and physica |
Author: Rund, Hanno; | Call Number: 629.83 Run h | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Soundness Verification of Business Processes Specifed in the Pi-Calculus (6-23) |
Author: Frank Puhlmann; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verifying Composite Service Transactional Behavior Using Event Calculus (353-370) |
Author: Walid Gaaloul
Mohsen Rouached
Claude Godart
Manfred Hauswirth; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using LiveMath as an Interactive Computer Tool for Exploring Algebra and Calculus (457-464) |
Author: Joseph B.W.Yeo; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|