| Your search for 37498 returns 161 document(s) |
| Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254) Hal 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New approach to belief modelling, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942), Hal. 196-212 |
|
Author: V.N. Hynh, Y.Nakamori, T. Murai, and TB. Ho; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer-oriented calculi sequent trees, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942), Hal. 213-230 |
|
Author: Alexander Lyaletski; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| on Updates of logic programs: a properties-based approach, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942) Hal.231-251 |
|
Author: Mauricio Osorio and Fernando Zacarias; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan aplikasi sinau ngomah modul login, registration, school info, member, dam class task pada PT Karpa Imaji Labs |
|
Author: Fivi Melinda; | Call Number: KP-3666 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Numerical solution of partial differential equations-II synpade 1970: proceedings/ Symposium on the numerrical solution of partial differential equations, 2nd ed. Maryland Mary 11-15, 1970 |
|
Author: Symposium on the numerrical solution of partial differential equations, 2nd ed. Maryland Mary 11-15, 1970; | Call Number: 515.35 Sym n | Edition: second edition | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Improved Method Generating a Free-Form Surface Using Integral Equations, page 233-246 |
|
Author: Y. Ochiai, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithm 801: POLSys_PLP: A partitioned linear product homotopy code for solving polynomial systems of equations |
|
Author: Steven M. Wise | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The effect of jacobian evaluation reduction in solving stiff system of initial value problems (IVPS) for ordinary differential equations (ODES),Hal 131-138 |
|
Author: Heru Suhartanto; | Call Number: SEM-200 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result