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ç
32 sonuç bulundu Arama sonuçlarına abone ol
00000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Virtual Machines için kapak resmi
Virtual Machines
Yazar 
Craig, Iain D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-246-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Support Vector Machines için kapak resmi
Support Vector Machines
Yazar 
Christmann, Andreas. author. Steinwart, Ingo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-77242-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Compiler Design Virtual Machines için kapak resmi
Compiler Design Virtual Machines
Yazar 
Wilhelm, Reinhard. author. Seidl, Helmut. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14909-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Support Vector Machines for Pattern Classification için kapak resmi
Support Vector Machines for Pattern Classification
Yazar 
Abe, Shigeo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-098-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Adaptive Motion of Animals and Machines için kapak resmi
Adaptive Motion of Animals and Machines
Yazar 
Kimura, Hiroshi. editor. Tsuchiya, Kazuo. editor. Ishiguro, Akio. editor. Witte, Hartmut. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/4-431-31381-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Speech Separation by Humans and Machines için kapak resmi
Speech Separation by Humans and Machines
Yazar 
Divenyi, Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b99695
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Support Vector Machines for Pattern Classification için kapak resmi
Support Vector Machines for Pattern Classification
Yazar 
Abe, Shigeo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-219-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
A Concise Introduction to Languages and Machines için kapak resmi
A Concise Introduction to Languages and Machines
Yazar 
Parkes, Alan P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-121-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Abstract Computing Machines A Lambda Calculus Perspective için kapak resmi
Abstract Computing Machines A Lambda Calculus Perspective
Yazar 
Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138965
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings için kapak resmi
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Yazar 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92402-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings için kapak resmi
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Yazar 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
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. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
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:
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:
25. 
Integration of World Knowledge for Natural Language Understanding için kapak resmi
Integration of World Knowledge for Natural Language Understanding
Yazar 
Ovchinnikova, Ekaterina. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-53-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Theoretical Foundations of Artificial General Intelligence için kapak resmi
Theoretical Foundations of Artificial General Intelligence
Yazar 
Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-62-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference için kapak resmi
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
Yazar 
Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-11-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Enaction, Embodiment, Evolutionary Robotics Simulation Models for a Post-Cognitivist Science of Mind için kapak resmi
Enaction, Embodiment, Evolutionary Robotics Simulation Models for a Post-Cognitivist Science of Mind
Yazar 
Rohde, Marieke. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-34-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics için kapak resmi
Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics
Yazar 
Liu, Yang. author. Muppala, Jogesh K. author. Veeraraghavan, Malathi. author. Lin, Dong. author. Hamdi, Mounir. author.
Yer Numarası 
ONLINE(332894.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01949-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Sustainable Wireless Networks için kapak resmi
Sustainable Wireless Networks
Yazar 
Zheng, Zhongming. author. Cai, Lin X. author. Shen, Xuemin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332922.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02469-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures için kapak resmi
Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
Yazar 
Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333575.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32448-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Embedded Systems for Smart Appliances and Energy Management için kapak resmi
Embedded Systems for Smart Appliances and Energy Management
Yazar 
Grimm, Christoph. editor. Neumann, Peter. editor. Mahlknecht, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(330846.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-8795-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets