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