Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings için kapak resmi
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Yazar 
Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01042-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings için kapak resmi
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Yazar 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings için kapak resmi
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Yazar 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017 için kapak resmi
Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
Yazar 
Le, Nguyen-Thinh. editor. van Do, Tien. editor. Nguyen, Ngoc Thanh. editor. Thi, Hoai An Le. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61911-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computer Methods in Biomechanics and Biomedical Engineering Proceedings of the 14th International Symposium CMBBE, Tel Aviv, Israel, 2016 için kapak resmi
Computer Methods in Biomechanics and Biomedical Engineering Proceedings of the 14th International Symposium CMBBE, Tel Aviv, Israel, 2016
Yazar 
Gefen, Amit. editor. Weihs, Daphne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59764-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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 için kapak resmi
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
Yazar 
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74781-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management için kapak resmi
Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management
Yazar 
Watzenig, Daniel. editor. Brandstätter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57445-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Biomechanics : concepts and computation için kapak resmi
Biomechanics : concepts and computation
Yazar 
Oomens, C. W. J., author. Brekelmans, Marcel, author. Loerakker, Sandra, 1982- author. Baaijens, Franciscus Petrus Thomas, author.
Yer Numarası 
QH513 .O56 2018
Elektronik Erişim 
https://doi.org/10.1017/CBO9781316681633
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: