Search Result Save to File Save as CSV
Your search for 38926 returns 5277 document(s)
Object oriented technology for real-time systems: a practical approach using OMT and fusion
Author: Awad, Maher; | Call Number: 005.2 Awa o | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Toupie = u-calculus + constraints, (LNCS-Lecture Notes in Computer Science 939) Hal 114-126
Author: Antoine Rauzy; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Generalized linear complementarity problems and the analysis of continuously variable systems and discrete event systems,(LNCS-Lecture Notes in Computer Science 1201) Hal 409-414
Author: Bart De Schutter; Bart De Moor; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Intelligent real time criminal identification in video surveillance using fuzzy similarity measure (Proposal Toray Science Foundation)
Author: M. Rahmat Widyanto | Call Number: PRO-INDONESIA TORAY SCIENCE FOUNDATION-2007-001 | Type: Proposal Research (Khusus Dose
Find Similar |  Add To Favorites |  Detail in New Window 
On Strings in Software Model Checking (19-30)
Author: Hossein Hojjat Philipp Rummer Ali Shamakhi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Design and Implementation of High Bandwidth Real-Time Storage System Based on Parallel Computer Architecture (V1-241 -- V1-245)
Author: Nan Li Hui Xu Wei Yi Xin Xu Hongshan Nie; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
CRYPTEX model for E-commercial contract of software source code using secrete sharing scheme, (LNCS-Lecture Notes in Computer Science 5576) Hal 662-671
Author: ByungRae Cha; Youngil KIM; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Efficient software implementation of LFSR and boolean function and its application in nonlinear combiner model, (LNCS-Lecture Notes in Computer Science 2576) Hal 387-402
Author: Sandeepan Chowdhury; Subhamoy Maitra; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-Time software for control
Author: Auslander, David M.; | Call Number: 629.895 Aus r | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   16 17 18 19 20 21 22 23 24 25  Next