| Your search for 38926 returns 5216 document(s) |
| TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447 |
|
Author: N. Lindenstrauss, Y. Sagiv; A. Serebernik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deadlock checking using net unforldings, (LNCS-Lecture Notes in Computer Science 1254) Hal. 352-363 |
|
Author: Stephan Melzer and Stefan Romer; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203 |
|
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reliability, mindfulness, and information systems, page 211-224 |
|
Author: Brian S. Butler and Peter H. Gray | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Hard real-time tasks model for the VBR video server, Hal. 190-200 |
|
Author: Jae-Dong Lee; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A real time simulation model of production system of glycerol esterification with self optimization |
|
Author: Iwang aang soenandi; Taufik Djatna; | Call Number: sem-320 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Caching Model for Real-Time Database in Mobile Ad-Hoc Networks (186-196) |
|
Author: Yanghong Li
Le Gruenwald; | Call Number: SEM-375 | 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
|
| 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
|
Search Result