Search Results for Automation. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAutomation.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-23T11:00:38ZAuditing and GRC Automation in SAPent://SD_ILS/0/SD_ILS:3339602026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Chuprunov, Maxim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333960.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35302-4">http://dx.doi.org/10.1007/978-3-642-35302-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Automation in Human-Agent Environmentent://SD_ILS/0/SD_ILS:1951022026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Tweedale, Jeffrey W. author. Jain, Lakhmi C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22676-2">http://dx.doi.org/10.1007/978-3-642-22676-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Home Automation with Linuxent://SD_ILS/0/SD_ILS:1713712026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Goodwin, Steven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2779-3">http://dx.doi.org/10.1007/978-1-4302-2779-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Informatics in Control, Automation and Robotics IIent://SD_ILS/0/SD_ILS:1695442026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Filipe, Joaquim. editor. Ferrier, Jean-Louis. editor. Cetto, Juan A. editor. Carvalho, Marina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5626-0">http://dx.doi.org/10.1007/978-1-4020-5626-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS Ient://SD_ILS/0/SD_ILS:1692092026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor BRAZ, JOSÉ. editor. ARAÚJO, HELDER. editor. VIEIRA, ALVES. editor. ENCARNAÇÃO, BRUNO. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4543-3">http://dx.doi.org/10.1007/1-4020-4543-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human and Nature Minding Automation An Overview of Concepts, Methods, Tools and Applicationsent://SD_ILS/0/SD_ILS:2051172026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Tzafestas, Spyros G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3562-2">http://dx.doi.org/10.1007/978-90-481-3562-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3991212026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Ganapathi, Geetha. editor. Subramaniam, Arumugam. editor. Graña, Manuel. editor. Balusamy, Suresh. editor. Natarajan, Rajamanickam. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-0716-4">https://doi.org/10.1007/978-981-13-0716-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Home Automation with Linux and Raspberry Pient://SD_ILS/0/SD_ILS:3307232026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Goodwin, Steven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330723.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5888-9">http://dx.doi.org/10.1007/978-1-4302-5888-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automation, Communication and Cybernetics in Science and Engineering 2011/2012ent://SD_ILS/0/SD_ILS:3337032026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333703.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33389-7">http://dx.doi.org/10.1007/978-3-642-33389-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>EDV-Pionierleistungen bei komplexen Anwendungen Automation des Postscheck- und Postsparkassendienstesent://SD_ILS/0/SD_ILS:1989232026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Schröder, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2415-8">http://dx.doi.org/10.1007/978-3-8348-2415-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1961292026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Biffl, Stefan. editor. Winkler, Dietmar. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27213-4">http://dx.doi.org/10.1007/978-3-642-27213-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Intelligent Robotics, Automation, and Manufacturing First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975792026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Ponnambalam, S. G. editor. Parkkinen, Jussi. editor. Ramanathan, Kuppan Chetty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35197-6">http://dx.doi.org/10.1007/978-3-642-35197-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical AVR Microcontrollers Games, Gadgets, and Home Automation with the Microcontroller Used in Arduinoent://SD_ILS/0/SD_ILS:1717632026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Trevennor, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4447-9">http://dx.doi.org/10.1007/978-1-4302-4447-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Automation International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:1941782026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Qi, Luo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19853-3">http://dx.doi.org/10.1007/978-3-642-19853-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automation, Communication and Cybernetics in Science and Engineering 2009/2010ent://SD_ILS/0/SD_ILS:1932212026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Henning, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16208-4">http://dx.doi.org/10.1007/978-3-642-16208-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Moving Targets Elliott-Automation and the Dawn of the Computer Age in Britain, 1947 – 67ent://SD_ILS/0/SD_ILS:1761042026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Lavington, Simon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-933-6">http://dx.doi.org/10.1007/978-1-84882-933-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961042026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-26010-0">http://dx.doi.org/10.1007/978-3-642-26010-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Business Process Automation YAWL and its Support Environmentent://SD_ILS/0/SD_ILS:1905262026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Hofstede, Arthur H. M. editor. Aalst, Wil M. P. editor. Adams, Michael. editor. Russell, Nick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03121-2">http://dx.doi.org/10.1007/978-3-642-03121-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aidsent://SD_ILS/0/SD_ILS:1918612026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12015-2">http://dx.doi.org/10.1007/978-3-642-12015-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926202026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Ortiz, Ángel. editor. Franco, Rubén Darío. editor. Gasquet, Pedro Gómez. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14341-0">http://dx.doi.org/10.1007/978-3-642-14341-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936582026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor. Stoica, Adrian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17625-8">http://dx.doi.org/10.1007/978-3-642-17625-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedingsent://SD_ILS/0/SD_ILS:1914622026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10741-2">http://dx.doi.org/10.1007/978-3-642-10741-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn AppleScript The Comprehensive Guide to Scripting and Automation on Mac OS Xent://SD_ILS/0/SD_ILS:1712692026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Sanderson, Hamish. author. Rosenthal, Hanaan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2362-7">http://dx.doi.org/10.1007/978-1-4302-2362-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008ent://SD_ILS/0/SD_ILS:1646642026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Azevedo, Américo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09492-2">http://dx.doi.org/10.1007/978-0-387-09492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technology For Balanced Manufacturing Systems IFIP TC5, WG 5.5 Seventh International Conference on lnformation Technology for Balanced Automation Systems in Manufacturing and Services, Niagara Falls, Ontario, Canada, September 4–6, 2006ent://SD_ILS/0/SD_ILS:1661602026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Shen, Weiming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36594-7">http://dx.doi.org/10.1007/978-0-387-36594-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>.NET Test Automation Recipes A Problem-Solution Approachent://SD_ILS/0/SD_ILS:1708682026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor McCaffrey, James D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0163-2">http://dx.doi.org/10.1007/978-1-4302-0163-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Terminological Dictionary of Automatic Control, Systems and Roboticsent://SD_ILS/0/SD_ILS:5290512026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35755-8">https://doi.org/10.1007/978-3-031-35755-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mechatronics for Cultural Heritage and Civil Engineeringent://SD_ILS/0/SD_ILS:4002012026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Ottaviano, Erika. editor. Pelliccio, Assunta. editor. Gattulli, Vincenzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68646-2">https://doi.org/10.1007/978-3-319-68646-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cyber Security: Power and Technologyent://SD_ILS/0/SD_ILS:4010032026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Lehto, Martti. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75307-2">https://doi.org/10.1007/978-3-319-75307-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Modern Sleep Technologyent://SD_ILS/0/SD_ILS:2067552026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Chiang, Rayleigh Ping-Ying. editor. Kang, Shih-Chun (Jessy). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5470-6">http://dx.doi.org/10.1007/978-94-007-5470-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Haptics for Virtual Reality and Teleoperationent://SD_ILS/0/SD_ILS:2067632026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Mihelj, Matjaž. author. Podobnik, Janez. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5718-9">http://dx.doi.org/10.1007/978-94-007-5718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automatic Calibration and Reconstruction for Active Vision Systemsent://SD_ILS/0/SD_ILS:2064212026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Zhang, Beiwei. author. Li, Y. F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2654-3">http://dx.doi.org/10.1007/978-94-007-2654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Design in Virtual Environmentsent://SD_ILS/0/SD_ILS:2058912026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Wang, Xiangyu. editor. Tsai, Jerry Jen-Hung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0605-7">http://dx.doi.org/10.1007/978-94-007-0605-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service Robotics within the Digital Home Applications and Future Prospectsent://SD_ILS/0/SD_ILS:2060822026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor González Alonso, Ignacio. author. Fernández, Mercedes. author. Maestre, José M. author. García Fuente, María del Pilar Almudena. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1491-5">http://dx.doi.org/10.1007/978-94-007-1491-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Infrastructuresent://SD_ILS/0/SD_ILS:2051282026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3598-1">http://dx.doi.org/10.1007/978-90-481-3598-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Neural Computationent://SD_ILS/0/SD_ILS:2050542026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Ivancevic, Vladimir G. author. Ivancevic, Tijana T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3350-5">http://dx.doi.org/10.1007/978-90-481-3350-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Careerent://SD_ILS/0/SD_ILS:6092182026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97274-4">https://doi.org/10.1007/978-3-031-97274-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structural Decision Diagrams in Digital Test Theory and Applicationsent://SD_ILS/0/SD_ILS:6024422026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44734-1">https://doi.org/10.1007/978-3-031-44734-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations for Functional Modeling of Technical Artefactsent://SD_ILS/0/SD_ILS:6021042026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Lind, Morten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45918-4">https://doi.org/10.1007/978-3-031-45918-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biomimetic and Biohybrid Systems 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6110982026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Mangan, Michael. editor. Cutkosky, Mark. editor. Mura, Anna. editor. Verschure, Paul F.M.J. editor. Prescott, Tony. editor. (orcid)0000-0003-4927-5390<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63537-8">https://doi.org/10.1007/978-3-319-63537-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Provably Correct Systemsent://SD_ILS/0/SD_ILS:6163822026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48628-4">https://doi.org/10.1007/978-3-319-48628-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Logic for Computer Scientists Computational Deduction and Formal Proofsent://SD_ILS/0/SD_ILS:6174652026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Learning Classifier Systemsent://SD_ILS/0/SD_ILS:6122662026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Urbanowicz, Ryan J. author. Browne, Will N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55007-6">https://doi.org/10.1007/978-3-662-55007-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6107952026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Lepora, Nathan F. editor. Mura, Anna. editor. Mangan, Michael. editor. Verschure, Paul F.M.J. editor. Desmulliez, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42417-0">https://doi.org/10.1007/978-3-319-42417-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6126672026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42294-7">https://doi.org/10.1007/978-3-319-42294-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114582026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6114382026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42291-6">https://doi.org/10.1007/978-3-319-42291-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartzent://SD_ILS/0/SD_ILS:3309422026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330942.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Informationent://SD_ILS/0/SD_ILS:3311062026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Puig, Luis. author. Guerrero, J.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331106.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4947-7">http://dx.doi.org/10.1007/978-1-4471-4947-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Robotics 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3329352026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Herrmann, Guido. editor. Pearson, Martin J. editor. Lenz, Alexander. editor. Bremner, Paul. editor. Spiers, Adam. editor.<br/>Preferred Shelf Number ONLINE(332935.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02675-6">http://dx.doi.org/10.1007/978-3-319-02675-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robot Physical Interaction through the combination of Vision, Tactile and Force Feedback Applications to Assistive Roboticsent://SD_ILS/0/SD_ILS:3336852026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Prats, Mario. author. Pobil, Ángel P. del. author. Sanz, Pedro J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333685.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33241-8">http://dx.doi.org/10.1007/978-3-642-33241-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robotized Transcranial Magnetic Stimulationent://SD_ILS/0/SD_ILS:3322692026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Richter, Lars. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332269.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7360-2">http://dx.doi.org/10.1007/978-1-4614-7360-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-based Health Monitoring of Hybrid Systemsent://SD_ILS/0/SD_ILS:3322702026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332270.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7369-5">http://dx.doi.org/10.1007/978-1-4614-7369-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347562026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39223-8">http://dx.doi.org/10.1007/978-3-642-39223-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>RoboCup 2012: Robot Soccer World Cup XVIent://SD_ILS/0/SD_ILS:3347652026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334765.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39250-4">http://dx.doi.org/10.1007/978-3-642-39250-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programmingent://SD_ILS/0/SD_ILS:3347172026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Gu, Edward Y L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334717.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39047-0">http://dx.doi.org/10.1007/978-3-642-39047-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rob / Arch 2012 Robotic Fabrication in Architecture, Art, and Designent://SD_ILS/0/SD_ILS:3353302026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor Brell-Çokcan, Sigrid. editor. Braumann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335330.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-1465-0">http://dx.doi.org/10.1007/978-3-7091-1465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotionent://SD_ILS/0/SD_ILS:3338822026-03-23T11:00:38Z2026-03-23T11:00:38ZAuthor King, Ralf Simon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333882.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34682-8">http://dx.doi.org/10.1007/978-3-642-34682-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>