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-23T13:08:56ZAuditing and GRC Automation in SAPent://SD_ILS/0/SD_ILS:3339602026-03-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor Ś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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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-23T13:08:56Z2026-03-23T13:08:56ZAuthor 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/>