Search Result

Your search for 27774 returns 852 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

Solaris x86 database install scripts : sun soft

Call Number: 005.43 Sol | Type: Softcopy Buku

On verification of database temporal contraints (169-179)

Author: C. H. Kung; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem

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

Towards Development Automated Assessment In Virtual Learning Environments (211-216)

Author: Ali Fardinpour Heinz Dreher; | Call Number: SEM-330 | Type: Indeks Artikel prosiding/Sem

Towards Truly Extensible Database Ststems (596-605)

Author: Ralph Acker Roland Pieringer Rudolf Bayer; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem

Towards a Unified Visual Database Access (357-366)

Author: K. Vadaparty Y.A. Aslandongan G. Ozsoyoglu; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem

A Temporal Framework for Database Specification and Verification (91-99)

Author: C.H. Kung; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem

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

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

Prev 1 2 3 4 5 6 7 8 9 10 Next