Search Results for Methods engineering. - Narrowed by: 2018
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMethods$002bengineering.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list
2025-01-03T23:11:21Z
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399356
2025-01-03T23:11:21Z
2025-01-03T23:11:21Z
Author Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
ent://SD_ILS/0/SD_ILS:399448
2025-01-03T23:11:21Z
2025-01-03T23:11:21Z
Author Le, Nguyen-Thinh. editor. van Do, Tien. editor. Nguyen, Ngoc Thanh. editor. Thi, Hoai An Le. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61911-8">https://doi.org/10.1007/978-3-319-61911-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399962
2025-01-03T23:11:21Z
2025-01-03T23:11:21Z
Author Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Methods in Biomechanics and Biomedical Engineering Proceedings of the 14th International Symposium CMBBE, Tel Aviv, Israel, 2016
ent://SD_ILS/0/SD_ILS:401250
2025-01-03T23:11:21Z
2025-01-03T23:11:21Z
Author Gefen, Amit. editor. Weihs, Daphne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59764-5">https://doi.org/10.1007/978-3-319-59764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399218
2025-01-03T23:11:21Z
2025-01-03T23:11:21Z
Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402522
2025-01-03T23:11:21Z
2025-01-03T23:11:21Z
Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management
ent://SD_ILS/0/SD_ILS:401739
2025-01-03T23:11:21Z
2025-01-03T23:11:21Z
Author Watzenig, Daniel. editor. Brandstätter, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57445-5">https://doi.org/10.1007/978-3-319-57445-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomechanics : concepts and computation
ent://SD_ILS/0/SD_ILS:506393
2025-01-03T23:11:21Z
2025-01-03T23:11:21Z
Author Oomens, C. W. J., author. Brekelmans, Marcel, author. Loerakker, Sandra, 1982- author. Baaijens, Franciscus Petrus Thomas, author.<br/>Preferred Shelf Number QH513 .O56 2018<br/>Electronic Access <a href="https://doi.org/10.1017/CBO9781316681633">https://doi.org/10.1017/CBO9781316681633</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>