Search Result Save to File Save as CSV
Your search for 38582 returns 3885 document(s)
An automata-theoretic approach to fair realizability and synthesis, (LNCS-Lecture Notes in Computer Science 939) Hal 267-278
Author: Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281
Author: Zohar Manna; Pierre Wolper; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71
Author: Edmund M. Clarke; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Planar hybrid systems,(LNCS-Lecture Notes in Computer Science 999) Hal. 292-225
Author: John Guckenheimer; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Modeling and simulation of a fault tolerant ATM switching Architecture, 42-47
Author: Muhammad Anan; Mohsen Guizani; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Design methodology for fault-tolerant systolic array architectures, Hal. II.267-iI.274
Author: M.O. Esomu; A.J. Al-Khaili; S. Hariri; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Membangun Sistem Fault Tolerant Pada Fieldbus untuk Aplikasi Sistem Terdistribusi (84-88)
Author: Hany Ferdinando; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Application of composition development method for definition of SYNTHESIS information resource query language semantics, (LNCS-Lecture Notes in Computer Science 670) Hal 428-441
Author: Leonid Kalinichenko; Nikolaj Nikitchenko; Vladimir Zadorozhny; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On refinement and temporal annotations (LNCS-Lecture Notes in Computer Science 1926) Hal 185-201
Author: Ron van der Meyden; Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next