Catálogo bibliográfico FCT/UNL

Your search returned 31 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
From lambda calculus to cybersecurity through program analysis [Documento eletrónico] : essays dedicated to chris hankin on the occasion of his retirement / edited by Alessandra Di Pierro, Pasquale Malacaria, Rajagopal NagarajanPublication: Cham : Springer International Publishing, Springer, 2020Description: XIV, 293 p. : il.Availability:

Place hold
Learning and intelligent optimization [Documento eletrónico] : 14th international conference, lion 14, athens, greece, may 24-28, 2020, revised selected papers / edited by Ilias S. Kotsireas, Panos M. PardalosPublication: Cham : Springer International Publishing, Springer, 2020Description: XIV, 430 p. : il.Availability:

Place hold
Embracing industry 4.0 [Documento eletrónico] : selected articles from mucet 2019 / edited by Mohd Azraai Mohd Razman ... [et al.]Publication: Singapore : Springer Nature Singapore, Springer, 2020Description: IX, 289 p. : il.Availability:

Place hold
Channel coding techniques for wireless communications [Documento eletrónico] / by K. Deergha RaoPublication: Singapore : Springer Nature Singapore, Springer, 2019Description: XIX, 476 p. : il.Availability:

Place hold
Cooperative coverage control of multi-agent systems and its applications [Documento eletrónico] / by Chao Zhai, Hai-Tao Zhang, Gaoxi XiaoPublication: Singapore : Springer, 2021Description: XVI, 139 p. : il.Availability:

Place hold
Interactive data processing and 3D visualization of the solid Earth [Documento eletrónico] ; edited by Daniel PatelPublication: Cham : Springer, 2021Description: X, 355 p. : il.Availability:

Place hold
Learning and intelligent optimization [Documento eletrónico] : 13th international conference, lion 13, chania, crete, greece, may 27-31, 2019, revised selected papers / edited by Nikolaos F. Matsatsinis, Yannis Marinakis, Panos PardalosPublication: Cham : Springer International Publishing, Springer, 2020Description: XIII, 400 p. : il.Availability:

Place hold
Algorithms and architectures for parallel processing [Documento eletrónico] : 19th international conference, ica3pp 2019, melbourne, vic, australia, december 9-11, 2019, proceedings, part i / edited by Sheng Wen, Albert Zomaya, Laurence T. YangPublication: Cham : Springer International Publishing, Springer, 2020Description: XXII, 715 p. : il.Availability:

Place hold
The future of music [Documento eletrónico] : towards a computational musical theory of everything / by Guerino Mazzola ... [et al.]Publication: Cham : Springer International Publishing, 2020Description: XV, 242 p. : il.Availability:

Place hold
Fuzzy recurrence plots and networks with applications in biomedicine [Documento eletrónico] / by Tuan D. PhamPublication: Cham : Springer International Publishing, 2020Description: XVII, 170 p. : il.Availability:

Place hold
Substitution and tiling dynamics [Documento eletrónico] : introduction to self-inducing structures : CIRM Jean-Morlet Chair, fall 2017 / edited by Shigeki Akiyama, Pierre ArnouxPublication: Cham : Springer, 2020Description: XIX, 456 p. : il.Availability:

Place hold
Multimodal affective computing [Documento eletrónico] : technologies and applications in learning environments / by Ramón Zatarain Cabada, Héctor Manuel Cárdenas López, Hugo Jair EscalantePublication: Cham : Springer, 2023Description: XVII, 213 p. : il.Availability:

Place hold
Pattern recognition techniques applied to biomedical problems [Documento eletrónico] / edited by Martha Refugio Ortiz-PosadasPublication: Cham : Springer International Publishing, Springer, 2020Description: X, 221 p. : il.Availability:

Place hold
2018 MATRIX annals [Documento eletrónico] ; edited by David R. Wood ... [et al.]Publication: Cham : Springer International Publishing, 2020Description: XXXII, 427 p. : il.Availability:

Place hold
Profinite semigroups and symbolic dynamics [Documento eletrónico] / Jorge Almeida ... [et al.]Publication: Cham : Springer International Publishing, 2020Description: IX, 278 p. : il.Availability:

Place hold
Topological methods in data analysis and visualization v [Documento eletrónico] : theory, algorithms, and applications / edited by Hamish Carr ... [et al.]Publication: Cham : Springer, 2020Description: X, 270 p. : il.Availability:

Place hold
Information refinement technologies for crisis informatics [Documento eletrónico] : user expectations and design principles for social media and mobile apps / by Marc-André KaufholdPublication: Wiesbaden : Springer Vieweg, 2021Description: XLIV, 381 p. : il.Availability:

Place hold
Modelling, simulation and applications of complex systems [Documento eletrónico] : CoSMoS 2019, Penang, Malaysia, April 8-11, 2019 / edited by Mohd Hafiz Mohd ... [et al.]Publication: Singapore : Springer Nature Singapore, 2021Description: XIII, 441 p. : il.Availability:

Place hold
Advances in data science and information engineering [Documento eletrónico] : proceedings from ICDATA 2020 and IKE 2020 / edited by Robert Stahlbock ... [et al.]Publication: Cham : Springer International Publishing, 2021Description: XXV, 986 p. : il.Availability:

Place hold
Stability analysis of neural networks [Documento eletrónico] / by Grienggrai Rajchakit, Praveen Agarwal, Sriraman RamalingamPublication: Singapore : Springer, 2021Description: XXVI, 404 p. : il.Availability:

Place hold
Pages
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca