Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Delay Compensation for Nonlinear, Adaptive, and PDE SystemsKrstic, MiroslavBoston, MA: Birkhäuser 2009Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
An introduction to discrete mathematics, formal system specification, and ZD. Ince (Darrel) D Ince (Darrel)Oxford Clarendon Press New York Oxford University Press 1992Localização: IME - Inst. Matemática e Estatística (QA752 I36i )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of ThingsMarwedel, PeterCham: Springer International Publishing AG 2021Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Contracts for System DesignBenveniste, Albert ; Caillaud, Benoît ; Nickovic, Dejan ; Passerone, Roberto ; Raclet, Jean-Baptiste ; Reinkemeier, Philipp ; Sangiovanni-Vincentelli, Alberto ; Damm, Werner ; Henzinger, Thomas A. ; Larsen, Kim G.Foundations and Trends in Electronic Design Automation, 2018, Vol.12 (2-3), p.124-400 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research DirectionsNielsen, Claus Ballegaard ; Larsen, Peter Gorm ; Fitzgerald, John ; Woodcock, Jim ; Peleska, JanACM computing surveys, 2015-11, Vol.48 (2), p.1-41 [Periódico revisado por pares]Baltimore: ACMTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Model-Based Count Series Clustering for Bike Sharing System Usage Mining: A Case Study with the Vélib' System of ParisEtienne, Côme ; Latifa, OukhellouACM transactions on intelligent systems and technology, 2014-10, Vol.5 (3), p.1-21 [Periódico revisado por pares]ACMTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Host-Based Intrusion Detection System with System Calls: Review and Future TrendsLiu, Ming ; Xue, Zhi ; Xu, Xianghua ; Zhong, Changmin ; Chen, JinjunACM computing surveys, 2019-01, Vol.51 (5), p.1-36, Article 98 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Livro
|
![]() |
Digital Health Transformation, Smart Ageing, and Managing Disability: 20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, ProceedingsJongbae, Kim ; Seungbok, Lee ; Mokhtari, Mounir ; Abdulrazak, Bessam ; Aloulou, HamdiCham: Springer Nature 2023Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Deep Learning Based Recommender System: A Survey and New PerspectivesZhang, Shuai ; Yao, Lina ; Sun, Aixin ; Tay, YiACM computing surveys, 2019-02, Vol.52 (1), p.1-38 [Periódico revisado por pares]Baltimore: ACMTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
CockroachDB: The Resilient Geo-Distributed SQL DatabaseTaft, Rebecca ; Sharif, Irfan ; Matei, Andrei ; VanBenschoten, Nathan ; Lewis, Jordan ; Grieger, Tobias ; Niemi, Kai ; Woods, Andy ; Birzin, Anne ; Poss, Raphael ; Bardea, Paul ; Ranade, Amruta ; Darnell, Ben ; Gruneir, Bram ; Jaffray, Justin ; Zhang, Lucy ; Mattis, PeterProceedings of the 2020 ACM SIGMOD International Conference on Management of Data, 2020, p.1493-1509New York, NY, USA: ACMTexto completo disponível |