Search Result Save to File Save as CSV
Your search for 36815 returns 827 document(s)
Designing hypermedia documentation for safety critical applications, Hal. 247-252
Author: R.M. Newman; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Designing and writing on-line documentation: hypermedia for self-supporting products
Author: Horton, William K; | Call Number: 808.066 Hor d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The Ethics of Safety-Critical Systems
Author: Jonathan Bowen | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Safety-critical computer sytems/Neil Storey
Author: Storey, Neil; | Call Number: 004.33 Sto s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Designing XML internet applications
Author: Leventhal, Michael; | Call Number: 005.72 Lev o | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Designing XML internet applications
Author: Leventhal, Michael; | Call Number: 005.72 Lev d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213
Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Specifying a safety-critical control system in Z, (LNCS-Lecture Notes in Computer Science 670) Hal 388-402
Author: Jonathan Jacky; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Designing database applications with objects and rules: the idea methodology
Author: Ceri, Stefano; | Call Number: 005.74 Cer d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next