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.$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-02T21:05:15ZNetworked Control Systemsent://SD_ILS/0/SD_ILS:1684002026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Under Control Governance Across the Enterpriseent://SD_ILS/0/SD_ILS:1711662026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Coverage Control in Sensor Networksent://SD_ILS/0/SD_ILS:1761422026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Design of Embedded Control Systemsent://SD_ILS/0/SD_ILS:1655042026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35755-8">https://doi.org/10.1007/978-3-031-35755-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Parameter Modeling and Boundary Control of Flexible Manipulatorsent://SD_ILS/0/SD_ILS:4006472026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Modeling and Control of Hybrid Propulsion System for Ground Vehiclesent://SD_ILS/0/SD_ILS:4023072026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Neural Networks for Cooperative Control of Multiple Robot Armsent://SD_ILS/0/SD_ILS:4022602026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Industrial Image Processing Visual Quality Control in Manufacturingent://SD_ILS/0/SD_ILS:3337702026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimizationent://SD_ILS/0/SD_ILS:3316702026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Pham, Khanh D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331670.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5079-5">http://dx.doi.org/10.1007/978-1-4614-5079-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Simulating Command and Control For Organizations Under Extreme Situationsent://SD_ILS/0/SD_ILS:3311242026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Virtual Reality and Animation for MATLAB® and Simulink® Users Visualization of Dynamic Models and Control Simulationsent://SD_ILS/0/SD_ILS:1734232026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Khaled, Nassim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2330-9">http://dx.doi.org/10.1007/978-1-4471-2330-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Control, 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Advances in Computing, Communication and Control International Conference, ICAC3 2011, Mumbai, India, January 28-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1938972026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Applied and Numerical Partial Differential Equations Scientific Computing in Simulation, Optimization and Control in a Multidisciplinary Contextent://SD_ILS/0/SD_ILS:2050192026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Fitzgibbon, W. editor. Kuznetsov, Y.A. editor. Neittaanmäki, Pekka. editor. Périaux, Jacques. editor. Pironneau, Olivier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3239-3">http://dx.doi.org/10.1007/978-90-481-3239-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925082026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Building iPhone OS Accessories Use the iPhone Accessories API to Control and Monitor Devicesent://SD_ILS/0/SD_ILS:1714052026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Geometric Computing for Wavelet Transforms, Robot Vision, Learning, Control and Actionent://SD_ILS/0/SD_ILS:1761032026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Verification and Control of Hybrid Systems A Symbolic Approachent://SD_ILS/0/SD_ILS:1719022026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Braza, Marianna. editor. Hourigan, Kerry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9898-7">http://dx.doi.org/10.1007/978-1-4020-9898-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1896692026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10741-2">http://dx.doi.org/10.1007/978-3-642-10741-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882802026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Towards Affordance-Based Robot Control International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1880182026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Foundations of Generic Optimization Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networksent://SD_ILS/0/SD_ILS:1698932026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6668-9">http://dx.doi.org/10.1007/978-1-4020-6668-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008ent://SD_ILS/0/SD_ILS:1703642026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8889-6">http://dx.doi.org/10.1007/978-1-4020-8889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systemsent://SD_ILS/0/SD_ILS:1855922026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Manoonpong, Poramate. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68803-7">http://dx.doi.org/10.1007/978-3-540-68803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Mathematical Systems Theory Linear Systems, Identification and Controlent://SD_ILS/0/SD_ILS:1979522026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-7549-2">http://dx.doi.org/10.1007/978-3-7643-7549-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007ent://SD_ILS/0/SD_ILS:1697332026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862962026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Dowland, Paul. editor. Furnell, Steve. editor. Thuraisingham, Bhavani. editor. Wang, X. Sean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31167-X">http://dx.doi.org/10.1007/0-387-31167-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Control, Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italyent://SD_ILS/0/SD_ILS:1659822026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Ceragioli, F. editor. Dontchev, A. editor. Furuta, H. editor. Marti, K. editor. Pandolfi, L. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-33882-9">http://dx.doi.org/10.1007/0-387-33882-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Engineering for Qos, Security and Mobility, V IFIP 19th World Computer Congress, TC-6, 5th IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, August 20–25, 2006, Santiago, Chileent://SD_ILS/0/SD_ILS:1660802026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor González Alonso, Ignacio. author. Fernández, Mercedes. author. Maestre, José M. author. García Fuente, María del Pilar Almudena. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1491-5">http://dx.doi.org/10.1007/978-94-007-1491-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Neural Computationent://SD_ILS/0/SD_ILS:2050542026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Intelligent Infrastructuresent://SD_ILS/0/SD_ILS:2051282026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Human and Nature Minding Automation An Overview of Concepts, Methods, Tools and Applicationsent://SD_ILS/0/SD_ILS:2051172026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6057172026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6057362026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4207-6">https://doi.org/10.1007/978-981-96-4207-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050952026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Principle of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Multi-valued Logic for Decision-Making Under Uncertaintyent://SD_ILS/0/SD_ILS:6072782026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Foundations for Functional Modeling of Technical Artefactsent://SD_ILS/0/SD_ILS:6021042026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Spiking Neural P Systems Theory, Applications and Implementationsent://SD_ILS/0/SD_ILS:6065172026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industryent://SD_ILS/0/SD_ILS:6048932026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Solving Ordinary Differential Equations in Pythonent://SD_ILS/0/SD_ILS:6019462026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Structures of Computing A Guide to Practice-Oriented Theoryent://SD_ILS/0/SD_ILS:6027732026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Creative approaches towards development of computing and multidisciplinary IT solutions for societyent://SD_ILS/0/SD_ILS:5993712026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Handbook of Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:5273532026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Admissible Consensus and Consensualization for Singular Multi-agent Systemsent://SD_ILS/0/SD_ILS:5283562026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Resource Allocation in Network Function Virtualization Problems, Models and Algorithmsent://SD_ILS/0/SD_ILS:5275892026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4815-2">https://doi.org/10.1007/978-981-19-4815-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Improved FMEA Methods for Proactive Healthcare Risk Analysisent://SD_ILS/0/SD_ILS:4841682026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65551-2">https://doi.org/10.1007/978-3-319-65551-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159192026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58472-0">https://doi.org/10.1007/978-3-319-58472-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics: Cognition and Design 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6159342026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70694-8">https://doi.org/10.1007/978-3-319-70694-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6181572026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Provably Correct Systemsent://SD_ILS/0/SD_ILS:6163822026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6107952026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6159852026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42291-6">https://doi.org/10.1007/978-3-319-42291-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Computer Vision The First Footprintsent://SD_ILS/0/SD_ILS:6144722026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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 IIIent://SD_ILS/0/SD_ILS:6162492026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:6177792026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6180152026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30806-7">https://doi.org/10.1007/978-3-319-30806-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6116142026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46672-9">https://doi.org/10.1007/978-3-319-46672-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulationent://SD_ILS/0/SD_ILS:6124662026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Anjomshoaa, Amin. editor. Hung, Patrick C. K. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53416-8">https://doi.org/10.1007/978-3-662-53416-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:6173472026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:6178152026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Agile Risk Managementent://SD_ILS/0/SD_ILS:4884302026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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 Parameter Estimation Theory and Applicationsent://SD_ILS/0/SD_ILS:3333242026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Intrinsically Motivated Learning in Natural and Artificial Systemsent://SD_ILS/0/SD_ILS:3335642026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Multi-finger Haptic Interactionent://SD_ILS/0/SD_ILS:3311732026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Computational Methods in Stochastic Dynamics Volume 2ent://SD_ILS/0/SD_ILS:3358942026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331127.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5046-6">http://dx.doi.org/10.1007/978-1-4471-5046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Based Design of Adaptive Embedded Systemsent://SD_ILS/0/SD_ILS:3315942026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Nonlinear Optimization Applications Using the GAMS Technologyent://SD_ILS/0/SD_ILS:3321202026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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 Health Monitoring of Hybrid Systemsent://SD_ILS/0/SD_ILS:3322702026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:3338842026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programmingent://SD_ILS/0/SD_ILS:3347172026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Multibody Dynamics Computational Methods and Applicationsent://SD_ILS/0/SD_ILS:3359692026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>RoboCup 2009: Robot Soccer World Cup XIIIent://SD_ILS/0/SD_ILS:1918262026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11876-0">http://dx.doi.org/10.1007/978-3-642-11876-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Evolution of Communication and Language in Embodied Agentsent://SD_ILS/0/SD_ILS:1899302026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Useent://SD_ILS/0/SD_ILS:1761742026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Information Theory and Statistical Learningent://SD_ILS/0/SD_ILS:1677202026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Rescue Robotics DDT Project on Robots and Systems for Urban Search and Rescueent://SD_ILS/0/SD_ILS:1759792026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Engineering Haptic Devices A Beginner's Guide for Engineersent://SD_ILS/0/SD_ILS:1890172026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor Kern, Thorsten A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88248-0">http://dx.doi.org/10.1007/978-3-540-88248-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfenent://SD_ILS/0/SD_ILS:1896322026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>RoboCup 2008: Robot Soccer World Cup XIIent://SD_ILS/0/SD_ILS:1904612026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Intelligent Environments Methods, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:1758242026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Robot Behaviour Design, Description, Analysis and Modellingent://SD_ILS/0/SD_ILS:1758442026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>The Path to Autonomous Robots Essays in Honor of George A. Bekeyent://SD_ILS/0/SD_ILS:1677932026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>Handbuch für die Pogrammierung mit LabVIEW mit Studentenversion LabVIEW 8ent://SD_ILS/0/SD_ILS:1987412026-04-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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-02T21:05:15Z2026-04-02T21:05:15ZAuthor 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/>