Results
|
|
|
|
|
|
|
|
|
|
|
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: E-book Publisher: Cham : Springer International Publishing, 2019Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA402 2019 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: E-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: E-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: E-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: E-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 |
|
|
|