Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(45)
Mura, Anna. editor.
(4)
Butler, Michael. editor.
(3)
Lepora, Nathan F. editor.
(3)
Prescott, Tony J. editor.
(3)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(17)
Theory of Computation.
(11)
Software engineering.
(9)
Logic design.
(8)
Computer software.
(6)
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ç
45 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Biomimetic and Biohybrid Systems 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017, Proceedings için kapak resmi
Biomimetic and Biohybrid Systems 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017, Proceedings
Yazar 
Mangan, Michael. editor. Cutkosky, Mark. editor. Mura, Anna. editor. Verschure, Paul F.M.J. editor. Prescott, Tony. editor. (orcid)0000-0003-4927-5390
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63537-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings için kapak resmi
Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings
Yazar 
Lepora, Nathan F. editor. Mura, Anna. editor. Mangan, Michael. editor. Verschure, Paul F.M.J. editor. Desmulliez, Marc. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42417-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings için kapak resmi
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Yazar 
Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33600-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings için kapak resmi
Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
Yazar 
Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.
Yer Numarası 
ONLINE(334852.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39802-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings için kapak resmi
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Yazar 
Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30885-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Biomimetic and Biohybrid Systems First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings için kapak resmi
Biomimetic and Biohybrid Systems First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings
Yazar 
Prescott, Tony J. editor. Lepora, Nathan F. editor. Mura, Anna. editor. Verschure, Paul F. M. J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31525-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
A Science of Operations Machines, Logic and the Invention of Programming için kapak resmi
A Science of Operations Machines, Logic and the Invention of Programming
Yazar 
Priestley, Mark. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-555-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Brain, Body and Machine Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines için kapak resmi
Brain, Body and Machine Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines
Yazar 
Angeles, Jorge. editor. Boulet, Benoit. editor. Clark, James J. editor. Kövecses, József. editor. Siddiqi, Kaleem. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16259-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings için kapak resmi
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Yazar 
Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11811-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Modeling Communication with Robots and Virtual Humans Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers için kapak resmi
Modeling Communication with Robots and Virtual Humans Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers
Yazar 
Wachsmuth, Ipke. editor. Knoblich, Günther. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79037-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings için kapak resmi
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Yazar 
Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87603-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systems için kapak resmi
Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systems
Yazar 
Manoonpong, Poramate. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68803-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: