Search Result

Save to File Save as CSV

Your search for 20519 returns 5714 document(s)

Performance Evaluation of a temporal database management system(96-107)

Author: Ilsoo ahn and Richard Snodgrass; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem

Experimental computer performance evaluation/ edited by D.Ferrari and M. Spadoni

Call Number: 004 Exp | Type: Buku

Performance evaluation of numerical software: proceedings/ Lloyd D. Fosdick

Author: IFIP TC. 2.5. working conference on performance evaluation of numerical software, Baden, Australia, Dec. 11-15, 1978; | Call Number: 519.4 Ifi p | Type: Buku

Computer system performance evaluation/Domenico Ferrari

Author: Ferrari, Domenico; | Call Number: 625.39 Fer c | Type: Buku

Computer performance evaluation user's group computer performance evaluations

Call Number: 004 Com | Type: Buku Pusat

Computer performance evaluation users group computer performance evalution

Call Number: 004 Com | Type: Buku

Fast query evaluation through document identifier assignment for inverted file-based information retrieval systems, page 729

Author: Cher-Sheng Cheng | Type: Indeks Artikel Jurnal

Real-time systems: formal specification and automatic verification

Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku

Temporal verification of research reactive systems: safety

Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku

Practical verification of embedded software, page 68

Author: Jorgen Staunstrup | Type: Indeks Artikel Jurnal

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