Search Result
Save to File
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