Search Result Save to File Save as CSV
Your search for 36713 returns 219 document(s)
Resolution of Semantic Queries on a Set of Web Services (385-394)
Author: Jordi Paraire Rafael Berlanga Dolores M. Llido; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Conflict Resolution Dalam Formasasi Bureaucratic Rule (13-18)
Author: Muhammad Arif; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Augmenting branching temporal logics with existential quantification over atomic propositions, (LNCS-Lecture Notes in Computer Science 939) Hal 325-338
Author: Orna Kupferman (Bernholtz); | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Note on equivalences among logics of program,(LNCS-Lecture Notes in Computer Science 999) Hal. 282-299
Author: Albert R. Meyer; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A process algebra for hybrid systems, Hal. 129-135
Author: Jan Joris Vereijken; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Synthezing controllers for hybrid systems, Hal. 361-375
Author: Deepak Kapur; R.K. Siyamasuda; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid Stepping Stone Detection Method
Author: Mohd Nizasm Omar,Lelyzar Siregar,Rahmat Budiarto; | Call Number: SEM-305 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The conflict detection and resolution in knowledge merging for image annotation, page 1030
Author: Cheng-Yu Lee | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Inter process synchronization problem resolution through intelligent agents, HAL. 1013-1017
Author: Deepshikha Bhargava; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next