Search Result Save to File Save as CSV
Your search for 47995 returns 1504 document(s)
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 
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 
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 
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 
A Temporal Framework for Database Specification and Verification (91-99)
Author: C.H. Kung; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal Data and The Relational Model a detailed investigation into the application of interval a detailed investigation into the application of interval and Relation theory to the problem of temporal database management
Author: Date, C.J.; | Call Number: 005.74 Dat t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
STEPWIBE SPECIFICATION OF DYNAMIC DATABASE BEHAVIOUR (387-397)
Author: Udo w. Lipeck; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Software engineering: analysis and verfication
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Database for software engineering/C. Godart & F. Charoy
Author: Godart C.; | Call Number: 005.1 God d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An access control model supporting periodicity contraints and temporal reasoning
Author: Elisa Bertino | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next