Search Result Save to File Save as CSV
Your search for 27774 returns 816 document(s)
Towards automated verification of database scripts
Author: Ade Azurat; I.S.W.B. Prasetya; T.E.J. Vos; H.Suhartanto; B. Widjaja, L.Y. Stefanus; Ricky Wenang; S. Aminah; Jimmy Bong | Call Number: Pub.Staf-PI-0044 | Type: Prosiding Internasional
Find Similar |  Add To Favorites |  Detail in New Window 
Solaris x86 database install scripts : sun soft
Call Number: 005.43 Sol | Type: Softcopy 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 
Towards language independent automated learning of text categorization models, Hal. 23-30
Author: Childanand Apte; Fred Damerau; Sholom M. Weisa; | Call Number: SEM-256 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Towards Development Automated Assessment In Virtual Learning Environments (211-216)
Author: Ali Fardinpour Heinz Dreher; | Call Number: SEM-330 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Towards Truly Extensible Database Ststems (596-605)
Author: Ralph Acker Roland Pieringer Rudolf Bayer; | Call Number: SEM-375 | 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 
Towards a mechanization of cryptographic protocol verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 131-142
Author: Dominique Bolignano; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Safety verification for automated platoon maneuvers: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 154-170
Author: Ekaterina Dolginova; Nancy Lynch; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 436-439
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next