| Your search for 37492 returns 203 document(s) |
| Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93 |
|
Author: James C. Corbett | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A frontal code for the solution of sparse positive-definite symmetric systems arising from finite-element applications |
|
Author: IAIN S.D. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nonrigid motion analysis based on dynamic refinement of finite element models, page 526 |
|
Author: L.V. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Scalable devide-and conquer parallel algorithm for finite state automata and its applications, 193-194 |
|
Author: Z. George Mou; Sevan G. Ficici; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Beyond finite domains: the all different and global cardinality constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 812-816 |
|
Author: Claude-Guy Quimper; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel finite element modeling of solidification processes, (LNCS-Lecture Notes in Computer Science 1557) Hal 183-195 |
|
Author: Roman Wyrzykowski; Norbert Sczygiol; Tomasz Olas; Juri Kanevski; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On polynomial-size programs winning finite-state games, (LNCS-Lecture Notes in Computer Science 939) Hal 239-252 |
|
Author: Helmut Lescow; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Supervisory control of finite state machines, (LNCS-Lecture Notes in Computer Science 939) Hal 279-292 |
|
Author: A. Aziz; F. Balarin; R. K. Brayton; M. D. DiBenedetto; A. Saldanha; A. L. Sangiovanni-Vincentelli; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid systems as finser manifolds: finite state control as approximation to connection,(LNCS-Lecture Notes in Computer Science 999) Hal. 295-321 |
|
Author: Wolf Kohn; Anil Nerode; Jeffrey B. Benard; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Estimates for discrete logarihms computations in finite fields of small characteristics, LNCS-Lecture Notes in Computer Science 2898), Hal. 190-206 |
|
Author: Robert Granger; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result