Search Result Save to File Save as CSV
Your search for 13856 returns 4679 document(s)
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 
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 
Implementing the Analytic Hierarchy Process As A Standard Method for Multi-Criteria Decision Making In Corporate Enterprises-A New AHP Excel Template with Multiple Inputs (32)
Author: Klaus D. Goepel; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Rational process workbench process develper's guide/ Rational The Software Dev. Co
Call Number: 005.43 Rat | Edition: V 2002.05.00 | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Developing real-time embeded software in market-drive company/Karen S. Ellison
Author: Ellison, Karen S.; | Call Number: 005.2 Ell d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Practical strategies for developing large software systems/ editor Horowitz
Call Number: 005.3 Hor p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A Model Driven Approach for Developing Software with Runtime Monitoring Capability (V1-176 -- V1-182)
Author: Xian Zhang Wei Dong Zhinchang Qi; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Requirement volatility: a risk in software development process, HAL. 258-263
Author: Ranjana Rajnish, Sahara Art; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Managing Versions and Coonfigurations in a Software Handover Process (252-258)
Author: Ahmad salman Khan Mira Kajko-mattson; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Suboptimal minimum cluster volume cover-based method for measuring fractal dimension, page 32
Author: C.R. Tolle | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next