Search Result
Save to File
Your search for
43396
returns
1245
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
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
Model Kesiapan Smart Environment Perkotaan Berdasarkan Critical Succes Factor dan Soft System Methodoly (SSM)
Author: Bambang Aria Yudhistira; | Call Number: T-1316 (Softcopy T-1048) MAK T-115 | Edition: 2022 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
25
26
27
28
29
30
31
32
33
34
Next