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$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-04T03:38:21ZNetworked Control Systemsent://SD_ILS/0/SD_ILS:1684002026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Neural Networks for Cooperative Control of Multiple Robot Armsent://SD_ILS/0/SD_ILS:4022602026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Modeling and Control of Hybrid Propulsion System for Ground Vehiclesent://SD_ILS/0/SD_ILS:4023072026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systemsent://SD_ILS/0/SD_ILS:4013522026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Distributed Parameter Modeling and Boundary Control of Flexible Manipulatorsent://SD_ILS/0/SD_ILS:4006472026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Industrial Image Processing Visual Quality Control in Manufacturingent://SD_ILS/0/SD_ILS:3337702026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Modeling and Simulating Command and Control For Organizations Under Extreme Situationsent://SD_ILS/0/SD_ILS:3311242026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Advances in Computing, Communication and Control International Conference, ICAC3 2011, Mumbai, India, January 28-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1938972026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Controlent://SD_ILS/0/SD_ILS:1990342026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Geometric Computing for Wavelet Transforms, Robot Vision, Learning, Control and Actionent://SD_ILS/0/SD_ILS:1761032026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Applied and Numerical Partial Differential Equations Scientific Computing in Simulation, Optimization and Control in a Multidisciplinary Contextent://SD_ILS/0/SD_ILS:2050192026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Building iPhone OS Accessories Use the iPhone Accessories API to Control and Monitor Devicesent://SD_ILS/0/SD_ILS:1714052026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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 Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1896692026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Verification and Control of Hybrid Systems A Symbolic Approachent://SD_ILS/0/SD_ILS:1719022026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor Ś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/>Towards Affordance-Based Robot Control International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1880182026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Introduction to Mathematical Systems Theory Linear Systems, Identification and Controlent://SD_ILS/0/SD_ILS:1979522026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862962026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systemsent://SD_ILS/0/SD_ILS:1855922026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Access Control Systems Security, Identity Management and Trust Modelsent://SD_ILS/0/SD_ILS:1654332026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830262026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Stochastic Reachability Analysis of Hybrid Systemsent://SD_ILS/0/SD_ILS:1734792026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Automatic Calibration and Reconstruction for Active Vision Systemsent://SD_ILS/0/SD_ILS:2064212026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Introduction to Modern Sleep Technologyent://SD_ILS/0/SD_ILS:2067552026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Collaborative Design in Virtual Environmentsent://SD_ILS/0/SD_ILS:2058912026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor González Alonso, Ignacio. author. Fernández, Mercedes. author. Maestre, José M. author. García Fuente, María del Pilar Almudena. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1491-5">http://dx.doi.org/10.1007/978-94-007-1491-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Infrastructuresent://SD_ILS/0/SD_ILS:2051282026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3598-1">http://dx.doi.org/10.1007/978-90-481-3598-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Neural Computationent://SD_ILS/0/SD_ILS:2050542026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050952026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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. 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Restarting Automata Extensions and Generalizationsent://SD_ILS/0/SD_ILS:6076602026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6057172026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Multi-valued Logic for Decision-Making Under Uncertaintyent://SD_ILS/0/SD_ILS:6072782026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Principle of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Creative approaches towards development of computing and multidisciplinary IT solutions for societyent://SD_ILS/0/SD_ILS:5993712026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Solving Ordinary Differential Equations in Pythonent://SD_ILS/0/SD_ILS:6019462026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Foundations for Functional Modeling of Technical Artefactsent://SD_ILS/0/SD_ILS:6021042026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Structures of Computing A Guide to Practice-Oriented Theoryent://SD_ILS/0/SD_ILS:6027732026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Advanced Mathematical Science for Mobility Societyent://SD_ILS/0/SD_ILS:6028752026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Handbook of Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:5273532026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Admissible Consensus and Consensualization for Singular Multi-agent Systemsent://SD_ILS/0/SD_ILS:5283562026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Improved FMEA Methods for Proactive Healthcare Risk Analysisent://SD_ILS/0/SD_ILS:4841682026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Introduction to Learning Classifier Systemsent://SD_ILS/0/SD_ILS:6122662026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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: 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Provably Correct Systemsent://SD_ILS/0/SD_ILS:6163822026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6107952026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor Lepora, Nathan F. editor. Mura, Anna. editor. Mangan, Michael. editor. Verschure, Paul F.M.J. editor. Desmulliez, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42417-0">https://doi.org/10.1007/978-3-319-42417-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6114382026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6120862026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:6178152026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6180152026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulationent://SD_ILS/0/SD_ILS:6124662026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Evolutionary Computer Vision The First Footprintsent://SD_ILS/0/SD_ILS:6144722026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networksent://SD_ILS/0/SD_ILS:6167912026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6171622026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:6177792026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Agile Risk Managementent://SD_ILS/0/SD_ILS:4884302026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Model-Based Design of Adaptive Embedded Systemsent://SD_ILS/0/SD_ILS:3315942026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Model Based Parameter Estimation Theory and Applicationsent://SD_ILS/0/SD_ILS:3333242026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Computational Methods in Stochastic Dynamics Volume 2ent://SD_ILS/0/SD_ILS:3358942026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>The Secure Information Society Ethical, Legal and Political Challengesent://SD_ILS/0/SD_ILS:3310512026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Reproduction of Tactual Textures Transducers, Mechanics and Signal Encodingent://SD_ILS/0/SD_ILS:3310742026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Intrinsically Motivated Learning in Natural and Artificial Systemsent://SD_ILS/0/SD_ILS:3335642026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structuresent://SD_ILS/0/SD_ILS:3335752026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:3338842026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Multibody Dynamics Computational Methods and Applicationsent://SD_ILS/0/SD_ILS:3359692026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Multi-finger Haptic Interactionent://SD_ILS/0/SD_ILS:3311732026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programmingent://SD_ILS/0/SD_ILS:3347172026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>RoboCup 2009: Robot Soccer World Cup XIIIent://SD_ILS/0/SD_ILS:1918262026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Useent://SD_ILS/0/SD_ILS:1761742026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfenent://SD_ILS/0/SD_ILS:1896322026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Intelligent Environments Methods, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:1758242026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Engineering Haptic Devices A Beginner's Guide for Engineersent://SD_ILS/0/SD_ILS:1890172026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>The Path to Autonomous Robots Essays in Honor of George A. Bekeyent://SD_ILS/0/SD_ILS:1677932026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>RoboCup 2008: Robot Soccer World Cup XIIent://SD_ILS/0/SD_ILS:1904612026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Information Theory and Statistical Learningent://SD_ILS/0/SD_ILS:1677202026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Robot Behaviour Design, Description, Analysis and Modellingent://SD_ILS/0/SD_ILS:1758442026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Rescue Robotics DDT Project on Robots and Systems for Urban Search and Rescueent://SD_ILS/0/SD_ILS:1759792026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>Handbuch für die Pogrammierung mit LabVIEW mit Studentenversion LabVIEW 8ent://SD_ILS/0/SD_ILS:1987412026-04-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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-04T03:38:21Z2026-04-04T03:38:21ZAuthor 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/>