| Your search for 37147 returns 1986 document(s) |
| Representation and simulation of hybrid systems in OmSim, Hal. 275-280 |
|
Author: Mats Anderson; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lecture notes in computer science: hybrid systems II |
|
Author: Antsaklis, Panos; | Call Number: 005.369 Ant h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Generalized conflict learning for hybrid discrete/linear optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 415-429 |
|
Author: Hui Li; Brian Williams; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| From duration calculus to linear hybrid automata (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 196-210 |
|
Author: Ahmed Bouajjani; Yassine Lakhnech; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical methods for scientists and engineers: linear and nonlinear systems |
|
Author: Kahn, Peter B.; | Call Number: 501.51 Kah m | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Parallel software package for solving linear systems, Hal. 397-400 |
|
Author: Carl D. Scarbnick; Mark C. Chang; Martin H. Schultz; | Call Number: SEM-173 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory and problems of state space and linear systems |
|
Author: Wiberg, Donald M.; | Call Number: 003 Wib s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Iterative methods for sparsce linear systems/Yoursef Saad |
|
Author: Saad, Y; | Call Number: 512.943 4 Saa i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Iterative methods for the solution of linear systems/ editor by A. Hadjidimos |
|
Author: Hadjidimos, A.; | Call Number: 519.4 Ite | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ERTL: an extension to RTL for requirements analysis for hybrid systems, Hal. 106-121 |
|
Author: Rogerio de Lemos; Jon Hall and Amer Saeed; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result