| Your search for 16340 returns 432 document(s) |
| 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
|
| FPGA resource reduction through truncated multiplication, (LNCS-Lecture Notes in Computer Science 2147) Hal 574-583 |
|
Author: Kent E. Wires; Michael J. Schulte; Don McCarley; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Domain reduction for the circuit constraint, (LNCS-Lecture Notes in Computer Science 3709) Hal 846 |
|
Author: Latife Genc Kaya; John Hooker; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Relaxed visibility enhances partial order reduction, (LNCS-Lecture Notes in Computer Science 1254) Hal 328-339 |
|
Author: Ilkka Kokkarinen; Doron Peled; Antti Valmari; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351 |
|
Author: R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Partial-order reduction in symbolic state space explorarion, (LNCS-Lecture Notes in Computer Science 1254) Hal. 340-351 |
|
Author: R. Alur; R.K. Bryton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Similarity relational cakculus and its reduction to a similarity algebra, LNCS-Lecture Notes in Computer Science 2942), Hal. 252-272 |
|
Author: Ingo Schmitt and Nadine Schulz; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Desain Dan Implementasi Sitem Peningkatan Kualitas Perekaman A udio Dengan Wavelet Noise Reduction Dan Automatic Gain Adjustment (hal 50-55) |
|
Author: Mayo Ama Kella Loing, Koredianto Usman, Rita Magdalena; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Social Presence in Virtual World Collaboration: An Uncertainty Reduction Perspective Using a Mixed Methods Approach, Page 779-803 |
|
Author: Shirish C. Srivastava and Shalini Chandra | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reduced space classification using kernel dimensionality reduction for question classification in public health wuestion- answering (hal 187 - 192) |
|
Author: Hapnes Toba, Ito Wasito; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result