1. Computer aided systems theory -- EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers /: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers. Part I : (2018) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 16th Record Type: Book Extent: 1 online resource (xxviii, 492 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computer aided systems theory -- EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers /: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers. Part II : (2018) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 16th Record Type: Book Extent: 1 online resource (xx, 480 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Computer aided systems theory -- EUROCAST 2015 : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised selected papers /: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised selected papers. (2015) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 15th Record Type: Book Extent: 1 online resource (xviii, 887 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Proceedings of the 13th International Scientific Conference : Computer Aided Engineering /: Computer Aided Engineering. (2017) Editors: Rusiński, Eugeniusz; Pietrusiak, Damian Other Names: International Conference on Computer Aided Engineering, 13th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Gabmeyer, Sebastian; Johnsen, Einar Broch Other Names: TAP (Conference), 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Computer aided systems theory -- EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised selected papers.: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised selected papers. Part II (2020) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 17th Record Type: Book Extent: 1 online resource (xx, 516 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Computer aided systems theory -- EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers.: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers. Part I (2020) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 17th Record Type: Book Extent: 1 online resource (xxvi, 518 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Proceedings of the 18th International Conference on Computing in Civil and Building Engineering : ICCCBE 2020 /: ICCCBE 2020. ([2021]) Other Names: Santos, Eduardo Toledo; Scheer, Sergio; International Conference on Computing in Civil and Building Engineering, 18th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Proceedings of the 14th International Scientific Conference : computer aided engineering /: computer aided engineering. (2019) Editors: Rusiński, Eugeniusz; Pietrusiak, Damian Other Names: International Conference on Computer Aided Engineering, 14th Record Type: Book Extent: 1 online resource (xiii, 873 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Computer methods and recent advances in geomechanics. (2014) Editors: Oka, Fusao; Murakami, Akira, 1956 April 1; Uzuoka, Ryosuke; Kimoto, Sayuri Other Names: International Conference on Computer Methods and Advances in Geomechanics, 14th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗