Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Medieval Robots: Mechanism, Magic, Nature, and ArtTruitt, E. RPhiladelphia: University of Pennsylvania Press, Inc 2015Sem texto completo |
|
2 |
Material Type: Livro
|
Proceedings of the 13th International Conference on Ubiquitous Information Management and Communication (IMCOM) 2019Lee, Sukhan ; Ismail, Roslan ; Choo, HyunseungCham: Springer International Publishing 2019Sem texto completo |
|
3 |
Material Type: Livro
|
Digital ScienceRocha, Alvaro ; Antipova, TatianaCham: Springer International PublishingSem texto completo |
|
4 |
Material Type: Livro
|
Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, ProceedingsPientka, Brigitte ; Tinelli, Cesare Pientka, Brigitte ; Tinelli, CesareCham: Springer Nature 2023Texto completo disponível |
|
5 |
Material Type: Livro
|
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, ProceedingsRamanayake, Revantha ; Urban, Josef Ramanayake, Revantha ; Urban, JosefCham: Springer Nature 2023Texto completo disponível |
|
6 |
Material Type: Livro
|
Cellular Internet of Things: Technologies, Standards, and PerformanceOlof Liberg, Marten Sundberg, Eric Wang, Johan Bergman, Joachim SachsSan Diego: Elsevier Science 2017Texto completo disponível |
|
7 |
Material Type: Livro
|
Information Technology ScienceAntipova, Tatiana ; Rocha, ÁlvaroCham: Springer International PublishingSem texto completo |
|
8 |
Material Type: Livro
|
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, ProceedingsSattler, Uli ; Suda, Martin Suda, Martin ; Sattler, UliCham: Springer Nature 2023Texto completo disponível |
|
9 |
Material Type: Livro
|
Ambient Intelligence– Software and Applications – 8th International Symposium on Ambient Intelligence (ISAmI 2017)Villarrubia, Gabriel ; De Paz, Juan F. ; Novais, Paulo ; Marreiros, Goreti ; Julián, VicenteCham: Springer International Publishing 2017Sem texto completo |
|
10 |
Material Type: Livro
|
Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and SafetyArcak, Murat ; Meissen, Chris ; Packard, AndrewCham: Springer International Publishing 2016Sem texto completo |