Your search for 39781 returns 2635 document(s) |
Control synthesis for a class of hybrid systems subject to configuration-based safety constraints, (LNCS-Lecture Notes in Computer Science 1201) Hal 376-390 |
Author: Michael Heymann; Feng Lin; George Meyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Investigation on disambigation in CLIR aligned corpus and bi rectional traslation-based strategies, (LNCS-Lecture Notes in Computer Science, 2406), Hal. 155-168 |
Author: M. Boughanem, C. Chrisment, and N. Naser; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hypergraph transversals, (LNCS-Lecture Notes in Computer Science 999)Hal. 13 |
Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On induction vs continuity, (LNCS-Lecture Notes in Computer Science 999) Hal. 167-176 |
Author: Dexter Kozen; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The type theory of PL.Cv3, (LNCS-Lecture Notes in Computer Science 999) Hal. 72-93 |
Author: Robert J. Constable; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Cooperative design for hybrid systems (extended abstract), Hal. 15-20 |
Author: Belawati H. Widjaja; Chen Zongji; He Weidong; Zhou Chaochen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structure and interpretation of computer programs |
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
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
|
A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231 |
Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Controllers as fixed points of se-valued operators, ((LNCS-Lecture Notes in Computer Science 999) Hal. 344-358 |
Author: Anil Nerode; Jeffrey B. Remmed; Alexander Yakhnis; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|