Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(738)
Silhavy, Petr. editor.
(18)
Silhavy, Radek. editor.
(18)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Dil
English
(738)
Yayın Yılı
-
2024
(237)
2025
(210)
2017
(154)
2016
(134)
2014
(3)
Konu
Artificial intelligence.
(141)
Computational intelligence.
(125)
Software engineering.
(93)
Computer networks .
(84)
Mechanics, Applied.
(82)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
738 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Safety Engineering Fundamentals, Methods, Research topics için kapak resmi
Safety Engineering Fundamentals, Methods, Research topics
Yazar 
Bracke, Stefan. editor. Pieper, Ralf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-47473-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Models and Methods for Systems Engineering için kapak resmi
Models and Methods for Systems Engineering
Yazar 
Borowik, Grzegorz. editor. Chmaj, Grzegorz. editor. Waszkowski, Robert. editor. (orcid)0000-0002-0170-227X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-76440-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Virtual Element Methods in Engineering Sciences için kapak resmi
Virtual Element Methods in Engineering Sciences
Yazar 
Wriggers, Peter. author. Aldakheel, Fadi. author. (orcid)0000-0003-4074-4576 Hudobivnik, Blaž. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39255-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Numerical Methods and Modelling for Engineering için kapak resmi
Numerical Methods and Modelling for Engineering
Yazar 
Khoury, Richard. author. Harder, Douglas Wilhelm. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21176-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computational Methods in Earthquake Engineering Volume 3 için kapak resmi
Computational Methods in Earthquake Engineering Volume 3
Yazar 
Papadrakakis, Manolis. editor. Plevris, Vagelis. editor. Lagaros, Nikos D. editor. (orcid)0000-0001-6114-9632 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47798-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Mathematics of Engineering and Science Practice Problems, Methods, and Solutions için kapak resmi
Mathematics of Engineering and Science Practice Problems, Methods, and Solutions
Yazar 
Rahmani-Andebili, Mehdi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71934-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings için kapak resmi
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Yazar 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Proceedings of the 4th Annual International Conference on Material, Machines, and Methods for Sustainable Development (MMMS2024) Volume 3: Sustainable Approaches in Machine Design, Life Cycle Engineering, and Energy Management for Manufacturing Processes için kapak resmi
Proceedings of the 4th Annual International Conference on Material, Machines, and Methods for Sustainable Development (MMMS2024) Volume 3: Sustainable Approaches in Machine Design, Life Cycle Engineering, and Energy Management for Manufacturing Processes
Yazar 
Long, Banh Tien. editor. Nang, Ho Xuan. editor. Huy, Pham Thanh. editor. Kim, Yun-Hae. editor. Ishizaki, Kozo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-96126-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Multi-objective Optimization Techniques in Engineering Applications Advanced Methods for Solving Complex Engineering Problems için kapak resmi
Multi-objective Optimization Techniques in Engineering Applications Advanced Methods for Solving Complex Engineering Problems
Yazar 
Tartibu, Lagouge K. author. (orcid)0000-0003-2111-7155 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-81237-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Cost Engineering Systems for Manufacturing Enterprises Methods, Processes and Experience Reports from Practice için kapak resmi
Cost Engineering Systems for Manufacturing Enterprises Methods, Processes and Experience Reports from Practice
Yazar 
Liu, Xiaoyi. author. (orcid)0000-0001-5894-8388 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-5234-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç