Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
![]() ![]() ![]() Material Type: Livro
|
![]() |
Hybrid systems computation and control : 8th international workshop, HSCC 2005, Zurich Switzerland, March 9-11, 2005 : proceedingsHSCC 2005 (2005 Zurich, Switzerland) Manfred Morari; Lothar ThieleBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systemsHeinrich RustBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Hybrid Intelligent Systems: 19th International Conference on Hybrid Intelligent Systems (HIS 2019) Held in Bhopal, India, December 10-12 2019Abraham, Ajith ; Shandilya, Shishir K ; Garcia-Hernandez, Laura ; Varela, Maria LeonildeCham: Springer International Publishing AG 2020Sem texto completo |
4 |
Material Type: Livro
|
![]() |
Hybrid Intelligent Systems: 21st International Conference on Hybrid Intelligent Systems (HIS 2021), December 14-16 2021Abraham, Ajith ; Siarry, Patrick ; Piuri, Vincenzo ; Gandhi, Niketa ; Casalino, Gabriella ; Castillo, Oscar ; Hung, PatrickCham: Springer International Publishing AG 2022Sem texto completo |
5 |
Material Type: Livro
|
![]() |
Hybrid Intelligent Systems: 20th International Conference on Hybrid Intelligent Systems (HIS 2020), December 14-16 2020Abraham, Ajith ; Hanne, Thomas ; Castillo, Oscar ; Gandhi, Niketa ; Nogueira Rios, Tatiane ; Hong, Tzung-PeiCham: Springer International Publishing AG 2021Sem texto completo |
6 |
Material Type: Livro
|
![]() |
Hybrid Intelligent Systems: 18th International Conference on Hybrid Intelligent Systems (HIS 2018) Held in Porto, Portugal, December 13-15 2018Madureira, Ana Maria ; Abraham, Ajith ; Gandhi, Niketa ; Varela, Maria LeonildeCham: Springer International Publishing AG 2019Sem texto completo |
7 |
Material Type: Livro
|
![]() |
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 ProceedingsBenedetto, Maria Domenica Di ; Sangiovanni-Vincentelli, Alberto Di Benedetto, Maria Domenica ; Sangiovanni-Vincentelli, AlbertoBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. ProceedingsAlur, Rajeev ; Pappas, George J Alur, Rajeev ; Pappas, George J.Berlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Hybrid Systems IVAntsaklis, Panos ; Kohn, Wolf ; Nerode, Anil ; Sastry, Shankar Antsaklis, Panos ; Sastry, Shankar ; Kohn, Wolf ; Nerode, AnilBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Hybrid Systems VAntsaklis, Panos J ; Kohn, Wolf ; Lemmon, Michael ; Nerode, Anil ; Sastry, Shankar Lemmon, Michael ; Kohn, Wolf ; Nerode, Anil ; Antsaklis, Panos ; Sastry, ShankarLecture notes in computer science, 1999, Vol.1567 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin / HeidelbergTexto completo disponível |