| Your search for 51820 returns 1106 document(s) |
| Generating corrective explanations for interactive constraint satisfaction, (LNCS-Lecture Notes in Computer Science 3709) Hal 445-459 |
|
Author: Barry O'Callaghan; Barry O'Sullivan; Eugene C. Freuder; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive search for errors in the free data type specifications using model generation, Hal. 211-225 |
|
Author: Wolfgang Ahrendt; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrating discrete and continous phenomena models into practical advanced user interface specifications, Hal. 309-316 |
|
Author: Stephen A. Morrison; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Syntax-driven semantic analysis for constructing use case diagrmas form software requirement specifications in Indonesian |
|
Author: Latifaah , Ruli Manurung; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
|
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applied cryptography: protocols, algorithms and source code in C |
|
Author: Schneier, Bruce; | Call Number: 005.82 Sch a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Malicious code moves to mobile devices, page 16 |
|
Author: Neal Leavitt | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical Algorithms for Image Analysis: Description, Examples, and Code |
|
Author: Seul, Michael; | Call Number: 621.367 Seu p | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Kompresi SMS dengan static huffman code, HAL. 35-40 |
|
Author: Susany Saplanit; Jeanny Pragantha; Handri Fantoni; | Call Number: SEM-292 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal logic for proof-carrying code, Hal. 31-46 |
|
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result