Your search for 38761 returns 3952 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
|
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
|
An efficient hybrid routing approach for hybrid wireles mesh networks, (LNCS-Lecture Notes in Computer Science 5576) Hal. 532-542 |
Author: Anh-Ngoc Lee; Dong-Won Kum, You-Ze Cho; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
And/or branch-and-bound for solving mixed integer linear programming problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 857 |
Author: Radu Marinescu; Rina Dechter; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Dynamic mixed-strategy evaluation of tabled logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 250-264 |
Author: Ricardo Rocha; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | 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
|
Decidable model checking of probabilistic hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 31-45 |
Author: Jeremy Sproston; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 252-263 |
Author: Michael Adlaide; Olivier Roux; | Call Number: 004.33 Jos f | 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
|