| Your search for 52124 returns 876 document(s) |
| Agent Migration between Incompatible Agent Platforms (4-10) |
|
Author: P. Misikangas
K. Raatikainen; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the relation between answer set and sat procedures (or, between cmodels and smodels),(LNCS-Lecture Notes in Computer Science 3668) Hal 37-51 |
|
Author: Enrico Giunchiglia; Marco Maratea; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penyandian SMS pada telpon selular dengan hybrid cryptosystem, Hal. B41-B.45 |
|
Author: Megah Mulya; M.T. Erwin; | Call Number: SEM-300 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Cooperative design for hybrid systems (extended abstract), Hal. 15-20 |
|
Author: Belawati H. Widjaja; Chen Zongji; He Weidong; Zhou Chaochen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid simulation of flexible batch plants, Hal. 32-39 |
|
Author: Sebastian Engell; Martin Fritz, Christian Schulz; Konrad Wallhaf; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Electromechanical process an example of hybrid systems, Hal. 40- 45 |
|
Author: C. Zanne; J.F. Aubry; C. Jung; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Developments in hybrid systems synthesis and verfications, Hal. 141-160 |
|
Author: Amir Pnuli; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Representation and simulation of hybrid systems in OmSim, Hal. 275-280 |
|
Author: Mats Anderson; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An excercise in hybrid system specification using an extension of Z, Hal. 311-316 |
|
Author: Viktor Friesen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Hybrid asynchronous system design environment, Hal. 91-98 |
|
Author: C. Farnsworth; D.A. Edwards; Jianwei Liu and S.S. Sikand; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result