| Your search for 38360 returns 3456 document(s) |
| Practical higher-order pattern unification with on-the-fly raising, (LNCS-Lecture Notes in Computer Science 3668) Hal 371-386 |
|
Author: Gopalan Nadathur; Natalie Linnell; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An algorithmic approach to nonlinear analysis and optimization |
|
Author: Beltrami, Edward J.; | Call Number: 519.3 Bel a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic support graph: a space efficient data structure for incremental tabled evaluation, (LNCS-Lecture Notes in Computer Science 3668) Hal 235-249 |
|
Author: Diptikalyan Saha; C.R. Ramakrishnan; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms: the construction, proof, and analysis of programs/Pierre Berlioux |
|
Author: Berlioux, Pierre; | Call Number: 005.1 Ber a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deadlock Analysis of Client/Server Programs (484-495) |
|
Author: J. Zhou
K. Tai; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs |
|
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer Programs in Biomedicine |
|
Call Number: [6 (1976): 1-4, 7 (1977): 1-4, 10 (1979): 1-3, 14 (1982): 1-4, 16 (1983): 1-3, 18 (1984): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer methods and programs .. |
|
Call Number: [20 (1985): 1-3, 22 (1986): 1-3, 23 (1987): 1-3, 49 (1996): 2-3] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Notes on optimization by P.P. Varaiya |
|
Author: Varaiya, PP; | Call Number: 519.3 Var n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Update on seed seed-192/256, (LNCS-Lecture Notes in Computer Science 5576) Hal. 1-10 |
|
Author: Kitae Jeong; Joongeun Choi; Yoseop Lee; Changhoon Lee; Jacchul Sung; Haeryong Park; Yeonjung Kang; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result