| Your search for 37166 returns 3304 document(s) |
| A Calculus of strochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 21-63 |
|
Author: Albert Benveniste; Bernard C. Levy; Eric Fabre; Paul Le Guernic; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information system behavior specification by high-level petri nets, page 380 |
|
Author: Andreas O. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specification and verification of a real-tiem steam boiler system, Hal. 205-229 |
|
Author: Jan Vitt; Josef Hooman; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Redesign the web: the extension |
|
Call Number: 006.7 Red | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Designing a tool for IT governance risk compliance: a case study, Hal. 311-316 |
|
Author: Dewi Puspasari, M. Kasfu Hammni, Muhammad Sattar, Rein Nusa; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using the Unix system |
|
Author: Gauthier, Richard; | Call Number: 005.43 Gau u | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Unix system programing using C++ |
|
Author: Chan, Terrence; | Call Number: 005.133 Dew p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| How To Optimize The Specification Of Built-To-Order Technology System: A Case Wastewater Treatment System (51) |
|
Author: Yuji Sato; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Enhancement of node positioning accuracy using hybrid localization method for wireless sensor networks |
|
Author: Prima Kristalina, Wirawan, Gamantyo Hendrantoro; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 252-263 |
|
Author: Michael Adlaide; Olivier Roux; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result