Arama Sonuçları Control. - Daraltılmış: Computer science.

Networked Control Systems

2026-06-15T03:50:22Z

Yazar Bemporad, Alberto. editor. Heemels, Maurice. editor. Johansson, Mikael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-033-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Product Quality Control

2026-06-15T03:50:22Z

Yazar Wagner, Stefan. author. SpringerLink (Online service)
Yer Numarası ONLINE(334625.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38571-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fractional Dynamics and Control

2026-06-15T03:50:22Z

Yazar Baleanu, Dumitru. editor. Machado, José António Tenreiro. editor. Luo, Albert C. J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0457-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Cryptographic Access Control

2026-06-15T03:50:22Z

Yazar Kayem, Anne V. D. M. author. Akl, Selim G. author. Martin, Patrick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6655-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Modeling and Fuzzy Control

2026-06-15T03:50:22Z

Yazar Zhang, Huaguang. author. Liu, Derong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-4539-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundation Version Control for Web Developers

2026-06-15T03:50:22Z

Yazar Kemper, Chris. author. Oxley, Ian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-3973-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Under Control Governance Across the Enterprise

2026-06-15T03:50:22Z

Yazar Lamm, Jacob. author. Blount, Sumner. author. Boston, Steve. author. Camm, Marc. author. Cirabisi, Robert. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-1593-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coverage Control in Sensor Networks

2026-06-15T03:50:22Z

Yazar Wang, Bang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-059-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Embedded Control Systems

2026-06-15T03:50:22Z

Yazar Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28327-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Medium Access Control in Wireless Networks

2026-06-15T03:50:22Z

Yazar Wang, Ping. author. Zhuang, Weihua. author. SpringerLink (Online service)
Yer Numarası ONLINE(332073.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6602-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-097-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Embedded Control Systems Improving Dependability with Coherent Design

2026-06-15T03:50:22Z

Yazar Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-052-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics in Control, Automation and Robotics II

2026-06-15T03:50:22Z

Yazar Filipe, Joaquim. editor. Ferrier, Jean-Louis. editor. Cetto, Juan A. editor. Carvalho, Marina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5626-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I

2026-06-15T03:50:22Z

Yazar BRAZ, JOSÉ. editor. ARAÚJO, HELDER. editor. VIEIRA, ALVES. editor. ENCARNAÇÃO, BRUNO. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4543-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Measure for Discrete Event Supervisory Control

2026-06-15T03:50:22Z

Yazar Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b103444
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-06-15T03:50:22Z

Yazar Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35755-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Parameter Modeling and Boundary Control of Flexible Manipulators

2026-06-15T03:50:22Z

Yazar Liu, Jinkun. author. He, Wei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8300-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systems

2026-06-15T03:50:22Z

Yazar Mahmoud, Magdi S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54954-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Networks for Cooperative Control of Multiple Robot Arms

2026-06-15T03:50:22Z

Yazar Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7037-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Control of Hybrid Propulsion System for Ground Vehicles

2026-06-15T03:50:22Z

Yazar Zou, Yuan. author. Li, Junqiu. author. Hu, Xiaosong. author. Chamaillard, Yann. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53673-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61437-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42321-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42324-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Pham, Khanh D. author. SpringerLink (Online service)
Yer Numarası ONLINE(331670.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5079-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332753.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00440-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Image Processing Visual Quality Control in Manufacturing

2026-06-15T03:50:22Z

Yazar Demant, Christian. author. Streicher-Abel, Bernd. author. Garnica, Carsten. author. SpringerLink (Online service)
Yer Numarası ONLINE(333770.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33905-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334176.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36321-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Simulating Command and Control For Organizations Under Extreme Situations

2026-06-15T03:50:22Z

Yazar Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Yer Numarası ONLINE(331124.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Khaled, Nassim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2330-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Fischer-Hellmann, Klaus-Peter. author. Bischoff, Rainer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2618-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Kim, Tai-hoon. editor. Stoica, Adrian. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Villalba, Javier García. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35264-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Campion, Gianni. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-576-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18440-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Balasubramaniam, P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19263-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-26010-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Kirches, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-8202-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Maskrey, Ken. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-2932-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Bayro-Corrochano, Eduardo. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-929-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor. Stoica, Adrian. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17625-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Aagesen, Finn Arve. editor. Knapskog, Svein Johan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13971-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15485-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Fitzgibbon, W. editor. Kuznetsov, Y.A. editor. Neittaanmäki, Pekka. editor. Périaux, Jacques. editor. Pironneau, Olivier. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3239-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10406-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10741-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Control of Hybrid Systems A Symbolic Approach

2026-06-15T03:50:22Z

Yazar Tabuada, Paulo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0224-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Braza, Marianna. editor. Hourigan, Kerry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9898-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00393-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00602-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Rome, Erich. editor. Hertzberg, Joachim. editor. Dorffner, Georg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77915-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6668-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8889-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Gaïti, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-49690-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Manoonpong, Poramate. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68803-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72709-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Mathematical Systems Theory Linear Systems, Identification and Control

2026-06-15T03:50:22Z

Yazar Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-7549-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Access Control Systems Security, Identity Management and Trust Models

2026-06-15T03:50:22Z

Yazar Benantar, Messaoud. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-27716-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Dowland, Paul. editor. Furnell, Steve. editor. Thuraisingham, Bhavani. editor. Wang, X. Sean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-31167-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Ceragioli, F. editor. Dontchev, A. editor. Furuta, H. editor. Marti, K. editor. Pandolfi, L. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-33882-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Gaïti, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-34827-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11730637
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Gaïti, Dominique. editor. Galmés, Sebastià. editor. Puigjaner, Ramon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b100917
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105497
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Perner, Petra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104334
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106766
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Reachability Analysis of Hybrid Systems

2026-06-15T03:50:22Z

Yazar Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach

2026-06-15T03:50:22Z

Yazar Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-244-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Engineering—Theory and Applications

2026-06-15T03:50:22Z

Yazar Sanchez, Mauricio A. editor. Aguilar, Leocundo. editor. Castañón-Puga, Manuel. editor. Rodríguez-Díaz, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74060-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Xing, Bo. author. Marwala, Tshilidzi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67480-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

2026-06-15T03:50:22Z

Yazar Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-8176-4465-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Herbordt, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b99807
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechatronics for Cultural Heritage and Civil Engineering

2026-06-15T03:50:22Z

Yazar Ottaviano, Erika. editor. Pelliccio, Assunta. editor. Gattulli, Vincenzo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68646-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Security: Power and Technology

2026-06-15T03:50:22Z

Yazar Lehto, Martti. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75307-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Haptics for Virtual Reality and Teleoperation

2026-06-15T03:50:22Z

Yazar Mihelj, Matjaž. author. Podobnik, Janez. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5718-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Calibration and Reconstruction for Active Vision Systems

2026-06-15T03:50:22Z

Yazar Zhang, Beiwei. author. Li, Y. F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-2654-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Modern Sleep Technology

2026-06-15T03:50:22Z

Yazar Chiang, Rayleigh Ping-Ying. editor. Kang, Shih-Chun (Jessy). editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5470-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Design in Virtual Environments

2026-06-15T03:50:22Z

Yazar Wang, Xiangyu. editor. Tsai, Jerry Jen-Hung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0605-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service Robotics within the Digital Home Applications and Future Prospects

2026-06-15T03:50:22Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1491-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Tzafestas, Spyros G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3562-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Infrastructures

2026-06-15T03:50:22Z

Yazar Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3598-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Neural Computation

2026-06-15T03:50:22Z

Yazar Ivancevic, Vladimir G. author. Ivancevic, Tijana T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3350-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75107-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75380-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

2026-06-15T03:50:22Z

Yazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70094-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4207-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73709-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90660-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90653-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71162-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principle of Petri Nets

2026-06-15T03:50:22Z

Yazar Yuan, Chongyi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7336-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-valued Logic for Decision-Making Under Uncertainty

2026-06-15T03:50:22Z

Yazar Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74762-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Restarting Automata Extensions and Generalizations

2026-06-15T03:50:22Z

Yazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78701-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87054-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Bijalwan, Anchit, editor.
Yer Numarası QA76 .C74 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48751-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations for Functional Modeling of Technical Artefacts

2026-06-15T03:50:22Z

Yazar Lind, Morten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45918-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50524-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structures of Computing A Guide to Practice-Oriented Theory

2026-06-15T03:50:22Z

Yazar Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54358-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2272-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2275-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56208-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry

2026-06-15T03:50:22Z

Yazar Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-4768-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solving Ordinary Differential Equations in Python

2026-06-15T03:50:22Z

Yazar Sundnes, Joakim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46768-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency XVII

2026-06-15T03:50:22Z

Yazar Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-68191-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50521-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57246-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57249-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57256-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57259-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Mathematical Science for Mobility Society

2026-06-15T03:50:22Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-9772-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spiking Neural P Systems Theory, Applications and Implementations

2026-06-15T03:50:22Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-9282-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2026-06-15T03:50:22Z

Yazar Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-6990-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model-Based Systems Engineering

2026-06-15T03:50:22Z

Yazar Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-93582-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Resource Allocation in Network Function Virtualization Problems, Models and Algorithms

2026-06-15T03:50:22Z

Yazar Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4815-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Improved FMEA Methods for Proactive Healthcare Risk Analysis

2026-06-15T03:50:22Z

Yazar Liu, Hu-Chen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6366-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70700-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Mangan, Michael. editor. Cutkosky, Mark. editor. Mura, Anna. editor. Verschure, Paul F.M.J. editor. Prescott, Tony. editor. (orcid)0000-0003-4927-5390
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63537-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68499-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Learning Classifier Systems

2026-06-15T03:50:22Z

Yazar Urbanowicz, Ryan J. author. Browne, Will N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-55007-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68167-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58475-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-55947-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing Engineering Smart Systems

2026-06-15T03:50:22Z

Yazar Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51655-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65551-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58472-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70697-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-06-15T03:50:22Z

Yazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70694-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Provably Correct Systems

2026-06-15T03:50:22Z

Yazar Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48628-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Lepora, Nathan F. editor. Mura, Anna. editor. Mangan, Michael. editor. Verschure, Paul F.M.J. editor. Desmulliez, Marc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42417-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44878-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46672-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46681-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41009-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46810-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. Lhotska, Lenka. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49214-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42291-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39384-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33786-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42294-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Computer Vision The First Footprints

2026-06-15T03:50:22Z

Yazar Olague, Gustavo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43693-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46675-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39378-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Tuci, Elio. editor. Giagkos, Alexandros. editor. Wilson, Myra. editor. Hallam, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43488-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Foundations for Mastering Change I

2026-06-15T03:50:22Z

Yazar Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46508-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46687-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Anjomshoaa, Amin. editor. Hung, Patrick C. K. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53416-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Mining Data Science in Action

2026-06-15T03:50:22Z

Yazar van der Aalst, Wil M. P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49851-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30806-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Risk Management

2026-06-15T03:50:22Z

Yazar Moran, Alan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05008-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reproduction of Tactual Textures Transducers, Mechanics and Signal Encoding

2026-06-15T03:50:22Z

Yazar Wiertlewski, Michaël. author. SpringerLink (Online service)
Yer Numarası ONLINE(331074.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4841-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Design of Adaptive Embedded Systems

2026-06-15T03:50:22Z

Yazar Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331594.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5076-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-based Health Monitoring of Hybrid Systems

2026-06-15T03:50:22Z

Yazar Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Yer Numarası ONLINE(332270.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Based Parameter Estimation Theory and Applications

2026-06-15T03:50:22Z

Yazar Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Yer Numarası ONLINE(333324.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30367-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intrinsically Motivated Learning in Natural and Artificial Systems

2026-06-15T03:50:22Z

Yazar Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32375-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333575.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32448-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.
Yer Numarası ONLINE(334852.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39802-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational and Robotic Models of the Hierarchical Organization of Behavior

2026-06-15T03:50:22Z

Yazar Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334861.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39875-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Stochastic Dynamics Volume 2

2026-06-15T03:50:22Z

Yazar Papadrakakis, Manolis. editor. Stefanou, George. editor. Papadopoulos, Vissarion. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335894.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5134-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CAN System Engineering From Theory to Practical Applications

2026-06-15T03:50:22Z

Yazar Lawrenz, Wolfhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331227.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5613-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear Optimization Applications Using the GAMS Technology

2026-06-15T03:50:22Z

Yazar Andrei, Neculai. author. SpringerLink (Online service)
Yer Numarası ONLINE(332120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6797-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE(333884.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34688-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multibody Dynamics Computational Methods and Applications

2026-06-15T03:50:22Z

Yazar Samin, Jean-Claude. editor. Fisette, Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5404-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331109.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4971-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Fault Classification to Fault Tolerance for Multi-Agent Systems

2026-06-15T03:50:22Z

Yazar Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Yer Numarası ONLINE(331127.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-finger Haptic Interaction

2026-06-15T03:50:22Z

Yazar Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331173.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5204-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Gu, Edward Y L. author. SpringerLink (Online service)
Yer Numarası ONLINE(334717.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39047-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Secure Information Society Ethical, Legal and Political Challenges

2026-06-15T03:50:22Z

Yazar Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331051.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4763-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Langdon, Patrick Martin. editor. Clarkson, Peter John. editor. Robinson, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-166-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2009: Robot Soccer World Cup XIII

2026-06-15T03:50:22Z

Yazar Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11876-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operational risk management a practical approach to intelligent data analysis

2026-06-15T03:50:22Z

Yazar Kenett, Ron. Raanan, Yossi.
Yer Numarası ONLINE(318959.1)
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolution of Communication and Language in Embodied Agents

2026-06-15T03:50:22Z

Yazar Nolfi, Stefano. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01250-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Theory and Statistical Learning

2026-06-15T03:50:22Z

Yazar Emmert-Streib, Frank. editor. Dehmer, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-84816-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Environments Methods, Algorithms and Applications

2026-06-15T03:50:22Z

Yazar Monekosso, Dorothy. editor. Remagnino, Paolo. editor. Kuno, Yoshinori. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-346-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robot Behaviour Design, Description, Analysis and Modelling

2026-06-15T03:50:22Z

Yazar Nehmzow, Ulrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-397-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Tadokoro, Satoshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-474-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Sukhatme, Gaurav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-85774-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Haptic Devices A Beginner's Guide for Engineers

2026-06-15T03:50:22Z

Yazar Kern, Thorsten A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88248-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00269-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2008: Robot Soccer World Cup XII

2026-06-15T03:50:22Z

Yazar Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02921-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-15T03:50:22Z

Yazar Mütterlein, Bernward. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8274-2338-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2004: Robot Soccer World Cup VIII

2026-06-15T03:50:22Z

Yazar Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106671
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1