Search Result Save to File Save as CSV
Your search for 2283 returns 6093 document(s)
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 
The Ethics of Safety-Critical Systems
Author: Jonathan Bowen | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Electronics: a systems approach/Neil Storey
Author: Storey, Neil; | Call Number: 621.381 Sto e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The industrial take-up of formal methods in safety-critical and other areas: a perspective, (LNCS-Lecture Notes in Computer Science 670) Hal 183-195
Author: Jonathan Bowen; Victoria Stavridou; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Computer systems: a programmers' persepctive
Author: Bryant, Randal E.; | Call Number: 004.21 Bry c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real time UML: developing efficient objects for embeded systems/Bruce Powel Douglas
Author: Douglas, Bruce Powel; | Call Number: 005.117 Dou r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time UML: developing efficient of objects for embeded systems/Bruce Powel
Author: Douglas, Bruce Powel; | Call Number: 005.117 Dou r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Computer systems: a programmers' persepctive (INSTRUCTOR'S MANUAL)
Author: Bryant, Randal E.; | Call Number: 004.77 Bry c | Type: Instructor's Manual
Find Similar |  Add To Favorites |  Detail in New Window 
Computer systems: a programmers' persepctive 2nd ed.
Author: Bryant, Randal E.; | Call Number: 004.21 Bry c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next