| Your search for 41640 returns 1012 document(s) |
| On the Security Program for Making The E-contract under Internet Environment (V1-558 -- V1-560) |
|
Author: Ling Yu
Ding Jian; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| simulation of the Fatigue Process under Biaxial Loading with Regard to the Microcrack Growth (33-37) |
|
Author: H. Agus Suhartono; | Call Number: SEM-267 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Performance Evaluation |
|
Call Number: [2 (1982): 1-4; 3 (1983): 1-4, 4 (1984): 1-4, 5 (1985): 1-4, 6 (1986): 1-4, 7 (1987): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
|
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Analysis of image retrieval behavior for metadata type image database, page 723 |
|
Author: Toru F. | Type: Indeks Artikel Jurnal
|
|
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
|
| Deriving algorithms from type inference systems: application to strictness analysis,Hal 202-212 |
|
Author: Chris Hankin; Daniel Le Metayer; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On Useful relative information measures of order Ɋ and type ß |
|
Author: Satish Kumar, Arun Choudhary, Gurdas Ram, Vishal Gupta | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A type system for CHR,( (LNCS-Lecture Notes in Computer Science 3668) Hal 402-403 |
|
Author: Emmanuel Coquery; Francois Fages; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The type theory of PL.Cv3, (LNCS-Lecture Notes in Computer Science 999) Hal. 72-93 |
|
Author: Robert J. Constable; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result