| Your search for 37343 returns 417 document(s) |
| Efficient searching with linear constraints, Hal. 169-178 |
|
Author: Pankaj K. Agarwal; Lars Arge; Jeff Erikson; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient linear solution of exterior orientation, page 140 |
|
Author: P.D. Fiore | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient Evaluation of Right-, Left-, and Multi-Linear Rules (235-242) |
|
Author: J. F. Naughton
R. Ramakrishnan
Y. Sagiv
J. D. Ullman; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Abduction of linear arithmetic constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 174-188 |
|
Author: Michael J.Maher; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Dirt: a trust model for pervasive applications, HAL. 169-178 |
|
Author: Sailaja Bulusu; Sheikh I; Ahamed; Mohammad Zulkenine; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A spreadsheets based on constraints, Hal 217-224 |
|
Author: Marc Stadelman; | Call Number: SEM-194 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementation of General Constraints in SIM |
|
Author: Richard Bigelow; | Call Number: SEM-359 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Searching with probabilities/ Andrew J. Palay |
|
Author: Palay, Andrew J.; | Call Number: 006.3 Pal s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result