Your search returned 8 results.

Sort
Results
IUTAM Symposium on Solver-Coupling and Co-Simulation : Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017 / edited by Bernhard Schweizer

by SpringerLink (Online service) | Schweizer, Bernhard, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T57.62 2019 EB reference

Advances in System Optimization and Control : Select Proceedings of ICAEDC 2017 / edited by Sri Niwas Singh, Fushuan Wen, Monika Jain.

by SpringerLink (Online service) | Jain, Monika, editor literario | Singh, Sri Niwas, editor literario | Wen, Fushuan, editor literario.

Material type: bookE-book Publisher: Singapore : Springer Singapore : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T57.6 2019 EB reference

Fuzzy Techniques: Theory and Applications : Proceedings of the 2019 Joint World Congress of the International Fuzzy Systems Association and the Annual Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS'2019 (Lafayette, Louisiana, USA, June 18-21, 2019) / edited by Ralph Baker Kearfott, Ildar Batyrshin, Marek Reformat, Martine Ceberio, Vladik Kreinovich

by Kearfott, Ralph Baker, editor | Batyrshin, Ildar, editor | Reformat, Marek, editor | Ceberio, Martine, editor | Kreinovich, Vladik, editor.

Edition: First editionMaterial type: bookE-book Publisher: Cham : Springer International Publishing, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA402 2019 EB reference

Advances in Control Systems and its Infrastructure : Proceedings of ICPCCI 2019 / edited by Axaykumar Mehta, Abhishek Rawat, Priyesh Chauhan.

by SpringerLink (Online service) | Mehta, Axaykumar, editor | Rawat, Abhishek, editor | Chauhan, Priyesh, editor.

Edition: 1st ed. 2020.Source: Springer eBooksMaterial type: bookE-book Publisher: Singapore : Springer Singapore : Imprint: Springer, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA402.3 2020 EB reference

Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings . Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen

by Groote, Jan Friso, editor literario | Larsen, Kim Guldstrand, editor literario | SpringerLink.

Edition: First edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2021 EB reference

Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings . Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen

by Groote, Jan Friso, editor literario | Larsen, Kim Guldstrand, editor literario | SpringerLink.

Edition: First edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2021 EB reference

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu.

by Fisman, Dana, editor literario | Rosu, Grigore, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2022 EB reference

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu

by Fisman, Dana, editor literario | Rosu, Grigore, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2022 EB reference

Pages