Search Result Save to File Save as CSV
Your search for 28595 returns 4743 document(s)
A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231
Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The Architecture of computer hardware systems software & networking: an information technology approach 4th ed.
Author: Englander, Irv; | Call Number: 004.22 Eng a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The Architecture of Computer Hardware and Systems Software : An Information Technology Approach 2nd ed/ Irv Englander
Author: Englander, Irv; | Call Number: 004.22 Eng c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Software protection : practical and legal steps to protect and market computer programs/ G. Gervaise Davis III
Author: Davis, G. Gervaise; | Call Number: 347.306 Dav s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An Introduction to computer security: 12th International conference software engineering March 26-30, 1990
Call Number: SEM-148 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings the fifteenth annual International computer software and applications conference/editor George J. Knafl
Call Number: SEM-159 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings the sixteenth annual International computer software & applications conference September 21-25, 1992, Chicago, Illinois
Call Number: SEM-160 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings of the sixth international workshop on computer-aided software engineering case'93 Singapore July 19-23/editors Hing-Yan Lee
Call Number: SEM-184 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Pythia-II: a knowledge/ database system for managing performance data and recomending scientific software
Author: Elias N.H. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan software requirement specification pattern untuk custumer relation management system (Proposal HIBAH PASCA)
Author: Eko Kuswardono Budiardjo | Call Number: PRO-HIBAH PASCA-2003-010 | Type: Proposal Research (Khusus Dose
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   6 7 8 9 10 11 12 13 14 15  Next