| Your search for 37399 returns 2987 document(s) |
| LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49 |
|
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering : analysis and verification |
|
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On verification of database temporal contraints (169-179) |
|
Author: C. H. Kung; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal verification of research reactive systems: safety |
|
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Building J2EE applications with the rational unified process/Peter Feles; Kelli Houston, Wojtek Kozaczynski |
|
Author: Feles, Peter; | Call Number: 005.133 Fel b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The J2EE architect's handbook: how to be a successful technical architect for J2EE applications |
|
Author: Ashmore, Derek C.; | Call Number: 005.276 2 Ash j | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Eksplorasi formalisasi TLA+dalam theorem prover Hol |
|
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent java applications for the internet and intranets |
|
Author: Watson, Mark; | Call Number: 005.276 Wat i | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent java applications for the internet and intranets |
|
Author: Watson, Mark; | Call Number: 005.276 Wat i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Developing applications with java and uml/ Paul R. Reed |
|
Author: Reed, Paul R.; | Call Number: 005.133 Ree d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result