| Your search for 54250 returns 51 document(s) |
| Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1 |
|
Author: Amir Pnueli; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture Notes in Computer Science 1254) Hal 464-467 |
|
Author: A. P. Sistla; L. Miliades; V. Gyuris; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53 |
|
Author: Bengt Jonsson; Lars Kempe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying w-regular properties for a subclass of linear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 437-450 |
|
Author: Ahmed Bouajjani; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Separating and intersecting properties of BCH and Kasami Codes, (LNCS-Lecture Notes in Computer Science 2898), Hal. 52-65 |
|
Author: Hans Georg Schasthun and Tor Hellesett; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Measurement of Arterial Visscoelastic Properties Using a Foil-Type Pressure Sensor and a Photoplethysmography (hal1270-275) |
|
Author: Harutoyo Hirano, Hiromi Maruyama, Abdugheni Kutluk, Toshiro Tsuji, Osamu Fukuda, Naohiro Ueno, Teiji Ukawa, Ryuji Nakamura, Noboru saeki, Masashi Kawamoto, and Masao Yoshizumi; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Manhattan prep: number properties guide 4 3rd ed. (GRE stratgey guide) |
|
Call Number: 378 Man | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effect Of Mn and cr Elements On Physical and Mechanical Properties In Surface Coatings Hardfacting Process (A-256 -- A-261) |
|
Author: Saiful Huda
Hendra Hari Wibowo; | Call Number: SEM-310 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengelasan Baja Karbon ST 37 Dengan Metode Friction Stir Welding (FSW) Toward Mechanical Properties (A-272 -- A-277) |
|
Author: Widia Setiawan; | Call Number: SEM-310 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| on Updates of logic programs: a properties-based approach, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942) Hal.231-251 |
|
Author: Mauricio Osorio and Fernando Zacarias; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result