Search Results for Systems - Narrowed by: Computer simulation.

Innovative Simulation Systems

2026-06-15T13:35:17Z

Author Nawrat, Aleksander. editor. Jędrasiak, Karol. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21118-3
Format: Electronic Resources
Availability Online Library~1

Mechatronic Systems Fundamentals

2026-06-15T13:35:17Z

Author Isermann, Rolf. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-259-4
Format: Electronic Resources
Availability Online Library~1

Control Systems Benchmarks

2026-06-15T13:35:17Z

Author Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76312-0
Format: Electronic Resources
Availability Online Library~1

Systems engineering neural networks

2026-06-15T13:35:17Z

Author Migliaccio, Alessandro, author. Iannone, Giovanni, author.
Preferred Shelf Number QA76.87 .M537 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027
Format: Electronic Resources
Availability Online Library~1

Multiple Fuzzy Classification Systems

2026-06-15T13:35:17Z

Author Scherer, Rafał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30604-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Computing

2026-06-15T13:35:17Z

Author Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2891-6
Format: Electronic Resources
Availability Online Library~1

Anti-fragile ICT Systems

2026-06-15T13:35:17Z

Author Hole, Kjell Jørgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30070-2
Format: Electronic Resources
Availability Online Library~1

Autonomic Road Transport Support Systems

2026-06-15T13:35:17Z

Author McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25808-9
Format: Electronic Resources
Availability Online Library~1

Simulating Complex Systems by Cellular Automata

2026-06-15T13:35:17Z

Author Kroc, Jiri. editor. Sloot, Peter M.A. editor. Hoekstra, Alfons G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12203-3
Format: Electronic Resources
Availability Online Library~1

Agent-directed simulation and systems engineering

2026-06-15T13:35:17Z

Author Yilmaz, Levent, 1971- Ören, Tuncer I. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737 John Wiley http://dx.doi.org/10.1002/9783527627783
Format: Electronic Resources
Availability Online Library~1

Effective Model-Based Systems Engineering

2026-06-15T13:35:17Z

Author Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95669-5
Format: Electronic Resources
Availability Online Library~1

Computational frameworks : systems, models and applications

2026-06-15T13:35:17Z

Author Traoré, Mamadou K. (Mamadou Kaba), editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781785482564
Format: Electronic Resources
Availability Online Library~1

Mathematical Advances Towards Sustainable Environmental Systems

2026-06-15T13:35:17Z

Author Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43901-3
Format: Electronic Resources
Availability Online Library~1

Agent-Based Modelling of Socio-Technical Systems

2026-06-15T13:35:17Z

Author Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335852.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4933-7
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Self-Organizing Systems

2026-06-15T13:35:17Z

Author Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331148.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: Electronic Resources
Availability Online Library~1

Mechatronic Systems Analysis, Design and Implementation

2026-06-15T13:35:17Z

Author Boukas, El-Kébir. author. AL-Sunni, Fouad M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22324-2
Format: Electronic Resources
Availability Online Library~1

Energy Efficiency in Manufacturing Systems

2026-06-15T13:35:17Z

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

Agent-Based Models of Geographical Systems

2026-06-15T13:35:17Z

Author Heppenstall, Alison J. editor. Crooks, Andrew T. editor. See, Linda M. editor. Batty, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8927-4
Format: Electronic Resources
Availability Online Library~1

Mathematics of Complexity and Dynamical Systems

2026-06-15T13:35:17Z

Author Meyers, Robert A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1806-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XIII

2026-06-15T13:35:17Z

Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19748-2
Format: Electronic Resources
Availability Online Library~1

Manufacturing Systems Modeling and Analysis

2026-06-15T13:35:17Z

Author Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16618-1
Format: Electronic Resources
Availability Online Library~1

Intentional Perspectives on Information Systems Engineering

2026-06-15T13:35:17Z

Author Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12544-7
Format: Electronic Resources
Availability Online Library~1

Multi-agent systems : simulation and applications

2026-06-15T13:35:17Z

Author Uhrmacher, Adelinde. Weyns, Danny.
Preferred Shelf Number QA76.76 .I58 M864 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software Engineering for Self-Adaptive Systems

2026-06-15T13:35:17Z

Author Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Electronic Resources
Availability Online Library~1

Advances in Modeling Agricultural Systems

2026-06-15T13:35:17Z

Author Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75181-8
Format: Electronic Resources
Availability Online Library~1

Manufacturing Systems Modeling and Analysis

2026-06-15T13:35:17Z

Author Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88763-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XI

2026-06-15T13:35:17Z

Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04186-0
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Self-organizing Systems

2026-06-15T13:35:17Z

Author Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-982-8
Format: Electronic Resources
Availability Online Library~1

An Introduction to Sequential Dynamical Systems

2026-06-15T13:35:17Z

Author Mortveit, Henning S. author. Reidys, Christian M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49879-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology X

2026-06-15T13:35:17Z

Author Priami, Corrado. editor. Dressler, Falko. editor. Akan, Ozgur B. editor. Ngom, Alioune. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92273-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology IX

2026-06-15T13:35:17Z

Author Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88765-2
Format: Electronic Resources
Availability Online Library~1

Control of Traffic Systems in Buildings

2026-06-15T13:35:17Z

Author Markon, Sandor. author. Kise, Hiroshi. author. Kita, Hajime. author. Bartz-Beielstein, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-449-X
Format: Electronic Resources
Availability Online Library~1

SmartKom: Foundations of Multimodal Dialogue Systems

2026-06-15T13:35:17Z

Author Wahlster, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36678-4
Format: Electronic Resources
Availability Online Library~1

Systems modeling and computer simulation

2026-06-15T13:35:17Z

Author Kheir, Naim A., 1933- ed.
Preferred Shelf Number QA 76.9.C65 S975 1996
Format: Books
Availability Beytepe Library~1

Extremal Fuzzy Dynamic Systems Theory and Applications

2026-06-15T13:35:17Z

Author Sirbiladze, Gia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331460.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4250-9
Format: Electronic Resources
Availability Online Library~1

Applications of Intelligent Control to Engineering Systems

2026-06-15T13:35:17Z

Author Valavanis, Kimon P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3018-4
Format: Electronic Resources
Availability Online Library~1

Run-time Models for Self-managing Systems and Applications

2026-06-15T13:35:17Z

Author Ardagna, Danilo. editor. Zhang, Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0346-0433-8
Format: Electronic Resources
Availability Online Library~1

Predicting the Future Completing Models of Observed Complex Systems

2026-06-15T13:35:17Z

Author Abarbanel, Henry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332234.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7218-6
Format: Electronic Resources
Availability Online Library~1

Viability and Resilience of Complex Systems Concepts, Methods and Case Studies from Ecology and Society

2026-06-15T13:35:17Z

Author Deffuant, Guillaume. editor. Gilbert, Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20423-4
Format: Electronic Resources
Availability Online Library~1

Systems Analysis Approach for Complex Global Challenges

2026-06-15T13:35:17Z

Author Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71486-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems

2026-06-15T13:35:17Z

Author Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95504-9
Format: Electronic Resources
Availability Online Library~1

Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signals

2026-06-15T13:35:17Z

Author Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31053-4
Format: Electronic Resources
Availability Online Library~1

Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotions

2026-06-15T13:35:17Z

Author Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31056-5
Format: Electronic Resources
Availability Online Library~1

Systems Biology Integrative Biology and Simulation Tools

2026-06-15T13:35:17Z

Author Prokop, Aleš. editor. Csukás, Béla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336324.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6803-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Mechatronic Systems Modeling, Control and Diagnosis

2026-06-15T13:35:17Z

Author Merzouki, Rochdi. author. Samantaray, Arun Kumar. author. Pathak, Pushparaj Mani. author. Ould Bouamama, Belkacem. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331028.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4628-5
Format: Electronic Resources
Availability Online Library~1

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

2026-06-15T13:35:17Z

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

Evolving Connectionist Systems The Knowledge Engineering Approach

2026-06-15T13:35:17Z

Author Kasabov, Nikola. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-347-5
Format: Electronic Resources
Availability Online Library~1

Designing Virtual Reality Systems The Structured Approach

2026-06-15T13:35:17Z

Author Kim, Gerard Jounghyun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-230-0
Format: Electronic Resources
Availability Online Library~1

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004

2026-06-15T13:35:17Z

Author Terano, Takao. editor. Kita, Hajime. editor. Kaneda, Toshiyuki. editor. Arai, Kiyoshi. editor. Deguchi, Hiroshi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138317
Format: Electronic Resources
Availability Online Library~1

Understanding Behaviour of Distributed Systems Using mCRL2

2026-06-15T13:35:17Z

Author Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23008-0
Format: Electronic Resources
Availability Online Library~1

Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

2026-06-15T13:35:17Z

Author Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94196-7
Format: Electronic Resources
Availability Online Library~1

Real-Time Modelling and Processing for Communication Systems Applications and Practices

2026-06-15T13:35:17Z

Author Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72215-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015

2026-06-15T13:35:17Z

Author Styskala, Vitezslav. editor. Kolosov, Dmitrii. editor. Snasel, Vaclav. editor. Karakeyev, Taalaybek. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27644-1
Format: Electronic Resources
Availability Online Library~1

Supervisory Control of Concurrent Systems A Petri Net Structural Approach

2026-06-15T13:35:17Z

Author Iordache, Marian V. author. Antsaklis, Panos J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4488-1
Format: Electronic Resources
Availability Online Library~1

Information Quality and Management Accounting A Simulation Analysis of Biases in Costing Systems

2026-06-15T13:35:17Z

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

Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles

2026-06-15T13:35:17Z

Author Böttcher, Guido. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-935-2
Format: Electronic Resources
Availability Online Library~1

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

2026-06-15T13:35:17Z

Author Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105417
Format: Electronic Resources
Availability Online Library~1

Agent-Based Approaches in Economic and Social Complex Systems IV Post-Proceedings of The AESCS International Workshop 2005

2026-06-15T13:35:17Z

Author Terano, Takao. editor. Kita, Hajime. editor. Deguchi, Hiroshi. editor. Kijima, Kyoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-71307-4
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

2026-06-15T13:35:17Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14984-0
Format: Electronic Resources
Availability Online Library~1

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

2026-06-15T13:35:17Z

Author Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23703-5
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2026-06-15T13:35:17Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76072-8
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2026-06-15T13:35:17Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59105-6
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers

2026-06-15T13:35:17Z

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

Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings

2026-06-15T13:35:17Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45378-1
Format: Electronic Resources
Availability Online Library~1

A practical guide to SysML : the systems modeling language

2026-06-15T13:35:17Z

Author Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Preferred Shelf Number ONLINE(355422.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2026-06-15T13:35:17Z

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

Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems A Time/Space Separation Based Approach

2026-06-15T13:35:17Z

Author Li, Han-Xiong. author. Qi, Chenkun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0741-2
Format: Electronic Resources
Availability Online Library~1

Correlative learning a basis for brain and adaptive systems

2026-06-15T13:35:17Z

Author Chen, Zhe, 1976- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007006012-b.html John Wiley http://dx.doi.org/10.1002/9780470171455
Format: Electronic Resources
Availability Online Library~1

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2026-06-15T13:35:17Z

Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101185
Format: Electronic Resources
Availability Online Library~1

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

2026-06-15T13:35:17Z

Author Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0232-2
Format: Electronic Resources
Availability Online Library~1

Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings

2026-06-15T13:35:17Z

Author Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4613-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-06-15T13:35:17Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82949-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-06-15T13:35:17Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82957-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-06-15T13:35:17Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83885-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 I

2026-06-15T13:35:17Z

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-06-15T13:35:17Z

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

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-15T13:35:17Z

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

Applied Antifragility in Natural Systems From Principles to Applications

2026-06-15T13:35:17Z

Author Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90391-5
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

2026-06-15T13:35:17Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X Fagiolini, Adriano. editor. (orcid)0000-0001-9943-1975 Vasik, Petr. editor. (orcid)0000-0001-6725-7378 Pacillo, Francesco. editor. Bruzzone, Agostino. editor. (orcid)0000-0002-0155-5310
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71397-2
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

2026-06-15T13:35:17Z

Author Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2882-7
Format: Electronic Resources
Availability Online Library~1

Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation

2026-06-15T13:35:17Z

Author Rubio, Jose de Jesus. author. (orcid)0000-0002-2005-5979 Zacarias, Alejandro. author. (orcid)0000-0002-6427-4911 Pacheco, Jaime. author. (orcid)0000-0002-2377-1639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85438-5
Format: Electronic Resources
Availability Online Library~1

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

2026-06-15T13:35:17Z

Author Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0188-2
Format: Electronic Resources
Availability Online Library~1

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

2026-06-15T13:35:17Z

Author Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0313-8
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I

2026-06-15T13:35:17Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7240-1
Format: Electronic Resources
Availability Online Library~1

Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings

2026-06-15T13:35:17Z

Author Blasch, Erik. editor. Darema, Frederica. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52670-1
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-06-15T13:35:17Z

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-06-15T13:35:17Z

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-06-15T13:35:17Z

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

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II

2026-06-15T13:35:17Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7243-2
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings

2026-06-15T13:35:17Z

Author Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7225-4
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

2026-06-15T13:35:17Z

Author Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-1417-9
Format: Electronic Resources
Availability Online Library~1

Hybrid computational intelligent systems : modeling, simulation and optimization

2026-06-15T13:35:17Z

Author Bhattacharyya, Siddhartha, 1975- editor.
Preferred Shelf Number Q342
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003381167 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Digital Twin Driven Intelligent Systems and Emerging Metaverse

2026-06-15T13:35:17Z

Author Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0252-1
Format: Electronic Resources
Availability Online Library~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I

2026-06-15T13:35:17Z

Author Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19153-5
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

2026-06-15T13:35:17Z

Author Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23597-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2026-06-15T13:35:17Z

Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2026-06-15T13:35:17Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2026-06-15T13:35:17Z

Author Collart-Dutilleul, Simon. 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-030-18744-6
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

2026-06-15T13:35:17Z

Author Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1078-6
Format: Electronic Resources
Availability Online Library~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II

2026-06-15T13:35:17Z

Author Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19156-6
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2026-06-15T13:35:17Z

Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2026-06-15T13:35:17Z

Author André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

2026-06-15T13:35:17Z

Author Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2853-4
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2026-06-15T13:35:17Z

Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2026-06-15T13:35:17Z

Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2026-06-15T13:35:17Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2026-06-15T13:35:17Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-06-15T13:35:17Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources
Availability Online Library~1

Modeling Discrete-Event Systems with GPenSIM An Introduction

2026-06-15T13:35:17Z

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

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2026-06-15T13:35:17Z

Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources
Availability Online Library~1

Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach

2026-06-15T13:35:17Z

Author Fernández de Cañete, J. author. Galindo, C. author. Barbancho, J. author. Luque, A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75717-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems

2026-06-15T13:35:17Z

Author Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54490-8
Format: Electronic Resources
Availability Online Library~1

Real-time Monitoring and Operational Control of Drinking-Water Systems

2026-06-15T13:35:17Z

Author Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50751-4
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2026-06-15T13:35:17Z

Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64134-8
Format: Electronic Resources
Availability Online Library~1

Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systems

2026-06-15T13:35:17Z

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

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-06-15T13:35:17Z

Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89935-0
Format: Electronic Resources
Availability Online Library~1

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I

2026-06-15T13:35:17Z

Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6463-0
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-06-15T13:35:17Z

Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

2026-06-15T13:35:17Z

Author Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67471-1
Format: Electronic Resources
Availability Online Library~1

Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers

2026-06-15T13:35:17Z

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

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II

2026-06-15T13:35:17Z

Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6502-6
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2026-06-15T13:35:17Z

Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2026-06-15T13:35:17Z

Author Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59294-7
Format: Electronic Resources
Availability Online Library~1

Research Challenges in Modeling and Simulation for Engineering Complex Systems

2026-06-15T13:35:17Z

Author Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58544-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-06-15T13:35:17Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53946-1
Format: Electronic Resources
Availability Online Library~1

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

2026-06-15T13:35:17Z

Author Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51957-9
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-06-15T13:35:17Z

Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources
Availability Online Library~1

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-06-15T13:35:17Z

Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6687-0
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

2026-06-15T13:35:17Z

Author Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60285-1
Format: Electronic Resources
Availability Online Library~1

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2026-06-15T13:35:17Z

Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings

2026-06-15T13:35:17Z

Author Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39387-2
Format: Electronic Resources
Availability Online Library~1

Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

2026-06-15T13:35:17Z

Author Demazeau, Yves. editor. Ito, Takayuki. editor. Bajo, Javier. editor. Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39324-7
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2026-06-15T13:35:17Z

Author Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources
Availability Online Library~1

Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering

2026-06-15T13:35:17Z

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

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2026-06-15T13:35:17Z

Author Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2026-06-15T13:35:17Z

Author Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources
Availability Online Library~1

Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areas

2026-06-15T13:35:17Z

Author Dong, Shuning. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32342-8
Format: Electronic Resources
Availability Online Library~1

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

2026-06-15T13:35:17Z

Author Osman, Nardine. editor. Sierra, Carles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46882-2
Format: Electronic Resources
Availability Online Library~1

Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers

2026-06-15T13:35:17Z

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

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-06-15T13:35:17Z

Author Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-06-15T13:35:17Z

Author Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47151-8
Format: Electronic Resources
Availability Online Library~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IV

2026-06-15T13:35:17Z

Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2672-0
Format: Electronic Resources
Availability Online Library~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part III

2026-06-15T13:35:17Z

Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2669-0
Format: Electronic Resources
Availability Online Library~1

Tangible Interactive Systems Grasping the Real World with Computers

2026-06-15T13:35:17Z

Author Boy, Guy André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30270-6
Format: Electronic Resources
Availability Online Library~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I

2026-06-15T13:35:17Z

Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2663-8
Format: Electronic Resources
Availability Online Library~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II

2026-06-15T13:35:17Z

Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2666-9
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-06-15T13:35:17Z

Author Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources
Availability Online Library~1

Real Time Modeling, Simulation and Control of Dynamical Systems

2026-06-15T13:35:17Z

Author Mughal, Asif Mahmood. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33906-1
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

2026-06-15T13:35:17Z

Author Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0356-1
Format: Electronic Resources
Availability Online Library~1

Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers

2026-06-15T13:35:17Z

Author Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1019-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-06-15T13:35:17Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources
Availability Online Library~1

Bond Graph Model-based Fault Diagnosis of Hybrid Systems

2026-06-15T13:35:17Z

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

Analysis and Simulation of Electrical and Computer Systems

2026-06-15T13:35:17Z

Author Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11248-0
Format: Electronic Resources
Availability Online Library~1

Noise and Vibration Mitigation for Rail Transportation Systems Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9-13 September 2013

2026-06-15T13:35:17Z

Author Nielsen, Jens C.O. editor. Anderson, David. editor. Gautier, Pierre-Etienne. editor. Iida, Masanobu. editor. Nelson, James T. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44832-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Parallel and distributed simulation systems : Analysis and applications

2026-06-15T13:35:17Z

Author Takahashi N. W.
Preferred Shelf Number QA76.9.C65 F84 2014 V.1
Format: Books
Availability Beytepe Library~2

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2026-06-15T13:35:17Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources
Availability Online Library~1

Information Systems for Crisis Response and Management in Mediterranean Countries First International Conference, ISCRAM-med 2014, Toulouse, France, October 15-17, 2014, Proceedings

2026-06-15T13:35:17Z

Author Hanachi, Chihab. editor. Bénaben, Frédérick. editor. Charoy, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11818-5
Format: Electronic Resources
Availability Online Library~1

Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings

2026-06-15T13:35:17Z

Author Demazeau, Yves. editor. Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Corchado Rodríguez, Juan M. editor. Bajo Pérez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07551-8
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings

2026-06-15T13:35:17Z

Author Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45289-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Methodology, Systems, and Applications 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings

2026-06-15T13:35:17Z

Author Agre, Gennady. editor. (orcid)0000-0003-4610-7973 Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Krisnadhi, Adila A. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10554-3
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2026-06-15T13:35:17Z

Author Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources
Availability Online Library~1

Decision Support Systems III - Impact of Decision Support Systems for Global Environments Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers

2026-06-15T13:35:17Z

Author Dargam, Fátima. editor. Hernández, Jorge E. editor. Zaraté, Pascale. editor. Liu, Shaofeng. editor. Ribeiro, Rita. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11364-7
Format: Electronic Resources
Availability Online Library~1

Precision Assembly Technologies and Systems 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers

2026-06-15T13:35:17Z

Author Ratchev, Svetan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45586-9
Format: Electronic Resources
Availability Online Library~1

Assessment of Total Evacuation Systems for Tall Buildings

2026-06-15T13:35:17Z

Author Ronchi, Enrico. author. Nilsson, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-1074-8
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

2026-06-15T13:35:17Z

Author Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10214-6
Format: Electronic Resources
Availability Online Library~1

Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings

2026-06-15T13:35:17Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45317-9
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty

2026-06-15T13:35:17Z

Author Starczewski, Janusz T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333243.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29520-1
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2026-06-15T13:35:17Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333263.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29752-6
Format: Electronic Resources
Availability Online Library~1

Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012

2026-06-15T13:35:17Z

Author Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.
Preferred Shelf Number ONLINE(333577.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32454-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-06-15T13:35:17Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Design and Operation of Automated Container Storage Systems

2026-06-15T13:35:17Z

Author Kemme, Nils. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-7908-2885-6
Format: Electronic Resources
Availability Online Library~1

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

2026-06-15T13:35:17Z

Author Coutinho, Murilo G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330975.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4417-5
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems User’s Reference

2026-06-15T13:35:17Z

Author Zeigler, Bernard P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331013.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4570-7
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2026-06-15T13:35:17Z

Author Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330586.1)
Electronic Access http://dx.doi.org/10.1007/978-0-85729-865-2
Format: Electronic Resources
Availability Online Library~1

Using Event-B for Critical Device Software Systems

2026-06-15T13:35:17Z

Author Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331181.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Electronic Resources
Availability Online Library~1

Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

2026-06-15T13:35:17Z

Author Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334528.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38073-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2026-06-15T13:35:17Z

Author Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334727.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2026-06-15T13:35:17Z

Author Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334992.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40708-6
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

2026-06-15T13:35:17Z

Author Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40867-0
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

2026-06-15T13:35:17Z

Author Demey, Yan Tang. editor. Panetto, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335045.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41033-8
Format: Electronic Resources
Availability Online Library~1

Decision Support Systems II - Recent Developments Applied to DSS Network Environments Euro Working Group Workshop, EWG-DSS 2012, Liverpool, UK, April 12-13, 2012, and Vilnius, Lithuania, July 8-11, 2012, Revised Selected and Extended Papers

2026-06-15T13:35:17Z

Author Hernández, Jorge E. editor. Liu, Shaofeng. editor. Delibašić, Boris. editor. Zaraté, Pascale. editor. Dargam, Fátima. editor.
Preferred Shelf Number ONLINE(335053.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41077-2
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2026-06-15T13:35:17Z

Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number ONLINE(335120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Electronic Resources
Availability Online Library~1

Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers

2026-06-15T13:35:17Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335135.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41647-7
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

2026-06-15T13:35:17Z

Author Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335181.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45037-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2026-06-15T13:35:17Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335219.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53856-8
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2026-06-15T13:35:17Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53862-9
Format: Electronic Resources
Availability Online Library~1

Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applications

2026-06-15T13:35:17Z

Author Cavallaro, Fausto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331156.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5143-2
Format: Electronic Resources
Availability Online Library~1

Model-Based Development and Evolution of Information Systems A Quality Approach

2026-06-15T13:35:17Z

Author Krogstie, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2936-3
Format: Electronic Resources
Availability Online Library~1

PEM Fuel Cells with Bio-Ethanol Processor Systems A Multidisciplinary Study of Modelling, Simulation, Fault Diagnosis and Advanced Control

2026-06-15T13:35:17Z

Author Basualdo, Marta S. editor. Feroldi, Diego. editor. Outbib, Rachid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-184-4
Format: Electronic Resources
Availability Online Library~1

Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexity

2026-06-15T13:35:17Z

Author Sergienko, Ivan V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4211-0
Format: Electronic Resources
Availability Online Library~1

Data-Driven Methods for Adaptive Spoken Dialogue Systems Computational Learning for Conversational Interfaces

2026-06-15T13:35:17Z

Author Lemon, Oliver. editor. Pietquin, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4803-7
Format: Electronic Resources
Availability Online Library~1

Precision Assembly Technologies and Systems 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, 2012. Proceedings

2026-06-15T13:35:17Z

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

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

2026-06-15T13:35:17Z

Author Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29479-2
Format: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings

2026-06-15T13:35:17Z

Author Jezic, Gordan. editor. Kusek, Mario. editor. Nguyen, Ngoc-Thanh. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30947-2
Format: Electronic Resources
Availability Online Library~1

Eco-friendly Computing and Communication Systems International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedings

2026-06-15T13:35:17Z

Author Mathew, Jimson. editor. Patra, Priyadarshan. editor. Pradhan, Dhiraj K. editor. Kuttyamma, A. J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32112-2
Format: Electronic Resources
Availability Online Library~1

Decision Support Systems – Collaborative Models and Approaches in Real Environments Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December 1, 2011, Revised Selected and Extended Papers

2026-06-15T13:35:17Z

Author Hernández, Jorge E. editor. Zarate, Pascale. editor. Dargam, Fátima. editor. Delibašić, Boris. editor. Liu, Shaofeng. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32191-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes

2026-06-15T13:35:17Z

Author Priami, Corrado. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35524-0
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

2026-06-15T13:35:17Z

Author Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25920-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2026-06-15T13:35:17Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27549-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

2026-06-15T13:35:17Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27579-1
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

2026-06-15T13:35:17Z

Author Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28939-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings

2026-06-15T13:35:17Z

Author Ramsay, Allan. editor. Agre, Gennady. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33185-5
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings

2026-06-15T13:35:17Z

Author Herrero, Pilar. editor. Panetto, Hervé. editor. Meersman, Robert. editor. Dillon, Tharam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33618-8
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings

2026-06-15T13:35:17Z

Author Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33636-2
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

2026-06-15T13:35:17Z

Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33666-9
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings

2026-06-15T13:35:17Z

Author Coello Coello, Carlos A. editor. Greensmith, Julie. editor. Krasnogor, Natalio. editor. Liò, Pietro. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33757-4
Format: Electronic Resources
Availability Online Library~1

Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers

2026-06-15T13:35:17Z

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

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

2026-06-15T13:35:17Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Liddle, Stephen W. editor. Schewe, Klaus-Dieter. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34179-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems VII

2026-06-15T13:35:17Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35332-1
Format: Electronic Resources
Availability Online Library~1

Introduction to Discrete Event Simulation and Agent-based Modeling Voting Systems, Health Care, Military, and Manufacturing

2026-06-15T13:35:17Z

Author Allen, Theodore T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-139-4
Format: Electronic Resources
Availability Online Library~1

Identification of Dynamic Systems An Introduction with Applications

2026-06-15T13:35:17Z

Author Isermann, Rolf. author. Münchhof, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78879-9
Format: Electronic Resources
Availability Online Library~1

Simulation and Verification of Electronic and Biological Systems

2026-06-15T13:35:17Z

Author Li, Peng. editor. Silveira, Luís Miguel. editor. Feldmann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0149-6
Format: Electronic Resources
Availability Online Library~1

Solid Modelling and CAD Systems How to Survive a CAD System

2026-06-15T13:35:17Z

Author Stroud, Ian. author. Nagy, Hildegarde. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-259-9
Format: Electronic Resources
Availability Online Library~1

Introduction to modeling and simulation of technical and physical systems with Modelica

2026-06-15T13:35:17Z

Author Fritzson, Peter A., 1952-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592
Format: Electronic Resources
Availability Online Library~1

FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems

2026-06-15T13:35:17Z

Author Schnieder, Eckehard. editor. Tarnai, Geza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14261-1
Format: Electronic Resources
Availability Online Library~1

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2026-06-15T13:35:17Z

Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

2026-06-15T13:35:17Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18472-7
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

2026-06-15T13:35:17Z

Author Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19754-3
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings

2026-06-15T13:35:17Z

Author Liò, Pietro. editor. Nicosia, Giuseppe. editor. Stibor, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22371-6
Format: Electronic Resources
Availability Online Library~1

Simulation of dynamic systems with MATLAB and Simulink / Harold Klee, Randal Allen..

2026-06-15T13:35:17Z

Author Klee, Harold. Allen, Randal, 1964-
Preferred Shelf Number QA76.9.C65 K585 2011
Format: Books
Availability Beytepe Library~1

Image-Based Computational Modeling of the Human Circulatory and Pulmonary Systems Methods and Applications

2026-06-15T13:35:17Z

Author Chandran, Krishnan B. editor. Udaykumar, H. S. editor. Reinhardt, Joseph M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7350-4
Format: Electronic Resources
Availability Online Library~1

Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers

2026-06-15T13:35:17Z

Author Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22723-3
Format: Electronic Resources
Availability Online Library~1

Design Rules for Actuators in Active Mechanical Systems

2026-06-15T13:35:17Z

Author Gomis-Bellmunt, Oriol. author. Campanile, Lucio Flavio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-614-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies

2026-06-15T13:35:17Z

Author Priami, Corrado. editor. Breitling, Rainer. editor. Gilbert, David. editor. Heiner, Monika. editor. Uhrmacher, Adelinde M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11712-1
Format: Electronic Resources
Availability Online Library~1

Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

2026-06-15T13:35:17Z

Author Dastani, Mehdi. editor. El Fallah Segrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13338-1
Format: Electronic Resources
Availability Online Library~1

Simulation Methods for Reliability and Availability of Complex Systems

2026-06-15T13:35:17Z

Author Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-213-9
Format: Electronic Resources
Availability Online Library~1

Precision Assembly Technologies and Systems 5th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2010, Chamonix, France, February 14-17, 2010. Proceedings

2026-06-15T13:35:17Z

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

Advances in Databases and Information Systems Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Revised Selected Papers

2026-06-15T13:35:17Z

Author Grundspenkis, Janis. editor. Kirikova, Marite. editor. Manolopoulos, Yannis. editor. Novickis, Leonids. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12082-4
Format: Electronic Resources
Availability Online Library~1

Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings

2026-06-15T13:35:17Z

Author Ortiz, Ángel. editor. Franco, Rubén Darío. editor. Gasquet, Pedro Gómez. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14341-0
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings

2026-06-15T13:35:17Z

Author Hart, Emma. editor. McEwan, Chris. editor. Timmis, Jon. editor. Hone, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14547-6
Format: Electronic Resources
Availability Online Library~1

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers

2026-06-15T13:35:17Z

Author Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16644-0
Format: Electronic Resources
Availability Online Library~1

Computational Systems-Biology and Bioinformatics First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010. Proceedings

2026-06-15T13:35:17Z

Author Chan, Jonathan H. editor. Ong, Yew-Soon. editor. Cho, Sung-Bae. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16750-8
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

2026-06-15T13:35:17Z

Author Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14843-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Systems Biology Using Cell Illustrator® and Pathway Databases

2026-06-15T13:35:17Z

Author Nagasaki, Masao. author. Saito, Ayumu. author. Doi, Atsushi. author. Matsuno, Hiroshi. author. Miyano, Satoru. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-023-4
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

2026-06-15T13:35:17Z

Author Degano, Pierpaolo. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03845-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

2026-06-15T13:35:17Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04772-5
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2026-06-15T13:35:17Z

Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Electronic Resources
Availability Online Library~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2026-06-15T13:35:17Z

Author Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers

2026-06-15T13:35:17Z

Author Rahwan, Iyad. editor. Moraitis, Pavlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00207-6
Format: Electronic Resources
Availability Online Library~1

Coloured Petri Nets Modelling and Validation of Concurrent Systems

2026-06-15T13:35:17Z

Author Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b95112
Format: Electronic Resources
Availability Online Library~1

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

2026-06-15T13:35:17Z

Author Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05465-5
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings

2026-06-15T13:35:17Z

Author Spyropoulos, Thrasyvoulos. editor. Hummel, Karin Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10865-5
Format: Electronic Resources
Availability Online Library~1

Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings

2026-06-15T13:35:17Z

Author Yang, Jung-Jin. editor. Yokoo, Makoto. editor. Ito, Takayuki. editor. Jin, Zhi. editor. Scerri, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11161-7
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-06-15T13:35:17Z

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

Creating Brain-Like Intelligence From Basic Principles to Complex Intelligent Systems

2026-06-15T13:35:17Z

Author Sendhoff, Bernhard. editor. Körner, Edgar. editor. Sporns, Olaf. editor. Ritter, Helge. editor. Doya, Kenji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00616-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

2026-06-15T13:35:17Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00899-3
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedings

2026-06-15T13:35:17Z

Author Cai, Zhihua. editor. Li, Zhenhua. editor. Kang, Zhuo. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04962-0
Format: Electronic Resources
Availability Online Library~1

ANEMONA A Mulit-agent Methodology for Holonic Manufacturing Systems

2026-06-15T13:35:17Z

Author Botti, Vicente. author. Giret, Adriana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-310-1
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2026-06-15T13:35:17Z

Author Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77704-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-06-15T13:35:17Z

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

Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications

2026-06-15T13:35:17Z

Author Pop, Valer. author. Bergveld, Henk Jan. author. Danilov, Dmitry. author. Regtien, Paul P. L. author. Notten, Peter H. L. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6945-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

2026-06-15T13:35:17Z

Author Fisher, Jasmin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68413-8
Format: Electronic Resources
Availability Online Library~1

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

2026-06-15T13:35:17Z

Author Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87702-8
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

2026-06-15T13:35:17Z

Author Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87875-9
Format: Electronic Resources
Availability Online Library~1

Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers

2026-06-15T13:35:17Z

Author Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85058-8
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

2026-06-15T13:35:17Z

Author Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85857-7
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2026-06-15T13:35:17Z

Author Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

2026-06-15T13:35:17Z

Author Heiner, Monika. editor. Uhrmacher, Adelinde M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88562-7
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2026-06-15T13:35:17Z

Author Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Electronic Resources
Availability Online Library~1

Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools

2026-06-15T13:35:17Z

Author Hrúz, Branislav. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-877-7
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

2026-06-15T13:35:17Z

Author Calder, Muffy. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75140-3
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

2026-06-15T13:35:17Z

Author Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75209-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2026-06-15T13:35:17Z

Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75867-9
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-06-15T13:35:17Z

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

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

2026-06-15T13:35:17Z

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

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

2026-06-15T13:35:17Z

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

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2026-06-15T13:35:17Z

Author Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2026-06-15T13:35:17Z

Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74626-3
Format: Electronic Resources
Availability Online Library~1

The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems

2026-06-15T13:35:17Z

Author Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8396-1
Format: Electronic Resources
Availability Online Library~1

Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006

2026-06-15T13:35:17Z

Author Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-49022-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2026-06-15T13:35:17Z

Author Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28171-1
Format: Electronic Resources
Availability Online Library~1

Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings

2026-06-15T13:35:17Z

Author Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11669487
Format: Electronic Resources
Availability Online Library~1

Manufacturing Systems Control Design A Matrix-based Approach

2026-06-15T13:35:17Z

Author Bogdan, Stjepan. author. Lewis, Frank L. author. Kovačić, Zdenko. author. Mireles, José. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-334-5
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

2026-06-15T13:35:17Z

Author Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880240
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings

2026-06-15T13:35:17Z

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

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

2026-06-15T13:35:17Z

Author Leeuwen, Jos P. editor. Timmermans, Harry J. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5060-2
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-06-15T13:35:17Z

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

Modeling Chemical Systems Using Cellular Automata A textbook and laboratory manual

2026-06-15T13:35:17Z

Author Kier, Lemont B. author. Seybold, Paul G. author. Cheng, Chao-Kun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3690-6
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers

2026-06-15T13:35:17Z

Author Danos, Vincent. editor. Schachter, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107287
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-06-15T13:35:17Z

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

Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2026-06-15T13:35:17Z

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

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2026-06-15T13:35:17Z

Author Baik, Doo-Kwon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105611
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

2026-06-15T13:35:17Z

Author Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557432
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

2026-06-15T13:35:17Z

Author Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549703
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-06-15T13:35:17Z

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

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2026-06-15T13:35:17Z

Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105317
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2026-06-15T13:35:17Z

Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556985
Format: Electronic Resources
Availability Online Library~1

Neural networks for modelling and control of dynamic systems : A practitioner's handbook

2026-06-15T13:35:17Z

Author Norgaard, Magnus.
Preferred Shelf Number QA 76.87 N4847 2000
Format: Books
Availability Beytepe Library~1

Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic

2026-06-15T13:35:17Z

Author Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-901-7
Format: Electronic Resources
Availability Online Library~1

Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence

2026-06-15T13:35:17Z

Author Tang, W.H. author. Wu, Q.H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-052-6
Format: Electronic Resources
Availability Online Library~1

Power System Modelling and Scripting

2026-06-15T13:35:17Z

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

Spotlight on Modern Transformer Design

2026-06-15T13:35:17Z

Author Georgilakis, Pavlos S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-667-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Electrical Drives

2026-06-15T13:35:17Z

Author Veltman, André. author. Pulle, Duco W.J. author. De Doncker, Rik W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5504-1
Format: Electronic Resources
Availability Online Library~1

Simulating Social Complexity A Handbook

2026-06-15T13:35:17Z

Author Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66948-9
Format: Electronic Resources
Availability Online Library~1

Consensus and Synchronization in Complex Networks

2026-06-15T13:35:17Z

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

Dynamic Modeling of Diseases and Pests

2026-06-15T13:35:17Z

Author Hannon, Bruce. author. Ruth, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09560-8
Format: Electronic Resources
Availability Online Library~1

Mental Modeling Approach Risk Management Application Case Studies

2026-06-15T13:35:17Z

Author Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-6616-5
Format: Electronic Resources
Availability Online Library~1

Decision Aid Models for Disaster Management and Emergencies

2026-06-15T13:35:17Z

Author Vitoriano, Begoña. editor. Montero, Javier. editor. Ruan, Da. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336490.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-74-9
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence for Traffic and Mobility

2026-06-15T13:35:17Z

Author Wang, Wuhong. editor. Wets, Geert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336491.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-80-0
Format: Electronic Resources
Availability Online Library~1

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

2026-06-15T13:35:17Z

Author Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-59-6
Format: Electronic Resources
Availability Online Library~1