| Your search for 20722 returns 3568 document(s) |
| Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423 |
|
Author: A. Prasad Sistia; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
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
|
| Constructing hybrid control systems form robust linear control agents,((LNCS-Lecture Notes in Computer Science 999) Hal. 324-343 |
|
Author: Michael Lemmon; Christopher Beitt; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Kinerja algoritma marquardt dan steepest descent untuk pendugaan koefisien regresi non linear, 207-214 |
|
Author: Landung Sudarmana; | Call Number: SEM-344 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pilot Aided Channel Estimation in MIMI-OFDM Using Linear Interpolation ( hal. 145 - 150 ) |
|
Author: Anggun Fitrian , Risanuri Hidayat , Budi Setiyanto; | Call Number: SEM-367 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| PCR primer design using particle swarm optimization combined with piecewise linear chaotif map ( hal 176- 181) |
|
Author: Cheng-Hong Yang, Yu-Huei Cheng, Li-Yeh Chuang; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The developing of interactive software for supporting the kinematics study on linear matio n and swing pendulum ( hal 193 - 196) |
|
Author: Liliana, Kartika Gunandi, Yonathan Rindayanto Ongko; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The finite element method: volume 1 basic formulation and linear programming 4th ed. |
|
Author: Zienkiewicz, Olgierd C.; | Call Number: 620.001 Zie f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schaum's outline series theory and problem of state space and linear systems/ Donald M. Wiberg |
|
Author: Wiberg, Donald M.; | Call Number: 629.83 Wib s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to the mathematical theory of control processes vol. I: linear equations and quadratic criteria/ Richard Bellman |
|
Call Number: 629.83 Bel i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result