| Your search for 2927 returns 1692 document(s) |
| Soundness Verification of Business Processes Specifed in the Pi-Calculus (6-23) |
|
Author: Frank Puhlmann; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying Composite Service Transactional Behavior Using Event Calculus (353-370) |
|
Author: Walid Gaaloul
Mohsen Rouached
Claude Godart
Manfred Hauswirth; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using LiveMath as an Interactive Computer Tool for Exploring Algebra and Calculus (457-464) |
|
Author: Joseph B.W.Yeo; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advances in multilingual and multimodal information retrieval: 8th workshop of the cross-language evaluation forum, CLEF 2007 revised selected papers |
|
Call Number: 025.054 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The 8th Seminar on intelligent technology and its applications Proceedings, Surabaya, May 9th 2007 (SITIA) |
|
Call Number: SEM-307 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advances in Multilingual and Multimodal Information Retrieval 8th, CLEF 2007 Budapest, Hungary, September 2007 |
|
Call Number: SEM-394 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Translation with optimization from relational calculus to relational algebra having aggregate functions, page 518 |
|
Author: Ryohei N. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid systems and relaxed optimal control: the para metric calculus of variations on finsher manifolds Cartan connections and extracting control autumata, Hal. 7-14 |
|
Author: World Kohn; Anil Neorde; J.B. Remmel; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantics and verification of extended phase transition systems in duration calculus, (LNCS-Lecture Notes in Computer Science 1201) Hal 301-315 |
|
Author: Xu Qiwen; | Call Number: 004.33 Mal h | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ucke - efficient u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 468-471 |
|
Author: Armin Biere; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result