| Your search for 15990 returns 3125 document(s) |
| 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
|
| The railroad crossing problem modeling with hybrid argos-analysis with polka, Hal. 265-271 |
|
Author: Nicolas Halbwachs, Florence Maranichi and Yann-Eric Proy; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time like hybrid simulation performed at your time?, Hal. 287-293 |
|
Author: M. Romdhani; P. Chambert, R.P. Hauthois; A. Jefroy P.; de Chzelles, A.E.K. Sahraoui; A.A. Jeerays; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dicidable hybrid systems to modelize and verify rel-time applications, Hal. 295-302 |
|
Author: Olivier Roux; Vlad Rusu; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Invariance priciple in hybrid systems modeled by mixed mapings, Hal. 397-408 |
|
Author: Toshimitau Ushio; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Novel protection algorithm for survivable hybrid wireles-optical broadband access network |
|
Author: Bo Gong; Yejun Liu, Lei Guo; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid face detection algorithm based on a data mining approach |
|
Author: E. Fattahi, A. Broumandnia; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid dynamic programming, (LNCS-Lecture Notes in Computer Science 1201) Hal 391-396 |
|
Author: Wolf Kohn; Jeffrey B. Remmel; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Planar hybrid systems,(LNCS-Lecture Notes in Computer Science 999) Hal. 292-225 |
|
Author: John Guckenheimer; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An efficient hybrid system using NAND flah-memory SSD, 202-206 |
|
Author: Jaechun No; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result