Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(28)
Kroening, Daniel. editor.
(2)
Păsăreanu, Corina S. editor.
(2)
Ahlin, Eileen, editor.
(1)
Al-Essa, Reem K. author.
(1)
Dil
Konu
Artificial intelligence.
(4)
Computational intelligence.
(4)
Automation.
(3)
Control engineering.
(3)
Control, Robotics, Automation.
(3)
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ç
38 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings için kapak resmi
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Yazar 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II için kapak resmi
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Yazar 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Spinal Osteotomy için kapak resmi
Spinal Osteotomy
Yazar 
Wang, Yan. editor. Boachie-Adjei, Oheneba. editor. Lenke, Lawrence. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-94-017-8038-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Musculoskeletal Health in Pregnancy and Postpartum An Evidence-Based Guide for Clinicians için kapak resmi
Musculoskeletal Health in Pregnancy and Postpartum An Evidence-Based Guide for Clinicians
Yazar 
Fitzgerald, Colleen M. editor. Segal, Neil A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14319-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics için kapak resmi
Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics
Yazar 
Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15847-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering için kapak resmi
Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
Yazar 
Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08422-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
The Fukushima Daiichi Nuclear Accident Final Report of the AESJ Investigation Committee. için kapak resmi
The Fukushima Daiichi Nuclear Accident Final Report of the AESJ Investigation Committee.
Yazar 
SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-4-431-55160-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014 için kapak resmi
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014
Yazar 
Wong, W. Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11104-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2 için kapak resmi
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2
Yazar 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2220-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings için kapak resmi
Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Yazar 
Harris, Don. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20373-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings için kapak resmi
Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Yazar 
Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19662-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: