Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(32)
Abe, Shigeo. author.
(2)
Butler, Michael. editor.
(2)
Khurshid, Sarfraz. editor.
(2)
Lepora, Nathan F. editor.
(2)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(14)
Logic design.
(8)
Computer software.
(6)
Engineering.
(5)
Optical pattern recognition.
(5)
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ç
32 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings için kapak resmi
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings
Yazar 
Durand-Lose, Jérôme. editor. Margenstern, Maurice. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74593-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
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:
22. 
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) için kapak resmi
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Yazar 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005 için kapak resmi
Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005
Yazar 
Hommel, G. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4043-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers için kapak resmi
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Yazar 
Margenstern, Maurice. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106980
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: