Catálogo bibliográfico FCT/UNL

Your search returned 295 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Synergies in analysis, discrete mathematics, soft computing and modelling [Documento eletrónico] / edited by P. V. Subrahmanyam ... [et al.]Publication: Singapore : Springer Nature Singapore, Springer, 2023Description: X, 221 p. : il.Availability:

Place hold
Combinatorics, graph theory and computing [Documento eletrónico] : seiccgtc 2020, boca raton, usa, march 9-13 / edited by Frederick HoffmanPublication: Cham : Springer International Publishing, Springer, 2022Description: XII, 326 p. : il.Availability:

Place hold
Computer algebra [Documento eletrónico] : an algorithm-oriented introduction / by Wolfram KoepfPublication: Cham : Springer International Publishing, Springer, 2021Description: XII, 384 p. : il.Availability:

Place hold
Modeling and optimization in space engineering [Documento eletrónico] : state of the art and new challenges / edited by Giorgio Fasano, János D. PintérPublication: Cham : Springer International Publishing, Springer, 2019Description: XIV, 478 p. : il.Availability:

Place hold
Cryptology and error correction [Documento eletrónico] : an algebraic introduction and real-world applications / by Lindsay N. ChildsPublication: Cham : Springer International Publishing, Springer, 2019Description: XIV, 351 p. : il.Availability:

Place hold
Notes from the international autumn school on computational number theory [Documento eletrónico] / edited by Ilker Inam, Engin BüyükaşıkPublication: Cham : Springer International Publishing, Birkhäuser, 2019Description: XI, 363 p. : il.Availability:

Place hold
Tools for high performance computing 2017 [Documento eletrónico] : proceedings of the 11th international workshop on parallel tools for high performance computing, september 2017, dresden, germany / edited by Christoph Niethammer ... [et al.]Publication: Cham : Springer International Publishing, Springer, 2019Description: VII, 143 p. : il.Availability:

Place hold
Machine learning applications in electronic design automation [Documento eletrónico] / edited by Haoxing Ren, Jiang HuPublication: Cham : Springer International Publishing, Springer, 2022Description: XII, 583 p. : il.Availability:

Place hold
Exploring formalisation [Documento eletrónico] : a primer in human-readable mathematics in lean 3 with examples from simplicial topology / by Clara LöhPublication: Cham : Springer International Publishing, Springer, 2022Description: VI, 147 p. : il.Availability:

Place hold
Methods of mathematical oncology [Documento eletrónico] : fusion of mathematics and biology, osaka, japan, october 26-28, 2020 / edited by Takashi Suzuki ... [et al.]Publication: Singapore : Springer Nature Singapore, Springer, 2021Description: XII, 308 p. : il.Availability:

Place hold
Systems, patterns and data engineering with geometric calculi [Documento eletrónico] / edited by Sebastià Xambó-DescampsPublication: Cham : Springer International Publishing, Springer, 2021Description: IX, 179 p. : il.Availability:

Place hold
Sustained simulation performance 2019 and 2020 [Documento eletrónico] : proceedings of the joint workshop on sustained simulation performance, university of stuttgart (hlrs) and tohoku university, 2019 and 2020 / edited by Michael M. Resch ... [et al.]Publication: Cham : Springer International Publishing, Springer, 2021Description: VIII, 190 p. : il.Availability:

Place hold
Isogeometric analysis and applications 2018 [Documento eletrónico] / edited by Harald van Brummelen ... [et al.]Publication: Cham : Springer International Publishing, Springer, 2021Description: XV, 272 p. : il.Availability:

Place hold
Domain decomposition methods in science and engineering xxv [Documento eletrónico] / edited by Ronald Haynes ... [et al.]Publication: Cham : Springer International Publishing, Springer, 2020Description: XXVI, 508 p.Availability:

Place hold
Artificial mathematical intelligence [Documento eletrónico] : cognitive, (meta)mathematical, physical and philosophical foundations / by Danny A. J. Gómez RamírezPublication: Cham : Springer International Publishing, Springer, 2020Description: XXI, 259 p. : il.Availability:

Place hold
Parallel finite volume computation on general meshes [Documento eletrónico] / by Yuri Vassilevski ... [et al.]Publication: Cham : Springer International Publishing, Springer, 2020Description: XV, 186 p. : il.Availability:

Place hold
Data analysis for direct numerical simulations of turbulent combustion [Documento eletrónico] : from equation-based analysis to machine learning / edited by Heinz Pitsch, Antonio AttiliPublication: Cham : Springer International Publishing, Springer, 2020Description: IX, 292 p. : il.Availability:

Place hold
Recent trends in mathematical modeling and high performance computing [Documento eletrónico] / edited by Vinai K. Singh, Yaroslav D. Sergeyev, Andreas FischerPublication: Cham : Springer International Publishing, Birkhäuser, 2021Description: XVI, 441 p. : il.Availability:

Place hold
Schwarz methods and multilevel preconditioners for boundary element methods [Documento eletrónico] / by Ernst P. Stephan, Thanh TranPublication: Cham : Springer International Publishing, 2021Description: XXI, 589 p. : il.Availability:

Place hold
Formalization of complex analysis and matrix theory [Documento eletrónico] / by Zhiping Shi, Yong Guan, Ximeng LiPublication: Singapore : Springer Nature Singapore, Springer, 2020Description: X, 168 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