Search Results for Control. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dControl.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2026-04-18T05:53:58ZNetworked Control Systemsent://SD_ILS/0/SD_ILS:1684002026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Bemporad, Alberto. editor. Heemels, Maurice. editor. Johansson, Mikael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-033-5">http://dx.doi.org/10.1007/978-0-85729-033-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Product Quality Controlent://SD_ILS/0/SD_ILS:3346252026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Wagner, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334625.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fractional Dynamics and Controlent://SD_ILS/0/SD_ILS:1736902026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Baleanu, Dumitru. editor. Machado, José António Tenreiro. editor. Luo, Albert C. J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0457-6">http://dx.doi.org/10.1007/978-1-4614-0457-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Adaptive Cryptographic Access Controlent://SD_ILS/0/SD_ILS:1726542026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kayem, Anne V. D. M. author. Akl, Selim G. author. Martin, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6655-1">http://dx.doi.org/10.1007/978-1-4419-6655-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Modeling and Fuzzy Controlent://SD_ILS/0/SD_ILS:1681842026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Zhang, Huaguang. author. Liu, Derong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4539-7">http://dx.doi.org/10.1007/978-0-8176-4539-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundation Version Control for Web Developersent://SD_ILS/0/SD_ILS:1716632026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kemper, Chris. author. Oxley, Ian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3973-4">http://dx.doi.org/10.1007/978-1-4302-3973-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coverage Control in Sensor Networksent://SD_ILS/0/SD_ILS:1761422026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Wang, Bang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-059-5">http://dx.doi.org/10.1007/978-1-84996-059-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Under Control Governance Across the Enterpriseent://SD_ILS/0/SD_ILS:1711662026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Lamm, Jacob. author. Blount, Sumner. author. Boston, Steve. author. Camm, Marc. author. Cirabisi, Robert. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1593-6">http://dx.doi.org/10.1007/978-1-4302-1593-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design of Embedded Control Systemsent://SD_ILS/0/SD_ILS:1655042026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28327-7">http://dx.doi.org/10.1007/0-387-28327-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Medium Access Control in Wireless Networksent://SD_ILS/0/SD_ILS:3320732026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Wang, Ping. author. Zhuang, Weihua. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332073.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6602-4">http://dx.doi.org/10.1007/978-1-4614-6602-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Control of Boolean Networks A Semi-tensor Product Approachent://SD_ILS/0/SD_ILS:1684192026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-097-7">http://dx.doi.org/10.1007/978-0-85729-097-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Embedded Control Systems Improving Dependability with Coherent Designent://SD_ILS/0/SD_ILS:1756882026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-052-0">http://dx.doi.org/10.1007/978-1-84800-052-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Informatics in Control, Automation and Robotics IIent://SD_ILS/0/SD_ILS:1695442026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Quantitative Measure for Discrete Event Supervisory Controlent://SD_ILS/0/SD_ILS:1649922026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103444">http://dx.doi.org/10.1007/b103444</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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Distributed Parameter Modeling and Boundary Control of Flexible Manipulatorsent://SD_ILS/0/SD_ILS:4006472026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Liu, Jinkun. author. He, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8300-6">https://doi.org/10.1007/978-981-10-8300-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Networks for Cooperative Control of Multiple Robot Armsent://SD_ILS/0/SD_ILS:4022602026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7037-2">https://doi.org/10.1007/978-981-10-7037-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systemsent://SD_ILS/0/SD_ILS:4013522026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Mahmoud, Magdi S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54954-5">https://doi.org/10.1007/978-3-319-54954-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Control of Hybrid Propulsion System for Ground Vehiclesent://SD_ILS/0/SD_ILS:4023072026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Zou, Yuan. author. Li, Junqiu. author. Hu, Xiaosong. author. Chamaillard, Yann. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53673-5">https://doi.org/10.1007/978-3-662-53673-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6181202026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Cuppens-Boulahia, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61437-3">https://doi.org/10.1007/978-3-319-61437-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159412026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42321-0">https://doi.org/10.1007/978-3-319-42321-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6160502026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42324-1">https://doi.org/10.1007/978-3-319-42324-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimizationent://SD_ILS/0/SD_ILS:3316702026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Pham, Khanh D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331670.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5079-5">http://dx.doi.org/10.1007/978-1-4614-5079-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Simulating Command and Control For Organizations Under Extreme Situationsent://SD_ILS/0/SD_ILS:3311242026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331124.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5037-4">http://dx.doi.org/10.1007/978-1-4471-5037-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Controlent://SD_ILS/0/SD_ILS:3327532026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332753.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00440-2">http://dx.doi.org/10.1007/978-3-319-00440-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial Image Processing Visual Quality Control in Manufacturingent://SD_ILS/0/SD_ILS:3337702026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Demant, Christian. author. Streicher-Abel, Bernd. author. Garnica, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333770.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33905-9">http://dx.doi.org/10.1007/978-3-642-33905-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3341762026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334176.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36321-4">http://dx.doi.org/10.1007/978-3-642-36321-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Applications for Security, Control and System Engineering International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975862026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kim, Tai-hoon. editor. Stoica, Adrian. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Villalba, Javier García. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35264-5">http://dx.doi.org/10.1007/978-3-642-35264-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Flow Based Security Control Beyond RBAC How to enable fine-grained security policy enforcement in business processes beyond limitations of role-based access control (RBAC)ent://SD_ILS/0/SD_ILS:1989532026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Fischer-Hellmann, Klaus-Peter. author. Bischoff, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2618-3">http://dx.doi.org/10.1007/978-3-8348-2618-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual Reality and Animation for MATLAB® and Simulink® Users Visualization of Dynamic Models and Control Simulationsent://SD_ILS/0/SD_ILS:1734232026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Khaled, Nassim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2330-9">http://dx.doi.org/10.1007/978-1-4471-2330-9</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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Advances in Computing, Communication and Control International Conference, ICAC3 2011, Mumbai, India, January 28-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1938972026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18440-6">http://dx.doi.org/10.1007/978-3-642-18440-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1939872026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Balasubramaniam, P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19263-0">http://dx.doi.org/10.1007/978-3-642-19263-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Controlent://SD_ILS/0/SD_ILS:1990342026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kirches, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8202-8">http://dx.doi.org/10.1007/978-3-8348-8202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysicsent://SD_ILS/0/SD_ILS:1685372026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Campion, Gianni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-576-7">http://dx.doi.org/10.1007/978-0-85729-576-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied and Numerical Partial Differential Equations Scientific Computing in Simulation, Optimization and Control in a Multidisciplinary Contextent://SD_ILS/0/SD_ILS:2050192026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Fitzgibbon, W. editor. Kuznetsov, Y.A. editor. Neittaanmäki, Pekka. editor. Périaux, Jacques. editor. Pironneau, Olivier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3239-3">http://dx.doi.org/10.1007/978-90-481-3239-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925082026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Aagesen, Finn Arve. editor. Knapskog, Svein Johan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13971-0">http://dx.doi.org/10.1007/978-3-642-13971-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929842026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15485-0">http://dx.doi.org/10.1007/978-3-642-15485-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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Geometric Computing for Wavelet Transforms, Robot Vision, Learning, Control and Actionent://SD_ILS/0/SD_ILS:1761032026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Bayro-Corrochano, Eduardo. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-929-9">http://dx.doi.org/10.1007/978-1-84882-929-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Building iPhone OS Accessories Use the iPhone Accessories API to Control and Monitor Devicesent://SD_ILS/0/SD_ILS:1714052026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Maskrey, Ken. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2932-2">http://dx.doi.org/10.1007/978-1-4302-2932-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1913582026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10406-0">http://dx.doi.org/10.1007/978-3-642-10406-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Control of Hybrid Systems A Symbolic Approachent://SD_ILS/0/SD_ILS:1719022026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Tabuada, Paulo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0224-5">http://dx.doi.org/10.1007/978-1-4419-0224-5</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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Ś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/>Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897432026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IUTAM Symposium on Unsteady Separated Flows and their Control Proceedings of the IUTAM Symposium “Unsteady Separated Flows and their Control“, Corfu, Greece, 18–22 June 2007ent://SD_ILS/0/SD_ILS:1706762026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Braza, Marianna. editor. Hourigan, Kerry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9898-7">http://dx.doi.org/10.1007/978-1-4020-9898-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1896692026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00393-6">http://dx.doi.org/10.1007/978-3-642-00393-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards Affordance-Based Robot Control International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1880182026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Rome, Erich. editor. Hertzberg, Joachim. editor. Dorffner, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77915-5">http://dx.doi.org/10.1007/978-3-540-77915-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882802026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Generic Optimization Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networksent://SD_ILS/0/SD_ILS:1698932026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6668-9">http://dx.doi.org/10.1007/978-1-4020-6668-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008ent://SD_ILS/0/SD_ILS:1703642026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8889-6">http://dx.doi.org/10.1007/978-1-4020-8889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systemsent://SD_ILS/0/SD_ILS:1855922026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Manoonpong, Poramate. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68803-7">http://dx.doi.org/10.1007/978-3-540-68803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Mathematical Systems Theory Linear Systems, Identification and Controlent://SD_ILS/0/SD_ILS:1979522026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-7549-2">http://dx.doi.org/10.1007/978-3-7643-7549-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007ent://SD_ILS/0/SD_ILS:1697332026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862962026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71493-4">http://dx.doi.org/10.1007/978-3-540-71493-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866312026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72709-5">http://dx.doi.org/10.1007/978-3-540-72709-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Engineering for QoS, Security and Mobility, IV Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14–18, 2005ent://SD_ILS/0/SD_ILS:1664972026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Gaïti, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49690-0">http://dx.doi.org/10.1007/978-0-387-49690-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836452026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security Management, Integrity, and Internal Control in Information Systems IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conferenceent://SD_ILS/0/SD_ILS:1657962026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Dowland, Paul. editor. Furnell, Steve. editor. Thuraisingham, Bhavani. editor. Wang, X. Sean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31167-X">http://dx.doi.org/10.1007/0-387-31167-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Control, Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italyent://SD_ILS/0/SD_ILS:1659822026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Ceragioli, F. editor. Dontchev, A. editor. Furuta, H. editor. Marti, K. editor. Pandolfi, L. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-33882-9">http://dx.doi.org/10.1007/0-387-33882-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Engineering for Qos, Security and Mobility, V IFIP 19th World Computer Congress, TC-6, 5th IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, August 20–25, 2006, Santiago, Chileent://SD_ILS/0/SD_ILS:1660802026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Gaïti, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-34827-8">http://dx.doi.org/10.1007/978-0-387-34827-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Access Control Systems Security, Identity Management and Trust Modelsent://SD_ILS/0/SD_ILS:1654332026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Benantar, Messaoud. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27716-1">http://dx.doi.org/10.1007/0-387-27716-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Engineering for QoS, Security and Mobility, III IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spainent://SD_ILS/0/SD_ILS:1648722026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Gaïti, Dominique. editor. Galmés, Sebastià. editor. Puigjaner, Ramon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b100917">http://dx.doi.org/10.1007/b100917</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Data Mining Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1822682026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104334">http://dx.doi.org/10.1007/b104334</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830262026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papersent://SD_ILS/0/SD_ILS:1823592026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105497">http://dx.doi.org/10.1007/b105497</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Reachability Analysis of Hybrid Systemsent://SD_ILS/0/SD_ILS:1734792026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Bujorianu, Luminita Manuela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2795-6">http://dx.doi.org/10.1007/978-1-4471-2795-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approachent://SD_ILS/0/SD_ILS:1759312026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-244-3">http://dx.doi.org/10.1007/978-1-84882-244-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Maintenance for Human–Robot Interaction An Intelligent Search Algorithmic Perspectiveent://SD_ILS/0/SD_ILS:4011402026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Xing, Bo. author. Marwala, Tshilidzi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67480-3">https://doi.org/10.1007/978-3-319-67480-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science and Engineering—Theory and Applicationsent://SD_ILS/0/SD_ILS:4026322026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Sanchez, Mauricio A. editor. Aguilar, Leocundo. editor. Castañón-Puga, Manuel. editor. Rodríguez-Díaz, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74060-7">https://doi.org/10.1007/978-3-319-74060-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approachent://SD_ILS/0/SD_ILS:1681502026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-8176-4465-2">http://dx.doi.org/10.1007/0-8176-4465-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sound Capture for Human/Machine Interfaces Practical Aspects of Microphone Array Signal Processingent://SD_ILS/0/SD_ILS:1827632026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Herbordt, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b99807">http://dx.doi.org/10.1007/b99807</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mechatronics for Cultural Heritage and Civil Engineeringent://SD_ILS/0/SD_ILS:4002012026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Quantum Neural Computationent://SD_ILS/0/SD_ILS:2050542026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Human and Nature Minding Automation An Overview of Concepts, Methods, Tools and Applicationsent://SD_ILS/0/SD_ILS:2051172026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Intelligent Infrastructuresent://SD_ILS/0/SD_ILS:2051282026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6054722026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6057832026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6057382026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-valued Logic for Decision-Making Under Uncertaintyent://SD_ILS/0/SD_ILS:6072782026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74762-5">https://doi.org/10.1007/978-3-031-74762-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata Extensions and Generalizationsent://SD_ILS/0/SD_ILS:6076602026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78701-0">https://doi.org/10.1007/978-3-031-78701-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6077022026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87054-5">https://doi.org/10.1007/978-3-031-87054-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6079082026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4207-6">https://doi.org/10.1007/978-981-96-4207-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050952026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6051212026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6057172026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6057362026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principle of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Yuan, Chongyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082992026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Creative approaches towards development of computing and multidisciplinary IT solutions for societyent://SD_ILS/0/SD_ILS:5993712026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Bijalwan, Anchit, editor.<br/>Preferred Shelf Number QA76 .C74 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations for Functional Modeling of Technical Artefactsent://SD_ILS/0/SD_ILS:6021042026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6021372026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48751-4">https://doi.org/10.1007/978-3-031-48751-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structures of Computing A Guide to Practice-Oriented Theoryent://SD_ILS/0/SD_ILS:6027732026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6036382026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56208-2">https://doi.org/10.1007/978-3-031-56208-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6032592026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2272-3">https://doi.org/10.1007/978-981-97-2272-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6032602026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2275-4">https://doi.org/10.1007/978-981-97-2275-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Solving Ordinary Differential Equations in Pythonent://SD_ILS/0/SD_ILS:6019462026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Sundnes, Joakim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46768-4">https://doi.org/10.1007/978-3-031-46768-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022162026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6022172026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Mathematical Science for Mobility Societyent://SD_ILS/0/SD_ILS:6028752026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9772-5">https://doi.org/10.1007/978-981-99-9772-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6031612026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industryent://SD_ILS/0/SD_ILS:6048932026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-4768-9">https://doi.org/10.1007/978-981-97-4768-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spiking Neural P Systems Theory, Applications and Implementationsent://SD_ILS/0/SD_ILS:6065172026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9282-5">https://doi.org/10.1007/978-981-97-9282-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Admissible Consensus and Consensualization for Singular Multi-agent Systemsent://SD_ILS/0/SD_ILS:5283562026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6990-4">https://doi.org/10.1007/978-981-19-6990-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:5273532026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-93582-5">https://doi.org/10.1007/978-3-030-93582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Resource Allocation in Network Function Virtualization Problems, Models and Algorithmsent://SD_ILS/0/SD_ILS:5275892026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4815-2">https://doi.org/10.1007/978-981-19-4815-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Improved FMEA Methods for Proactive Healthcare Risk Analysisent://SD_ILS/0/SD_ILS:4841682026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Liu, Hu-Chen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6366-5">https://doi.org/10.1007/978-981-13-6366-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6108572026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70700-6">https://doi.org/10.1007/978-3-319-70700-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120442026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6135512026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70694-8">https://doi.org/10.1007/978-3-319-70694-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6181572026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70697-9">https://doi.org/10.1007/978-3-319-70697-9</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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6134722026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65551-2">https://doi.org/10.1007/978-3-319-65551-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159192026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58472-0">https://doi.org/10.1007/978-3-319-58472-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics: Cognition and Design 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6159342026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58475-1">https://doi.org/10.1007/978-3-319-58475-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applicationsent://SD_ILS/0/SD_ILS:6173502026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55947-5">https://doi.org/10.1007/978-3-662-55947-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pervasive Computing Engineering Smart Systemsent://SD_ILS/0/SD_ILS:6173712026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Learning Classifier Systemsent://SD_ILS/0/SD_ILS:6122662026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132422026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6120862026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46672-9">https://doi.org/10.1007/978-3-319-46672-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulationent://SD_ILS/0/SD_ILS:6124662026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33786-9">https://doi.org/10.1007/978-3-319-33786-9</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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6161882026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41009-8">https://doi.org/10.1007/978-3-319-41009-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6162732026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39378-0">https://doi.org/10.1007/978-3-319-39378-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networksent://SD_ILS/0/SD_ILS:6167912026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46810-5">https://doi.org/10.1007/978-3-319-46810-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Animals to Animats 14 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6170022026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Tuci, Elio. editor. Giagkos, Alexandros. editor. Wilson, Myra. editor. Hallam, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43488-9">https://doi.org/10.1007/978-3-319-43488-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:6177792026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:6178152026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Evolutionary Computer Vision The First Footprintsent://SD_ILS/0/SD_ILS:6144722026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Olague, Gustavo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43693-6">https://doi.org/10.1007/978-3-662-43693-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6159852026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46681-1">https://doi.org/10.1007/978-3-319-46681-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6162492026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46675-0">https://doi.org/10.1007/978-3-319-46675-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6171622026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46687-3">https://doi.org/10.1007/978-3-319-46687-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6162772026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41000-5">https://doi.org/10.1007/978-3-319-41000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII Special Issue on Big Data for Complex Urban Systemsent://SD_ILS/0/SD_ILS:6173002026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Anjomshoaa, Amin. editor. Hung, Patrick C. K. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53416-8">https://doi.org/10.1007/978-3-662-53416-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:6173472026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. Lhotska, Lenka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49214-7">https://doi.org/10.1007/978-3-662-49214-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6180152026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30806-7">https://doi.org/10.1007/978-3-319-30806-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6116142026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39384-1">https://doi.org/10.1007/978-3-319-39384-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 IIent://SD_ILS/0/SD_ILS:6126672026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130382026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Risk Managementent://SD_ILS/0/SD_ILS:4884302026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Moran, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Secure Information Society Ethical, Legal and Political Challengesent://SD_ILS/0/SD_ILS:3310512026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331051.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4763-3">http://dx.doi.org/10.1007/978-1-4471-4763-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-finger Haptic Interactionent://SD_ILS/0/SD_ILS:3311732026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331173.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5204-0">http://dx.doi.org/10.1007/978-1-4471-5204-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CAN System Engineering From Theory to Practical Applicationsent://SD_ILS/0/SD_ILS:3312272026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Lawrenz, Wolfhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331227.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5613-0">http://dx.doi.org/10.1007/978-1-4471-5613-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-based Health Monitoring of Hybrid Systemsent://SD_ILS/0/SD_ILS:3322702026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structuresent://SD_ILS/0/SD_ILS:3335752026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333575.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32448-2">http://dx.doi.org/10.1007/978-3-642-32448-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reproduction of Tactual Textures Transducers, Mechanics and Signal Encodingent://SD_ILS/0/SD_ILS:3310742026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Wiertlewski, Michaël. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331074.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4841-8">http://dx.doi.org/10.1007/978-1-4471-4841-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthdayent://SD_ILS/0/SD_ILS:3311092026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4971-2">http://dx.doi.org/10.1007/978-1-4471-4971-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Fault Classification to Fault Tolerance for Multi-Agent Systemsent://SD_ILS/0/SD_ILS:3311272026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331127.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5046-6">http://dx.doi.org/10.1007/978-1-4471-5046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Based Design of Adaptive Embedded Systemsent://SD_ILS/0/SD_ILS:3315942026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331594.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4821-1">http://dx.doi.org/10.1007/978-1-4614-4821-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012ent://SD_ILS/0/SD_ILS:3316692026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5076-4">http://dx.doi.org/10.1007/978-1-4614-5076-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nonlinear Optimization Applications Using the GAMS Technologyent://SD_ILS/0/SD_ILS:3321202026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Andrei, Neculai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6797-7">http://dx.doi.org/10.1007/978-1-4614-6797-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intrinsically Motivated Learning in Natural and Artificial Systemsent://SD_ILS/0/SD_ILS:3335642026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32375-1">http://dx.doi.org/10.1007/978-3-642-32375-1</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-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor 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/>Computational Methods in Stochastic Dynamics Volume 2ent://SD_ILS/0/SD_ILS:3358942026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Papadrakakis, Manolis. editor. Stefanou, George. editor. Papadopoulos, Vissarion. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335894.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5134-7">http://dx.doi.org/10.1007/978-94-007-5134-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multibody Dynamics Computational Methods and Applicationsent://SD_ILS/0/SD_ILS:3359692026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Samin, Jean-Claude. editor. Fisette, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5404-1">http://dx.doi.org/10.1007/978-94-007-5404-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Based Parameter Estimation Theory and Applicationsent://SD_ILS/0/SD_ILS:3333242026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.<br/>Preferred Shelf Number ONLINE(333324.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30367-8">http://dx.doi.org/10.1007/978-3-642-30367-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:3338842026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kormanyos, Christopher Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333884.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348522026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.<br/>Preferred Shelf Number ONLINE(334852.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39802-5">http://dx.doi.org/10.1007/978-3-642-39802-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational and Robotic Models of the Hierarchical Organization of Behaviorent://SD_ILS/0/SD_ILS:3348612026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334861.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39875-9">http://dx.doi.org/10.1007/978-3-642-39875-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>RoboCup 2009: Robot Soccer World Cup XIIIent://SD_ILS/0/SD_ILS:1918262026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11876-0">http://dx.doi.org/10.1007/978-3-642-11876-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kenett, Ron. Raanan, Yossi.<br/>Preferred Shelf Number ONLINE(318959.1)<br/>Electronic Access <a href="http://onlinelibrary.wiley.com/book/10.1002/9780470972571">Access restricted to McGill users</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589233">http://public.eblib.com/choice/publicfullrecord.aspx?p=589233</a>
ebrary <a href="http://site.ebrary.com/id/10412605">http://site.ebrary.com/id/10412605</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470972571">http://dx.doi.org/10.1002/9780470972571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Useent://SD_ILS/0/SD_ILS:1761742026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Langdon, Patrick Martin. editor. Clarkson, Peter John. editor. Robinson, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-166-0">http://dx.doi.org/10.1007/978-1-84996-166-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolution of Communication and Language in Embodied Agentsent://SD_ILS/0/SD_ILS:1899302026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Nolfi, Stefano. editor. Mirolli, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01250-1">http://dx.doi.org/10.1007/978-3-642-01250-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>RoboCup 2008: Robot Soccer World Cup XIIent://SD_ILS/0/SD_ILS:1904612026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02921-9">http://dx.doi.org/10.1007/978-3-642-02921-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rescue Robotics DDT Project on Robots and Systems for Urban Search and Rescueent://SD_ILS/0/SD_ILS:1759792026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Tadokoro, Satoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-474-4">http://dx.doi.org/10.1007/978-1-84882-474-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Path to Autonomous Robots Essays in Honor of George A. Bekeyent://SD_ILS/0/SD_ILS:1677932026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Sukhatme, Gaurav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-85774-9">http://dx.doi.org/10.1007/978-0-387-85774-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robot Behaviour Design, Description, Analysis and Modellingent://SD_ILS/0/SD_ILS:1758442026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Nehmzow, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-397-2">http://dx.doi.org/10.1007/978-1-84800-397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Environments Methods, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:1758242026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Monekosso, Dorothy. editor. Remagnino, Paolo. editor. Kuno, Yoshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-346-0">http://dx.doi.org/10.1007/978-1-84800-346-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Theory and Statistical Learningent://SD_ILS/0/SD_ILS:1677202026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Emmert-Streib, Frank. editor. Dehmer, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-84816-7">http://dx.doi.org/10.1007/978-0-387-84816-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Haptic Devices A Beginner's Guide for Engineersent://SD_ILS/0/SD_ILS:1890172026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Kern, Thorsten A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88248-0">http://dx.doi.org/10.1007/978-3-540-88248-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfenent://SD_ILS/0/SD_ILS:1896322026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00269-4">http://dx.doi.org/10.1007/978-3-642-00269-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbuch für die Pogrammierung mit LabVIEW mit Studentenversion LabVIEW 8ent://SD_ILS/0/SD_ILS:1987412026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Mütterlein, Bernward. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2338-2">http://dx.doi.org/10.1007/978-3-8274-2338-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>RoboCup 2004: Robot Soccer World Cup VIIIent://SD_ILS/0/SD_ILS:1832432026-04-18T05:53:58Z2026-04-18T05:53:58ZAuthor Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106671">http://dx.doi.org/10.1007/b106671</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>