Search Results for Control. - Narrowed by: Computer science.

Networked Control Systems

2026-04-11T16:40:57Z

Author Bemporad, Alberto. editor. Heemels, Maurice. editor. Johansson, Mikael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-033-5
Format: Electronic Resources
Availability Online Library~1

Software Product Quality Control

2026-04-11T16:40:57Z

Author Wagner, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334625.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38571-1
Format: Electronic Resources
Availability Online Library~1

Fractional Dynamics and Control

2026-04-11T16:40:57Z

Author Baleanu, Dumitru. editor. Machado, José António Tenreiro. editor. Luo, Albert C. J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0457-6
Format: Electronic Resources
Availability Online Library~1

Adaptive Cryptographic Access Control

2026-04-11T16:40:57Z

Author Kayem, Anne V. D. M. author. Akl, Selim G. author. Martin, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6655-1
Format: Electronic Resources
Availability Online Library~1

Fuzzy Modeling and Fuzzy Control

2026-04-11T16:40:57Z

Author Zhang, Huaguang. author. Liu, Derong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4539-7
Format: Electronic Resources
Availability Online Library~1

Foundation Version Control for Web Developers

2026-04-11T16:40:57Z

Author Kemper, Chris. author. Oxley, Ian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3973-4
Format: Electronic Resources
Availability Online Library~1

Coverage Control in Sensor Networks

2026-04-11T16:40:57Z

Author Wang, Bang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-059-5
Format: Electronic Resources
Availability Online Library~1

Under Control Governance Across the Enterprise

2026-04-11T16:40:57Z

Author Lamm, Jacob. author. Blount, Sumner. author. Boston, Steve. author. Camm, Marc. author. Cirabisi, Robert. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1593-6
Format: Electronic Resources
Availability Online Library~1

Design of Embedded Control Systems

2026-04-11T16:40:57Z

Author Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28327-7
Format: Electronic Resources
Availability Online Library~1

Distributed Medium Access Control in Wireless Networks

2026-04-11T16:40:57Z

Author Wang, Ping. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332073.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6602-4
Format: Electronic Resources
Availability Online Library~1

Analysis and Control of Boolean Networks A Semi-tensor Product Approach

2026-04-11T16:40:57Z

Author Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-097-7
Format: Electronic Resources
Availability Online Library~1

Distributed Embedded Control Systems Improving Dependability with Coherent Design

2026-04-11T16:40:57Z

Author Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-052-0
Format: Electronic Resources
Availability Online Library~1

Informatics in Control, Automation and Robotics II

2026-04-11T16:40:57Z

Author Filipe, Joaquim. editor. Ferrier, Jean-Louis. editor. Cetto, Juan A. editor. Carvalho, Marina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5626-0
Format: Electronic Resources
Availability Online Library~1

INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I

2026-04-11T16:40:57Z

Author BRAZ, JOSÉ. editor. ARAÚJO, HELDER. editor. VIEIRA, ALVES. editor. ENCARNAÇÃO, BRUNO. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4543-3
Format: Electronic Resources
Availability Online Library~1

Quantitative Measure for Discrete Event Supervisory Control

2026-04-11T16:40:57Z

Author Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103444
Format: Electronic Resources
Availability Online Library~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-04-11T16:40:57Z

Author Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35755-8
Format: Electronic Resources
Availability Online Library~1

Distributed Parameter Modeling and Boundary Control of Flexible Manipulators

2026-04-11T16:40:57Z

Author Liu, Jinkun. author. He, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8300-6
Format: Electronic Resources
Availability Online Library~1

Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systems

2026-04-11T16:40:57Z

Author Mahmoud, Magdi S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54954-5
Format: Electronic Resources
Availability Online Library~1

Neural Networks for Cooperative Control of Multiple Robot Arms

2026-04-11T16:40:57Z

Author Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7037-2
Format: Electronic Resources
Availability Online Library~1

Modeling and Control of Hybrid Propulsion System for Ground Vehicles

2026-04-11T16:40:57Z

Author Zou, Yuan. author. Li, Junqiu. author. Hu, Xiaosong. author. Chamaillard, Yann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53673-5
Format: Electronic Resources
Availability Online Library~1

Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers

2026-04-11T16:40:57Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61437-3
Format: Electronic Resources
Availability Online Library~1

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

2026-04-11T16:40:57Z

Author Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42324-1
Format: Electronic Resources
Availability Online Library~1

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I

2026-04-11T16:40:57Z

Author Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42321-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings

2026-04-11T16:40:57Z

Author Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334176.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36321-4
Format: Electronic Resources
Availability Online Library~1

Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control

2026-04-11T16:40:57Z

Author Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332753.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00440-2
Format: Electronic Resources
Availability Online Library~1

Industrial Image Processing Visual Quality Control in Manufacturing

2026-04-11T16:40:57Z

Author Demant, Christian. author. Streicher-Abel, Bernd. author. Garnica, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333770.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33905-9
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulating Command and Control For Organizations Under Extreme Situations

2026-04-11T16:40:57Z

Author Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331124.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: Electronic Resources
Availability Online Library~1

Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization

2026-04-11T16:40:57Z

Author Pham, Khanh D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331670.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5079-5
Format: Electronic Resources
Availability Online Library~1

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)

2026-04-11T16:40:57Z

Author Fischer-Hellmann, Klaus-Peter. author. Bischoff, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2618-3
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-11T16:40:57Z

Author Kim, Tai-hoon. editor. Stoica, Adrian. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Villalba, Javier García. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35264-5
Format: Electronic Resources
Availability Online Library~1

Virtual Reality and Animation for MATLAB® and Simulink® Users Visualization of Dynamic Models and Control Simulations

2026-04-11T16:40:57Z

Author Khaled, Nassim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2330-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computing, Communication and Control International Conference, ICAC3 2011, Mumbai, India, January 28-29, 2011. Proceedings

2026-04-11T16:40:57Z

Author Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18440-6
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-11T16:40:57Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-26010-0
Format: Electronic Resources
Availability Online Library~1

Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control

2026-04-11T16:40:57Z

Author Kirches, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-8202-8
Format: Electronic Resources
Availability Online Library~1

The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics

2026-04-11T16:40:57Z

Author Campion, Gianni. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-576-7
Format: Electronic Resources
Availability Online Library~1

Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings

2026-04-11T16:40:57Z

Author Balasubramaniam, P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19263-0
Format: Electronic Resources
Availability Online Library~1

Applied and Numerical Partial Differential Equations Scientific Computing in Simulation, Optimization and Control in a Multidisciplinary Context

2026-04-11T16:40:57Z

Author Fitzgibbon, W. editor. Kuznetsov, Y.A. editor. Neittaanmäki, Pekka. editor. Périaux, Jacques. editor. Pironneau, Olivier. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3239-3
Format: Electronic Resources
Availability Online Library~1

Geometric Computing for Wavelet Transforms, Robot Vision, Learning, Control and Action

2026-04-11T16:40:57Z

Author Bayro-Corrochano, Eduardo. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-929-9
Format: Electronic Resources
Availability Online Library~1

Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings

2026-04-11T16:40:57Z

Author Aagesen, Finn Arve. editor. Knapskog, Svein Johan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13971-0
Format: Electronic Resources
Availability Online Library~1

Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings

2026-04-11T16:40:57Z

Author Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15485-0
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-11T16:40:57Z

Author Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor. Stoica, Adrian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17625-8
Format: Electronic Resources
Availability Online Library~1

Building iPhone OS Accessories Use the iPhone Accessories API to Control and Monitor Devices

2026-04-11T16:40:57Z

Author Maskrey, Ken. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2932-2
Format: Electronic Resources
Availability Online Library~1

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.Proceedings

2026-04-11T16:40:57Z

Author Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10741-2
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers

2026-04-11T16:40:57Z

Author Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00393-6
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

2026-04-11T16:40:57Z

Author Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00602-9
Format: Electronic Resources
Availability Online Library~1

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 2007

2026-04-11T16:40:57Z

Author Braza, Marianna. editor. Hourigan, Kerry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9898-7
Format: Electronic Resources
Availability Online Library~1

Verification and Control of Hybrid Systems A Symbolic Approach

2026-04-11T16:40:57Z

Author Tabuada, Paulo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0224-5
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

2026-04-11T16:40:57Z

Author Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10406-0
Format: Electronic Resources
Availability Online Library~1

Towards Affordance-Based Robot Control International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers

2026-04-11T16:40:57Z

Author Rome, Erich. editor. Hertzberg, Joachim. editor. Dorffner, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77915-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2026-04-11T16:40:57Z

Author Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources
Availability Online Library~1

Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008

2026-04-11T16:40:57Z

Author Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8889-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Generic Optimization Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks

2026-04-11T16:40:57Z

Author Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6668-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Mathematical Systems Theory Linear Systems, Identification and Control

2026-04-11T16:40:57Z

Author Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-7549-2
Format: Electronic Resources
Availability Online Library~1

Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systems

2026-04-11T16:40:57Z

Author Manoonpong, Poramate. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68803-7
Format: Electronic Resources
Availability Online Library~1

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

2026-04-11T16:40:57Z

Author Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: Electronic Resources
Availability Online Library~1

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, 2005

2026-04-11T16:40:57Z

Author Gaïti, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49690-0
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings

2026-04-11T16:40:57Z

Author Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72709-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2026-04-11T16:40:57Z

Author Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2026-04-11T16:40:57Z

Author Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11730637
Format: Electronic Resources
Availability Online Library~1

Access Control Systems Security, Identity Management and Trust Models

2026-04-11T16:40:57Z

Author Benantar, Messaoud. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27716-1
Format: Electronic Resources
Availability Online Library~1

Security Management, Integrity, and Internal Control in Information Systems IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference

2026-04-11T16:40:57Z

Author Dowland, Paul. editor. Furnell, Steve. editor. Thuraisingham, Bhavani. editor. Wang, X. Sean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31167-X
Format: Electronic Resources
Availability Online Library~1

Systems, Control, Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy

2026-04-11T16:40:57Z

Author Ceragioli, F. editor. Dontchev, A. editor. Furuta, H. editor. Marti, K. editor. Pandolfi, L. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-33882-9
Format: Electronic Resources
Availability Online Library~1

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, Chile

2026-04-11T16:40:57Z

Author Gaïti, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34827-8
Format: Electronic Resources
Availability Online Library~1

Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

2026-04-11T16:40:57Z

Author Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105497
Format: Electronic Resources
Availability Online Library~1

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, Spain

2026-04-11T16:40:57Z

Author Gaïti, Dominique. editor. Galmés, Sebastià. editor. Puigjaner, Ramon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b100917
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2026-04-11T16:40:57Z

Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106766
Format: Electronic Resources
Availability Online Library~1

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 Papers

2026-04-11T16:40:57Z

Author Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104334
Format: Electronic Resources
Availability Online Library~1

Stochastic Reachability Analysis of Hybrid Systems

2026-04-11T16:40:57Z

Author Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: Electronic Resources
Availability Online Library~1

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach

2026-04-11T16:40:57Z

Author Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-244-3
Format: Electronic Resources
Availability Online Library~1

Smart Maintenance for Human–Robot Interaction An Intelligent Search Algorithmic Perspective

2026-04-11T16:40:57Z

Author Xing, Bo. author. Marwala, Tshilidzi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67480-3
Format: Electronic Resources
Availability Online Library~1

Computer Science and Engineering—Theory and Applications

2026-04-11T16:40:57Z

Author Sanchez, Mauricio A. editor. Aguilar, Leocundo. editor. Castañón-Puga, Manuel. editor. Rodríguez-Díaz, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74060-7
Format: Electronic Resources
Availability Online Library~1

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

2026-04-11T16:40:57Z

Author Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4465-2
Format: Electronic Resources
Availability Online Library~1

Sound Capture for Human/Machine Interfaces Practical Aspects of Microphone Array Signal Processing

2026-04-11T16:40:57Z

Author Herbordt, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b99807
Format: Electronic Resources
Availability Online Library~1

Mechatronics for Cultural Heritage and Civil Engineering

2026-04-11T16:40:57Z

Author Ottaviano, Erika. editor. Pelliccio, Assunta. editor. Gattulli, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68646-2
Format: Electronic Resources
Availability Online Library~1

Cyber Security: Power and Technology

2026-04-11T16:40:57Z

Author Lehto, Martti. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75307-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Modern Sleep Technology

2026-04-11T16:40:57Z

Author Chiang, Rayleigh Ping-Ying. editor. Kang, Shih-Chun (Jessy). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5470-6
Format: Electronic Resources
Availability Online Library~1

Haptics for Virtual Reality and Teleoperation

2026-04-11T16:40:57Z

Author Mihelj, Matjaž. author. Podobnik, Janez. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5718-9
Format: Electronic Resources
Availability Online Library~1

Automatic Calibration and Reconstruction for Active Vision Systems

2026-04-11T16:40:57Z

Author Zhang, Beiwei. author. Li, Y. F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2654-3
Format: Electronic Resources
Availability Online Library~1

Collaborative Design in Virtual Environments

2026-04-11T16:40:57Z

Author Wang, Xiangyu. editor. Tsai, Jerry Jen-Hung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0605-7
Format: Electronic Resources
Availability Online Library~1

Service Robotics within the Digital Home Applications and Future Prospects

2026-04-11T16:40:57Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1491-5
Format: Electronic Resources
Availability Online Library~1

Quantum Neural Computation

2026-04-11T16:40:57Z

Author Ivancevic, Vladimir G. author. Ivancevic, Tijana T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3350-5
Format: Electronic Resources
Availability Online Library~1

Human and Nature Minding Automation An Overview of Concepts, Methods, Tools and Applications

2026-04-11T16:40:57Z

Author Tzafestas, Spyros G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3562-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Infrastructures

2026-04-11T16:40:57Z

Author Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3598-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

2026-04-11T16:40:57Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71162-6
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

2026-04-11T16:40:57Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75380-0
Format: Electronic Resources
Availability Online Library~1

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

2026-04-11T16:40:57Z

Author Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70094-1
Format: Electronic Resources
Availability Online Library~1

Restarting Automata Extensions and Generalizations

2026-04-11T16:40:57Z

Author Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78701-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

2026-04-11T16:40:57Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87054-5
Format: Electronic Resources
Availability Online Library~1

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 I

2026-04-11T16:40:57Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90643-5
Format: Electronic Resources
Availability Online Library~1

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 III

2026-04-11T16:40:57Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90660-2
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-04-11T16:40:57Z

Author Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90900-9
Format: Electronic Resources
Availability Online Library~1

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 II

2026-04-11T16:40:57Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90653-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

2026-04-11T16:40:57Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71177-0
Format: Electronic Resources
Availability Online Library~1

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 II

2026-04-11T16:40:57Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75107-3
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

2026-04-11T16:40:57Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75390-9
Format: Electronic Resources
Availability Online Library~1

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 I

2026-04-11T16:40:57Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73709-1
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

2026-04-11T16:40:57Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75387-9
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

2026-04-11T16:40:57Z

Author Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4207-6
Format: Electronic Resources
Availability Online Library~1

Principle of Petri Nets

2026-04-11T16:40:57Z

Author Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7336-7
Format: Electronic Resources
Availability Online Library~1

Multi-valued Logic for Decision-Making Under Uncertainty

2026-04-11T16:40:57Z

Author Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74762-5
Format: Electronic Resources
Availability Online Library~1

Advanced Mathematical Science for Mobility Society

2026-04-11T16:40:57Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9772-5
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

2026-04-11T16:40:57Z

Author Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56208-2
Format: Electronic Resources
Availability Online Library~1

Spiking Neural P Systems Theory, Applications and Implementations

2026-04-11T16:40:57Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9282-5
Format: Electronic Resources
Availability Online Library~1

Solving Ordinary Differential Equations in Python

2026-04-11T16:40:57Z

Author Sundnes, Joakim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46768-4
Format: Electronic Resources
Availability Online Library~1

Foundations for Functional Modeling of Technical Artefacts

2026-04-11T16:40:57Z

Author Lind, Morten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45918-4
Format: Electronic Resources
Availability Online Library~1

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

2026-04-11T16:40:57Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48751-4
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

2026-04-11T16:40:57Z

Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50521-8
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

2026-04-11T16:40:57Z

Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50524-9
Format: Electronic Resources
Availability Online Library~1

Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry

2026-04-11T16:40:57Z

Author Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4768-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XVII

2026-04-11T16:40:57Z

Author Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-68191-6
Format: Electronic Resources
Availability Online Library~1

Structures of Computing A Guide to Practice-Oriented Theory

2026-04-11T16:40:57Z

Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54358-6
Format: Electronic Resources
Availability Online Library~1

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 I

2026-04-11T16:40:57Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57246-3
Format: Electronic Resources
Availability Online Library~1

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 II

2026-04-11T16:40:57Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57249-4
Format: Electronic Resources
Availability Online Library~1

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 III

2026-04-11T16:40:57Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57256-2
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-04-11T16:40:57Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57259-3
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I

2026-04-11T16:40:57Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2272-3
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

2026-04-11T16:40:57Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2275-4
Format: Electronic Resources
Availability Online Library~1

Creative approaches towards development of computing and multidisciplinary IT solutions for society

2026-04-11T16:40:57Z

Author Bijalwan, Anchit, editor.
Preferred Shelf Number QA76 .C74 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: Electronic Resources
Availability Online Library~1

Handbook of Model-Based Systems Engineering

2026-04-11T16:40:57Z

Author Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-93582-5
Format: Electronic Resources
Availability Online Library~1

Resource Allocation in Network Function Virtualization Problems, Models and Algorithms

2026-04-11T16:40:57Z

Author Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4815-2
Format: Electronic Resources
Availability Online Library~1

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2026-04-11T16:40:57Z

Author Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6990-4
Format: Electronic Resources
Availability Online Library~1

Improved FMEA Methods for Proactive Healthcare Risk Analysis

2026-04-11T16:40:57Z

Author Liu, Hu-Chen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6366-5
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2026-04-11T16:40:57Z

Author Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68499-4
Format: Electronic Resources
Availability Online Library~1

Provably Correct Systems

2026-04-11T16:40:57Z

Author Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48628-4
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017, Proceedings

2026-04-11T16:40:57Z

Author Mangan, Michael. editor. Cutkosky, Mark. editor. Mura, Anna. editor. Verschure, Paul F.M.J. editor. Prescott, Tony. editor. (orcid)0000-0003-4927-5390
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63537-8
Format: Electronic Resources
Availability Online Library~1

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 III

2026-04-11T16:40:57Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70700-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Learning Classifier Systems

2026-04-11T16:40:57Z

Author Urbanowicz, Ryan J. author. Browne, Will N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55007-6
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

2026-04-11T16:40:57Z

Author D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings

2026-04-11T16:40:57Z

Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65551-2
Format: Electronic Resources
Availability Online Library~1

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 I

2026-04-11T16:40:57Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70694-8
Format: Electronic Resources
Availability Online Library~1

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 I

2026-04-11T16:40:57Z

Author Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58472-0
Format: Electronic Resources
Availability Online Library~1

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 II

2026-04-11T16:40:57Z

Author Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58475-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2026-04-11T16:40:57Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55947-5
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing Engineering Smart Systems

2026-04-11T16:40:57Z

Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51655-4
Format: Electronic Resources
Availability Online Library~1

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 II

2026-04-11T16:40:57Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70697-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

2026-04-11T16:40:57Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42291-6
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II

2026-04-11T16:40:57Z

Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46672-9
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings

2026-04-11T16:40:57Z

Author Lepora, Nathan F. editor. Mura, Anna. editor. Mangan, Michael. editor. Verschure, Paul F.M.J. editor. Desmulliez, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42417-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II

2026-04-11T16:40:57Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39384-1
Format: Electronic Resources
Availability Online Library~1

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

2026-04-11T16:40:57Z

Author Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33786-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II

2026-04-11T16:40:57Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42294-7
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2026-04-11T16:40:57Z

Author Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computer Vision The First Footprints

2026-04-11T16:40:57Z

Author Olague, Gustavo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43693-6
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II

2026-04-11T16:40:57Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41009-8
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III

2026-04-11T16:40:57Z

Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46675-0
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV

2026-04-11T16:40:57Z

Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46681-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part I

2026-04-11T16:40:57Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39378-0
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I

2026-04-11T16:40:57Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41000-5
Format: Electronic Resources
Availability Online Library~1

Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks

2026-04-11T16:40:57Z

Author Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46810-5
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 14 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings

2026-04-11T16:40:57Z

Author Tuci, Elio. editor. Giagkos, Alexandros. editor. Wilson, Myra. editor. Hallam, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43488-9
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I

2026-04-11T16:40:57Z

Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46687-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII Special Issue on Big Data for Complex Urban Systems

2026-04-11T16:40:57Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Anjomshoaa, Amin. editor. Hung, Patrick C. K. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53416-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV Special Issue on Database- and Expert-Systems Applications

2026-04-11T16:40:57Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. Lhotska, Lenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49214-7
Format: Electronic Resources
Availability Online Library~1

Process Mining Data Science in Action

2026-04-11T16:40:57Z

Author van der Aalst, Wil M. P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49851-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Foundations for Mastering Change I

2026-04-11T16:40:57Z

Author Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2026-04-11T16:40:57Z

Author Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30806-7
Format: Electronic Resources
Availability Online Library~1

Agile Risk Management

2026-04-11T16:40:57Z

Author Moran, Alan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05008-9
Format: Electronic Resources
Availability Online Library~1

Multi-finger Haptic Interaction

2026-04-11T16:40:57Z

Author Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331173.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5204-0
Format: Electronic Resources
Availability Online Library~1

Model-Based Design of Adaptive Embedded Systems

2026-04-11T16:40:57Z

Author Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331594.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: Electronic Resources
Availability Online Library~1

Nonlinear Optimization Applications Using the GAMS Technology

2026-04-11T16:40:57Z

Author Andrei, Neculai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332120.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6797-7
Format: Electronic Resources
Availability Online Library~1

Model Based Parameter Estimation Theory and Applications

2026-04-11T16:40:57Z

Author Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Preferred Shelf Number ONLINE(333324.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30367-8
Format: Electronic Resources
Availability Online Library~1

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2026-04-11T16:40:57Z

Author Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333884.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34688-0
Format: Electronic Resources
Availability Online Library~1

A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming

2026-04-11T16:40:57Z

Author Gu, Edward Y L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334717.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39047-0
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

2026-04-11T16:40:57Z

Author Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.
Preferred Shelf Number ONLINE(334852.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39802-5
Format: Electronic Resources
Availability Online Library~1

Computational and Robotic Models of the Hierarchical Organization of Behavior

2026-04-11T16:40:57Z

Author Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334861.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39875-9
Format: Electronic Resources
Availability Online Library~1

The Secure Information Society Ethical, Legal and Political Challenges

2026-04-11T16:40:57Z

Author Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331051.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4763-3
Format: Electronic Resources
Availability Online Library~1

Reproduction of Tactual Textures Transducers, Mechanics and Signal Encoding

2026-04-11T16:40:57Z

Author Wiertlewski, Michaël. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331074.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4841-8
Format: Electronic Resources
Availability Online Library~1

Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday

2026-04-11T16:40:57Z

Author Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331109.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4971-2
Format: Electronic Resources
Availability Online Library~1

From Fault Classification to Fault Tolerance for Multi-Agent Systems

2026-04-11T16:40:57Z

Author Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331127.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: Electronic Resources
Availability Online Library~1

CAN System Engineering From Theory to Practical Applications

2026-04-11T16:40:57Z

Author Lawrenz, Wolfhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331227.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5613-0
Format: Electronic Resources
Availability Online Library~1

Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures

2026-04-11T16:40:57Z

Author Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333575.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32448-2
Format: Electronic Resources
Availability Online Library~1

Multibody Dynamics Computational Methods and Applications

2026-04-11T16:40:57Z

Author Samin, Jean-Claude. editor. Fisette, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335969.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5404-1
Format: Electronic Resources
Availability Online Library~1

Model-based Health Monitoring of Hybrid Systems

2026-04-11T16:40:57Z

Author Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332270.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: Electronic Resources
Availability Online Library~1

Intrinsically Motivated Learning in Natural and Artificial Systems

2026-04-11T16:40:57Z

Author Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333564.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32375-1
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Stochastic Dynamics Volume 2

2026-04-11T16:40:57Z

Author Papadrakakis, Manolis. editor. Stefanou, George. editor. Papadopoulos, Vissarion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335894.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5134-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012

2026-04-11T16:40:57Z

Author Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331669.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5076-4
Format: Electronic Resources
Availability Online Library~1

RoboCup 2009: Robot Soccer World Cup XIII

2026-04-11T16:40:57Z

Author Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11876-0
Format: Electronic Resources
Availability Online Library~1

Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use

2026-04-11T16:40:57Z

Author Langdon, Patrick Martin. editor. Clarkson, Peter John. editor. Robinson, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-166-0
Format: Electronic Resources
Availability Online Library~1

Operational risk management a practical approach to intelligent data analysis

2026-04-11T16:40:57Z

Author Kenett, Ron. Raanan, Yossi.
Preferred Shelf Number ONLINE(318959.1)
Electronic Access Access restricted to McGill users Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=589233 ebrary http://site.ebrary.com/id/10412605 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702 John Wiley http://dx.doi.org/10.1002/9780470972571
Format: Electronic Resources
Availability Online Library~1

Evolution of Communication and Language in Embodied Agents

2026-04-11T16:40:57Z

Author Nolfi, Stefano. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01250-1
Format: Electronic Resources
Availability Online Library~1

Robot Behaviour Design, Description, Analysis and Modelling

2026-04-11T16:40:57Z

Author Nehmzow, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-397-2
Format: Electronic Resources
Availability Online Library~1

Engineering Haptic Devices A Beginner's Guide for Engineers

2026-04-11T16:40:57Z

Author Kern, Thorsten A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88248-0
Format: Electronic Resources
Availability Online Library~1

The Path to Autonomous Robots Essays in Honor of George A. Bekey

2026-04-11T16:40:57Z

Author Sukhatme, Gaurav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-85774-9
Format: Electronic Resources
Availability Online Library~1

Rescue Robotics DDT Project on Robots and Systems for Urban Search and Rescue

2026-04-11T16:40:57Z

Author Tadokoro, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-474-4
Format: Electronic Resources
Availability Online Library~1

RoboCup 2008: Robot Soccer World Cup XII

2026-04-11T16:40:57Z

Author Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02921-9
Format: Electronic Resources
Availability Online Library~1

Information Theory and Statistical Learning

2026-04-11T16:40:57Z

Author Emmert-Streib, Frank. editor. Dehmer, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-84816-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Environments Methods, Algorithms and Applications

2026-04-11T16:40:57Z

Author Monekosso, Dorothy. editor. Remagnino, Paolo. editor. Kuno, Yoshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-346-0
Format: Electronic Resources
Availability Online Library~1

SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

2026-04-11T16:40:57Z

Author Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00269-4
Format: Electronic Resources
Availability Online Library~1

Handbuch für die Pogrammierung mit LabVIEW mit Studentenversion LabVIEW 8

2026-04-11T16:40:57Z

Author Mütterlein, Bernward. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2338-2
Format: Electronic Resources
Availability Online Library~1

RoboCup 2004: Robot Soccer World Cup VIII

2026-04-11T16:40:57Z

Author Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106671
Format: Electronic Resources
Availability Online Library~1