Search Result Save to File Save as CSV
Your search for 43396 returns 1229 document(s)
Reliability modelling of time-critical distributed systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 94-105
Author: Hans Hansson; Christer Norstrom; Sasikumar Punnekkat; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
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 
A Matter of life and death:exploring Conceptualizations of Sociomateriality in the Context of Critical Care, page 895-925
Author: Matthew Jones | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Positive solutions for p-laplacian discrete boundary value problems via three critical points theorem, 562-
Author: Benshi Zhu; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Systems engineering with SDL: developing performance-critical communication systems/ Andreas Mitschele-Thiel
Author: Mitschele-Thiel, Andreas; | Call Number: 621.382 Mit s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Critical success factors untuk mempercepat penyebaran mobile commerce: studi kasus Universitas Indonesia
Author: Argiesta Destantria; | Call Number: SK-0905 (Softcopy SK-385) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Identifikasi critical success factors implementasi e-voting dengan studi kasus penyelenggaraan pemilihan kepala daerah Kabupaten Jembrana
Author: Aprillia Hartami; | Call Number: SK-0977 (Softcopy SK-458) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis kepuasan pengunaan scele pada mahasiswa Fakultas Ilmu Komputer Universitas Indonesia dengan menggunakan pendekatan negative critical incidents
Author: Meldi Harrosyid; | Call Number: SK-0818 (Softkopi SK-300) SCSK-tidak ada | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   20 21 22 23 24 25 26 27 28 29  Next