Search Result
Save to File
Your search for
13650
returns
4291
document(s)
Basic numerical methods: an introduction to numerical mathematics on a microcomputer/ R.E. Scaraton
Author: Scraton, R.E.; | Call Number: 519.4 Scr b | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 376-387
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Aziz; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Practical challenges for industrial formal verification tools, (LNCS-Lecture Notes in Computer Science 1254) Hal 1-2
Author: F. Erich Marschner; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11
Author: Martin Rowe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification for fault-tolerant architectures: some lessons learned, (LNCS-Lecture Notes in Computer Science 670) Hal 482-500
Author: Sam Owre; John Rushby; Natarajan Shankar; Friedrich von Henke; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254)Hal. 376-387
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Azis; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Computer applications of numerical methods/ Shan S. Kuo
Author: Kuo, Shan S.; | Call Number: 519.4 Kuo c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
14
15
16
17
18
19
20
21
22
23
Next