Search Result Save to File Save as CSV
Your search for 38763 returns 5045 document(s)
Generalized linear complementarity problems and the analysis of continuously variable systems and discrete event systems,(LNCS-Lecture Notes in Computer Science 1201) Hal 409-414
Author: Bart De Schutter; Bart De Moor; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Generalized linear complementarity problems and the analysis of contiously variable systems and discrete event systems, Hal. 409-414
Author: Bart De Schutter; Bart De Moor; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid systems described by the complementarity formalism, (LNCS-Lecture Notes in Computer Science 1201) Hal 403-408
Author: A. J. van der Schaft; J. M. Schumacher; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Representation of robust and non-robust solutions of nonlinear discrete-continuous systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 228-239
Author: Boris M. Miller; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
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 
An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Stability of discrete sampled systems (LNCS-Lecture Notes in Computer Science 2773) Hal 1-11
Author: N. Halbwachs; J.-F. Hery; J. -C. Laleuf; X. Nicolin; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999)
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic controller synthesis for discrete and time systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 1-20
Author: Eugene Asarin; Oded Maler; Amir Pneuli; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Non-standard parallel solution strategies for distributed sparse linear systems, (LNCS-Lecture Notes in Computer Science 1557) Hal 13-27
Author: Yousef Saad; Maria Sosonkina; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next