Search Results for Systems - Narrowed by: Computer simulation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ic$003dtrue$0026ps$003d300?dt=list2026-04-03T20:22:09ZInnovative Simulation Systemsent://SD_ILS/0/SD_ILS:6149382026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Nawrat, Aleksander. editor. Jędrasiak, Karol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21118-3">https://doi.org/10.1007/978-3-319-21118-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mechatronic Systems Fundamentalsent://SD_ILS/0/SD_ILS:1753472026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Isermann, Rolf. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-259-4">http://dx.doi.org/10.1007/1-84628-259-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Control Systems Benchmarksent://SD_ILS/0/SD_ILS:6086842026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76312-0">https://doi.org/10.1007/978-3-031-76312-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems engineering neural networksent://SD_ILS/0/SD_ILS:5981112026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Migliaccio, Alessandro, author. Iannone, Giovanni, author.<br/>Preferred Shelf Number QA76.87 .M537 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multiple Fuzzy Classification Systemsent://SD_ILS/0/SD_ILS:1969262026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Scherer, Rafał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30604-4">http://dx.doi.org/10.1007/978-3-642-30604-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Systems and Computingent://SD_ILS/0/SD_ILS:6035132026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2891-6">https://doi.org/10.1007/978-981-97-2891-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Anti-fragile ICT Systemsent://SD_ILS/0/SD_ILS:6111902026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hole, Kjell Jørgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30070-2">https://doi.org/10.1007/978-3-319-30070-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomic Road Transport Support Systemsent://SD_ILS/0/SD_ILS:6155422026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulating Complex Systems by Cellular Automataent://SD_ILS/0/SD_ILS:1919222026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kroc, Jiri. editor. Sloot, Peter M.A. editor. Hoekstra, Alfons G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12203-3">http://dx.doi.org/10.1007/978-3-642-12203-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-directed simulation and systems engineeringent://SD_ILS/0/SD_ILS:3049252026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Yilmaz, Levent, 1971- Ören, Tuncer I. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737</a>
John Wiley <a href="http://dx.doi.org/10.1002/9783527627783">http://dx.doi.org/10.1002/9783527627783</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Effective Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:4828622026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95669-5">https://doi.org/10.1007/978-3-319-95669-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational frameworks : systems, models and applicationsent://SD_ILS/0/SD_ILS:4594612026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Traoré, Mamadou K. (Mamadou Kaba), editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781785482564">http://www.sciencedirect.com/science/book/9781785482564</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Advances Towards Sustainable Environmental Systemsent://SD_ILS/0/SD_ILS:6124332026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43901-3">https://doi.org/10.1007/978-3-319-43901-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Based Modelling of Socio-Technical Systemsent://SD_ILS/0/SD_ILS:3358522026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335852.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4933-7">http://dx.doi.org/10.1007/978-94-007-4933-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Applied Self-Organizing Systemsent://SD_ILS/0/SD_ILS:3311482026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331148.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5113-5">http://dx.doi.org/10.1007/978-1-4471-5113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Based Models of Geographical Systemsent://SD_ILS/0/SD_ILS:2053532026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Heppenstall, Alison J. editor. Crooks, Andrew T. editor. See, Linda M. editor. Batty, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-8927-4">http://dx.doi.org/10.1007/978-90-481-8927-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Energy Efficiency in Manufacturing Systemsent://SD_ILS/0/SD_ILS:1960812026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Thiede, Sebastian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25914-2">http://dx.doi.org/10.1007/978-3-642-25914-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mechatronic Systems Analysis, Design and Implementationent://SD_ILS/0/SD_ILS:1949882026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Boukas, El-Kébir. author. AL-Sunni, Fouad M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22324-2">http://dx.doi.org/10.1007/978-3-642-22324-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics of Complexity and Dynamical Systemsent://SD_ILS/0/SD_ILS:1740202026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Meyers, Robert A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1806-1">http://dx.doi.org/10.1007/978-1-4614-1806-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Systems Biology XIIIent://SD_ILS/0/SD_ILS:1941422026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19748-2">http://dx.doi.org/10.1007/978-3-642-19748-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Manufacturing Systems Modeling and Analysisent://SD_ILS/0/SD_ILS:1933562026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16618-1">http://dx.doi.org/10.1007/978-3-642-16618-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intentional Perspectives on Information Systems Engineeringent://SD_ILS/0/SD_ILS:1920282026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12544-7">http://dx.doi.org/10.1007/978-3-642-12544-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-agent systems : simulation and applicationsent://SD_ILS/0/SD_ILS:5474772026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Uhrmacher, Adelinde. Weyns, Danny.<br/>Preferred Shelf Number QA76.76 .I58 M864 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420070248">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Manufacturing Systems Modeling and Analysisent://SD_ILS/0/SD_ILS:1891192026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88763-8">http://dx.doi.org/10.1007/978-3-540-88763-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Systems Biology XIent://SD_ILS/0/SD_ILS:1908642026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04186-0">http://dx.doi.org/10.1007/978-3-642-04186-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systemsent://SD_ILS/0/SD_ILS:1902352026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Modeling Agricultural Systemsent://SD_ILS/0/SD_ILS:1672402026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75181-8">http://dx.doi.org/10.1007/978-0-387-75181-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Systems Biology IXent://SD_ILS/0/SD_ILS:1891202026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Priami, Corrado. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88765-2">http://dx.doi.org/10.1007/978-3-540-88765-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Systems Biology Xent://SD_ILS/0/SD_ILS:1894222026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Priami, Corrado. editor. Dressler, Falko. editor. Akan, Ozgur B. editor. Ngom, Alioune. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92273-5">http://dx.doi.org/10.1007/978-3-540-92273-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Sequential Dynamical Systemsent://SD_ILS/0/SD_ILS:1665132026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mortveit, Henning S. author. Reidys, Christian M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49879-9">http://dx.doi.org/10.1007/978-0-387-49879-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Applied Self-organizing Systemsent://SD_ILS/0/SD_ILS:1756562026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-982-8">http://dx.doi.org/10.1007/978-1-84628-982-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Control of Traffic Systems in Buildingsent://SD_ILS/0/SD_ILS:1754232026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Markon, Sandor. author. Kise, Hiroshi. author. Kita, Hajime. author. Bartz-Beielstein, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-449-X">http://dx.doi.org/10.1007/1-84628-449-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SmartKom: Foundations of Multimodal Dialogue Systemsent://SD_ILS/0/SD_ILS:1844072026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Wahlster, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-36678-4">http://dx.doi.org/10.1007/3-540-36678-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems modeling and computer simulationent://SD_ILS/0/SD_ILS:791482026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kheir, Naim A., 1933- ed.<br/>Preferred Shelf Number QA 76.9.C65 S975 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Extremal Fuzzy Dynamic Systems Theory and Applicationsent://SD_ILS/0/SD_ILS:3314602026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Sirbiladze, Gia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331460.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4250-9">http://dx.doi.org/10.1007/978-1-4614-4250-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Intelligent Control to Engineering Systemsent://SD_ILS/0/SD_ILS:2049512026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Valavanis, Kimon P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3018-4">http://dx.doi.org/10.1007/978-90-481-3018-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Run-time Models for Self-managing Systems and Applicationsent://SD_ILS/0/SD_ILS:1766792026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ardagna, Danilo. editor. Zhang, Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0433-8">http://dx.doi.org/10.1007/978-3-0346-0433-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Predicting the Future Completing Models of Observed Complex Systemsent://SD_ILS/0/SD_ILS:3322342026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Abarbanel, Henry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332234.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7218-6">http://dx.doi.org/10.1007/978-1-4614-7218-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Viability and Resilience of Complex Systems Concepts, Methods and Case Studies from Ecology and Societyent://SD_ILS/0/SD_ILS:1943672026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Deffuant, Guillaume. editor. Gilbert, Nigel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20423-4">http://dx.doi.org/10.1007/978-3-642-20423-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Dynamic Data Driven Applications Systemsent://SD_ILS/0/SD_ILS:4004362026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95504-9">https://doi.org/10.1007/978-3-319-95504-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Analysis Approach for Complex Global Challengesent://SD_ILS/0/SD_ILS:4000492026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71486-8">https://doi.org/10.1007/978-3-319-71486-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotionsent://SD_ILS/0/SD_ILS:6164372026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31056-5">https://doi.org/10.1007/978-3-319-31056-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signalsent://SD_ILS/0/SD_ILS:6128832026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31053-4">https://doi.org/10.1007/978-3-319-31053-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Biology Integrative Biology and Simulation Toolsent://SD_ILS/0/SD_ILS:3363242026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Prokop, Aleš. editor. Csukás, Béla. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336324.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6803-1">http://dx.doi.org/10.1007/978-94-007-6803-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Mechatronic Systems Modeling, Control and Diagnosisent://SD_ILS/0/SD_ILS:3310282026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Merzouki, Rochdi. author. Samantaray, Arun Kumar. author. Pathak, Pushparaj Mani. author. Ould Bouamama, Belkacem. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331028.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4628-5">http://dx.doi.org/10.1007/978-1-4471-4628-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Discrete Event Systems Modeling, Evaluation, Applicationsent://SD_ILS/0/SD_ILS:1870762026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Zimmermann, Armin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74173-2">http://dx.doi.org/10.1007/978-3-540-74173-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolving Connectionist Systems The Knowledge Engineering Approachent://SD_ILS/0/SD_ILS:1753932026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kasabov, Nikola. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-347-5">http://dx.doi.org/10.1007/978-1-84628-347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 2004ent://SD_ILS/0/SD_ILS:2038632026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Terano, Takao. editor. Kita, Hajime. editor. Kaneda, Toshiyuki. editor. Arai, Kiyoshi. editor. Deguchi, Hiroshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138317">http://dx.doi.org/10.1007/b138317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Virtual Reality Systems The Structured Approachent://SD_ILS/0/SD_ILS:1753292026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kim, Gerard Jounghyun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-230-0">http://dx.doi.org/10.1007/978-1-84628-230-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Behaviour of Distributed Systems Using mCRL2ent://SD_ILS/0/SD_ILS:5273152026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23008-0">https://doi.org/10.1007/978-3-031-23008-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, USAent://SD_ILS/0/SD_ILS:4868342026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94196-7">https://doi.org/10.1007/978-3-319-94196-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-Time Modelling and Processing for Communication Systems Applications and Practicesent://SD_ILS/0/SD_ILS:4004712026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72215-3">https://doi.org/10.1007/978-3-319-72215-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015ent://SD_ILS/0/SD_ILS:6117912026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Styskala, Vitezslav. editor. Kolosov, Dmitrii. editor. Snasel, Vaclav. editor. Karakeyev, Taalaybek. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27644-1">https://doi.org/10.1007/978-3-319-27644-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supervisory Control of Concurrent Systems A Petri Net Structural Approachent://SD_ILS/0/SD_ILS:1681642026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Iordache, Marian V. author. Antsaklis, Panos J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-8176-4488-1">http://dx.doi.org/10.1007/0-8176-4488-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Quality and Management Accounting A Simulation Analysis of Biases in Costing Systemsent://SD_ILS/0/SD_ILS:1973372026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Leitner, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33209-8">http://dx.doi.org/10.1007/978-3-642-33209-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Haptic Interaction with Deformable Objects Modelling VR Systems for Textilesent://SD_ILS/0/SD_ILS:1686332026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Böttcher, Guido. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-935-2">http://dx.doi.org/10.1007/978-0-85729-935-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systemsent://SD_ILS/0/SD_ILS:1753312026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105417">http://dx.doi.org/10.1007/b105417</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Based Approaches in Economic and Social Complex Systems IV Post-Proceedings of The AESCS International Workshop 2005ent://SD_ILS/0/SD_ILS:2039852026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Terano, Takao. editor. Kita, Hajime. editor. Deguchi, Hiroshi. editor. Kijima, Kyoichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-71307-4">http://dx.doi.org/10.1007/978-4-431-71307-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:4866262026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23703-5">https://doi.org/10.1007/978-3-030-23703-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papersent://SD_ILS/0/SD_ILS:4862722026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14984-0">https://doi.org/10.1007/978-3-030-14984-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4014532026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6181142026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59105-6">https://doi.org/10.1007/978-3-319-59105-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6119472026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45378-1">https://doi.org/10.1007/978-3-319-45378-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6159842026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hodicky, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47605-6">https://doi.org/10.1007/978-3-319-47605-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A practical guide to SysML : the systems modeling languageent://SD_ILS/0/SD_ILS:3554222026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.<br/>Preferred Shelf Number ONLINE(355422.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128002025">http://www.sciencedirect.com/science/book/9780128002025</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890192026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hodicky, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13823-7">https://doi.org/10.1007/978-3-319-13823-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems A Time/Space Separation Based Approachent://SD_ILS/0/SD_ILS:2059302026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Li, Han-Xiong. author. Qi, Chenkun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0741-2">http://dx.doi.org/10.1007/978-94-007-0741-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Correlative learning a basis for brain and adaptive systemsent://SD_ILS/0/SD_ILS:2970292026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Chen, Zhe, 1976- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2007006012-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2007006012-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470171455">http://dx.doi.org/10.1002/9780470171455</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomy Oriented Computing From Problem Solving to Complex Systems Modelingent://SD_ILS/0/SD_ILS:1700512026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6057092026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71397-2">https://doi.org/10.1007/978-3-031-71397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIIent://SD_ILS/0/SD_ILS:6066672026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0232-2">https://doi.org/10.1007/978-981-96-0232-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6075842026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2882-7">https://doi.org/10.1007/978-981-96-2882-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6081602026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6081612026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:6081652026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6081062026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4613-5">https://doi.org/10.1007/978-981-96-4613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validationent://SD_ILS/0/SD_ILS:6086892026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85438-5">https://doi.org/10.1007/978-3-031-85438-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Antifragility in Natural Systems From Principles to Applicationsent://SD_ILS/0/SD_ILS:6091522026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90391-5">https://doi.org/10.1007/978-3-031-90391-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6018432026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7240-1">https://doi.org/10.1007/978-981-99-7240-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6048262026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7225-4">https://doi.org/10.1007/978-981-97-7225-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:6067262026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0188-2">https://doi.org/10.1007/978-981-96-0188-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Vent://SD_ILS/0/SD_ILS:6067282026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0313-8">https://doi.org/10.1007/978-981-96-0313-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedingsent://SD_ILS/0/SD_ILS:6026902026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Blasch, Erik. editor. Darema, Frederica. editor. Aved, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52670-1">https://doi.org/10.1007/978-3-031-52670-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6028242026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7243-2">https://doi.org/10.1007/978-981-99-7243-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6036112026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-1417-9">https://doi.org/10.1007/978-981-97-1417-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Twin Driven Intelligent Systems and Emerging Metaverseent://SD_ILS/0/SD_ILS:5277002026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0252-1">https://doi.org/10.1007/978-981-99-0252-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid computational intelligent systems : modeling, simulation and optimizationent://SD_ILS/0/SD_ILS:5637782026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bhattacharyya, Siddhartha, 1975- editor.<br/>Preferred Shelf Number Q342<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003381167">https://www.taylorfrancis.com/books/9781003381167</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865892026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-1078-6">https://doi.org/10.1007/978-981-15-1078-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4834662026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19153-5">https://doi.org/10.1007/978-3-030-19153-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4834762026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19156-6">https://doi.org/10.1007/978-3-030-19156-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4836672026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23597-0">https://doi.org/10.1007/978-3-030-23597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838292026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838672026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4840282026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIIent://SD_ILS/0/SD_ILS:4852822026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862742026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods and Models for Transport New Challenges for the Greening of Transport Systemsent://SD_ILS/0/SD_ILS:4018812026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54490-8">https://doi.org/10.1007/978-3-319-54490-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991432026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2853-4">https://doi.org/10.1007/978-981-13-2853-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:4011052026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:4019582026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling Discrete-Event Systems with GPenSIM An Introductionent://SD_ILS/0/SD_ILS:4000122026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Davidrajuh, Reggie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73102-5">https://doi.org/10.1007/978-3-319-73102-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003432026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automatic Control Systems in Biomedical Engineering An Interactive Educational Approachent://SD_ILS/0/SD_ILS:4015982026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Fernández de Cañete, J. author. Galindo, C. author. Barbancho, J. author. Luque, A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75717-9">https://doi.org/10.1007/978-3-319-75717-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4002112026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94779-2">https://doi.org/10.1007/978-3-319-94779-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002302026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:6135272026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64134-8">https://doi.org/10.1007/978-3-319-64134-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159702026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:6160992026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-time Monitoring and Operational Control of Drinking-Water Systemsent://SD_ILS/0/SD_ILS:6118832026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50751-4">https://doi.org/10.1007/978-3-319-50751-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120612026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89935-0">https://doi.org/10.1007/978-3-319-89935-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6120722026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6463-0">https://doi.org/10.1007/978-981-10-6463-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systemsent://SD_ILS/0/SD_ILS:6133952026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bernardini, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55744-1">https://doi.org/10.1007/978-3-319-55744-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6151662026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161902026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67471-1">https://doi.org/10.1007/978-3-319-67471-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papersent://SD_ILS/0/SD_ILS:6137212026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66251-0">https://doi.org/10.1007/978-3-319-66251-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6156142026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6502-6">https://doi.org/10.1007/978-981-10-6502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161542026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6166112026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6177832026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60285-1">https://doi.org/10.1007/978-3-319-60285-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:6177162026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59294-7">https://doi.org/10.1007/978-3-319-59294-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research Challenges in Modeling and Simulation for Engineering Complex Systemsent://SD_ILS/0/SD_ILS:6182042026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58544-4">https://doi.org/10.1007/978-3-319-58544-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6128422026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineeringent://SD_ILS/0/SD_ILS:6128132026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Geiser, Juergen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15117-5">https://doi.org/10.1007/978-3-319-15117-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:6146822026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2663-8">https://doi.org/10.1007/978-981-10-2663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:6147172026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2666-9">https://doi.org/10.1007/978-981-10-2666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:6117252026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6118822026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39387-2">https://doi.org/10.1007/978-3-319-39387-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6126262026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Osman, Nardine. editor. Sierra, Carles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46882-2">https://doi.org/10.1007/978-3-319-46882-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:6129722026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33509-4">https://doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papersent://SD_ILS/0/SD_ILS:6134822026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49646-7">https://doi.org/10.1007/978-3-319-49646-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160532026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real Time Modeling, Simulation and Control of Dynamical Systemsent://SD_ILS/0/SD_ILS:6163452026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mughal, Asif Mahmood. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33906-1">https://doi.org/10.1007/978-3-319-33906-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6179042026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1019-4">https://doi.org/10.1007/978-981-10-1019-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIIent://SD_ILS/0/SD_ILS:6179092026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2669-0">https://doi.org/10.1007/978-981-10-2669-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IVent://SD_ILS/0/SD_ILS:6179262026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2672-0">https://doi.org/10.1007/978-981-10-2672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6179352026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6125032026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Demazeau, Yves. editor. Ito, Takayuki. editor. Bajo, Javier. editor. Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39324-7">https://doi.org/10.1007/978-3-319-39324-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130832026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45177-0">https://doi.org/10.1007/978-3-319-45177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areasent://SD_ILS/0/SD_ILS:6130892026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Dong, Shuning. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32342-8">https://doi.org/10.1007/978-3-319-32342-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:6161342026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6162572026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47151-8">https://doi.org/10.1007/978-3-319-47151-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6170702026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0356-1">https://doi.org/10.1007/978-981-10-0356-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tangible Interactive Systems Grasping the Real World with Computersent://SD_ILS/0/SD_ILS:6184662026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Boy, Guy André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30270-6">https://doi.org/10.1007/978-3-319-30270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bond Graph Model-based Fault Diagnosis of Hybrid Systemsent://SD_ILS/0/SD_ILS:5301412026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Borutzky, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11860-4">https://doi.org/10.1007/978-3-319-11860-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Simulation of Electrical and Computer Systemsent://SD_ILS/0/SD_ILS:5296982026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11248-0">https://doi.org/10.1007/978-3-319-11248-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Noise and Vibration Mitigation for Rail Transportation Systems Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9-13 September 2013ent://SD_ILS/0/SD_ILS:5305162026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Nielsen, Jens C.O. editor. Anderson, David. editor. Gautier, Pierre-Etienne. editor. Iida, Masanobu. editor. Nelson, James T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44832-8">https://doi.org/10.1007/978-3-662-44832-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857242026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems for Crisis Response and Management in Mediterranean Countries First International Conference, ISCRAM-med 2014, Toulouse, France, October 15-17, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4857412026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hanachi, Chihab. editor. Bénaben, Frédérick. editor. Charoy, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11818-5">https://doi.org/10.1007/978-3-319-11818-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:4870412026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Dargam, Fátima. editor. Hernández, Jorge E. editor. Zaraté, Pascale. editor. Liu, Shaofeng. editor. Ribeiro, Rita. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11364-7">https://doi.org/10.1007/978-3-319-11364-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4877712026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07551-8">https://doi.org/10.1007/978-3-319-07551-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Precision Assembly Technologies and Systems 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4878742026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ratchev, Svetan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45586-9">https://doi.org/10.1007/978-3-662-45586-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Assessment of Total Evacuation Systems for Tall Buildingsent://SD_ILS/0/SD_ILS:4884902026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ronchi, Enrico. author. Nilsson, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-1074-8">https://doi.org/10.1007/978-1-4939-1074-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894592026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45289-9">https://doi.org/10.1007/978-3-662-45289-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Parallel and distributed simulation systems : Analysis and applicationsent://SD_ILS/0/SD_ILS:3551842026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Takahashi N. W.<br/>Preferred Shelf Number QA76.9.C65 F84 2014 V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4870332026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4895142026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45317-9">https://doi.org/10.1007/978-3-662-45317-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence: Methodology, Systems, and Applications 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4849612026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10554-3">https://doi.org/10.1007/978-3-319-10554-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:4893152026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10214-6">https://doi.org/10.1007/978-3-319-10214-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345282026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334528.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38073-0">http://dx.doi.org/10.1007/978-3-642-38073-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:3350532026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hernández, Jorge E. editor. Liu, Shaofeng. editor. Delibašić, Boris. editor. Zaraté, Pascale. editor. Dargam, Fátima. editor.<br/>Preferred Shelf Number ONLINE(335053.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41077-2">http://dx.doi.org/10.1007/978-3-642-41077-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papersent://SD_ILS/0/SD_ILS:3351352026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335135.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41647-7">http://dx.doi.org/10.1007/978-3-642-41647-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351812026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45037-2">http://dx.doi.org/10.1007/978-3-642-45037-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design and Operation of Automated Container Storage Systemsent://SD_ILS/0/SD_ILS:3353582026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kemme, Nils. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7908-2885-6">http://dx.doi.org/10.1007/978-3-7908-2885-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:3305862026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330586.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-865-2">http://dx.doi.org/10.1007/978-0-85729-865-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Dynamic Simulations of Rigid Bodies and Particle Systemsent://SD_ILS/0/SD_ILS:3309752026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Coutinho, Murilo G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330975.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4417-5">http://dx.doi.org/10.1007/978-1-4471-4417-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Modeling and Simulation of Systems of Systems User’s Referenceent://SD_ILS/0/SD_ILS:3310132026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Zeigler, Bernard P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331013.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4570-7">http://dx.doi.org/10.1007/978-1-4471-4570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertaintyent://SD_ILS/0/SD_ILS:3332432026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Starczewski, Janusz T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333243.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29520-1">http://dx.doi.org/10.1007/978-3-642-29520-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3332632026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333263.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29752-6">http://dx.doi.org/10.1007/978-3-642-29752-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, 2012ent://SD_ILS/0/SD_ILS:3335772026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.<br/>Preferred Shelf Number ONLINE(333577.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32454-3">http://dx.doi.org/10.1007/978-3-642-32454-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:3340552026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:3350452026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Demey, Yan Tang. editor. Panetto, Hervé. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335045.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41033-8">http://dx.doi.org/10.1007/978-3-642-41033-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349922026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350222026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40867-0">http://dx.doi.org/10.1007/978-3-642-40867-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:3352192026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335219.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-53856-8">http://dx.doi.org/10.1007/978-3-642-53856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:3352202026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335220.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-53862-9">http://dx.doi.org/10.1007/978-3-642-53862-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351202026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applicationsent://SD_ILS/0/SD_ILS:3311562026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Cavallaro, Fausto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331156.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5143-2">http://dx.doi.org/10.1007/978-1-4471-5143-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Using Event-B for Critical Device Software Systemsent://SD_ILS/0/SD_ILS:3311812026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3347272026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334727.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:1962292026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27549-4">http://dx.doi.org/10.1007/978-3-642-27549-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:1962382026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27579-1">http://dx.doi.org/10.1007/978-3-642-27579-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:1965692026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28939-2">http://dx.doi.org/10.1007/978-3-642-28939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1967102026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29479-2">http://dx.doi.org/10.1007/978-3-642-29479-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974302026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Coello Coello, Carlos A. editor. Greensmith, Julie. editor. Krasnogor, Natalio. editor. Liò, Pietro. editor. Nicosia, Giuseppe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33757-4">http://dx.doi.org/10.1007/978-3-642-33757-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papersent://SD_ILS/0/SD_ILS:1974652026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34050-5">http://dx.doi.org/10.1007/978-3-642-34050-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:1974102026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Herrero, Pilar. editor. Panetto, Hervé. editor. Meersman, Robert. editor. Dillon, Tharam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33618-8">http://dx.doi.org/10.1007/978-3-642-33618-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974122026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems VIIent://SD_ILS/0/SD_ILS:1975952026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35332-1">http://dx.doi.org/10.1007/978-3-642-35332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processesent://SD_ILS/0/SD_ILS:1976112026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Priami, Corrado. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35524-0">http://dx.doi.org/10.1007/978-3-642-35524-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969922026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Jezic, Gordan. editor. Kusek, Mario. editor. Nguyen, Ngoc-Thanh. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30947-2">http://dx.doi.org/10.1007/978-3-642-30947-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexityent://SD_ILS/0/SD_ILS:1743842026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Sergienko, Ivan V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4211-0">http://dx.doi.org/10.1007/978-1-4614-4211-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1960832026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25920-3">http://dx.doi.org/10.1007/978-3-642-25920-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Precision Assembly Technologies and Systems 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1963692026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ratchev, Svetan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28163-1">http://dx.doi.org/10.1007/978-3-642-28163-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems VI Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:1974872026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Liddle, Stephen W. editor. Schewe, Klaus-Dieter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34179-3">http://dx.doi.org/10.1007/978-3-642-34179-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974182026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973332026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ramsay, Allan. editor. Agre, Gennady. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33185-5">http://dx.doi.org/10.1007/978-3-642-33185-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Based Development and Evolution of Information Systems A Quality Approachent://SD_ILS/0/SD_ILS:1735042026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Krogstie, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2936-3">http://dx.doi.org/10.1007/978-1-4471-2936-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data-Driven Methods for Adaptive Spoken Dialogue Systems Computational Learning for Conversational Interfacesent://SD_ILS/0/SD_ILS:1744162026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Lemon, Oliver. editor. Pietquin, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4803-7">http://dx.doi.org/10.1007/978-1-4614-4803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>PEM Fuel Cells with Bio-Ethanol Processor Systems A Multidisciplinary Study of Modelling, Simulation, Fault Diagnosis and Advanced Controlent://SD_ILS/0/SD_ILS:1761802026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Basualdo, Marta S. editor. Feroldi, Diego. editor. Outbib, Rachid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-184-4">http://dx.doi.org/10.1007/978-1-84996-184-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Eco-friendly Computing and Communication Systems International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1971792026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Mathew, Jimson. editor. Patra, Priyadarshan. editor. Pradhan, Dhiraj K. editor. Kuttyamma, A. J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32112-2">http://dx.doi.org/10.1007/978-3-642-32112-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:1971872026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hernández, Jorge E. editor. Zarate, Pascale. editor. Dargam, Fátima. editor. Delibašić, Boris. editor. Liu, Shaofeng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32191-7">http://dx.doi.org/10.1007/978-3-642-32191-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1951172026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulation and Verification of Electronic and Biological Systemsent://SD_ILS/0/SD_ILS:2057632026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Li, Peng. editor. Silveira, Luís Miguel. editor. Feldmann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0149-6">http://dx.doi.org/10.1007/978-94-007-0149-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to modeling and simulation of technical and physical systems with Modelicaent://SD_ILS/0/SD_ILS:2499342026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Fritzson, Peter A., 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592">http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1939082026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18472-7">http://dx.doi.org/10.1007/978-3-642-18472-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941442026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19754-3">http://dx.doi.org/10.1007/978-3-642-19754-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systemsent://SD_ILS/0/SD_ILS:1925962026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Schnieder, Eckehard. editor. Tarnai, Geza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14261-1">http://dx.doi.org/10.1007/978-3-642-14261-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1932442026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Immune Systems 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1950042026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Liò, Pietro. editor. Nicosia, Giuseppe. editor. Stibor, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22371-6">http://dx.doi.org/10.1007/978-3-642-22371-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Image-Based Computational Modeling of the Human Circulatory and Pulmonary Systems Methods and Applicationsent://SD_ILS/0/SD_ILS:1728492026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Chandran, Krishnan B. editor. Udaykumar, H. S. editor. Reinhardt, Joseph M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7350-4">http://dx.doi.org/10.1007/978-1-4419-7350-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Identification of Dynamic Systems An Introduction with Applicationsent://SD_ILS/0/SD_ILS:1882712026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Isermann, Rolf. author. Münchhof, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78879-9">http://dx.doi.org/10.1007/978-3-540-78879-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Discrete Event Simulation and Agent-based Modeling Voting Systems, Health Care, Military, and Manufacturingent://SD_ILS/0/SD_ILS:1684332026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Allen, Theodore T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-139-4">http://dx.doi.org/10.1007/978-0-85729-139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Solid Modelling and CAD Systems How to Survive a CAD Systement://SD_ILS/0/SD_ILS:1684702026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Stroud, Ian. author. Nagy, Hildegarde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-259-9">http://dx.doi.org/10.1007/978-0-85729-259-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulation of dynamic systems with MATLAB and Simulink / Harold Klee, Randal Allen..ent://SD_ILS/0/SD_ILS:3643212026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Klee, Harold. Allen, Randal, 1964-<br/>Preferred Shelf Number QA76.9.C65 K585 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Computational Systems-Biology and Bioinformatics First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933962026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Chan, Jonathan H. editor. Ong, Yew-Soon. editor. Cho, Sung-Bae. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16750-8">http://dx.doi.org/10.1007/978-3-642-16750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1923032026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Dastani, Mehdi. editor. El Fallah Segrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13338-1">http://dx.doi.org/10.1007/978-3-642-13338-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926202026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ortiz, Ángel. editor. Franco, Rubén Darío. editor. Gasquet, Pedro Gómez. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14341-0">http://dx.doi.org/10.1007/978-3-642-14341-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1927872026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14843-9">http://dx.doi.org/10.1007/978-3-642-14843-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926912026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hart, Emma. editor. McEwan, Chris. editor. Timmis, Jon. editor. Hone, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14547-6">http://dx.doi.org/10.1007/978-3-642-14547-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1933652026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16644-0">http://dx.doi.org/10.1007/978-3-642-16644-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Rules for Actuators in Active Mechanical Systemsent://SD_ILS/0/SD_ILS:1760232026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Gomis-Bellmunt, Oriol. author. Campanile, Lucio Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-614-4">http://dx.doi.org/10.1007/978-1-84882-614-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Precision Assembly Technologies and Systems 5th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2010, Chamonix, France, February 14-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917342026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ratchev, Svetan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11598-1">http://dx.doi.org/10.1007/978-3-642-11598-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologiesent://SD_ILS/0/SD_ILS:1917772026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Priami, Corrado. editor. Breitling, Rainer. editor. Gilbert, David. editor. Heiner, Monika. editor. Uhrmacher, Adelinde M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11712-1">http://dx.doi.org/10.1007/978-3-642-11712-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:1918812026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Grundspenkis, Janis. editor. Kirikova, Marite. editor. Manolopoulos, Yannis. editor. Novickis, Leonids. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12082-4">http://dx.doi.org/10.1007/978-3-642-12082-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulation Methods for Reliability and Availability of Complex Systemsent://SD_ILS/0/SD_ILS:1759232026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-213-9">http://dx.doi.org/10.1007/978-1-84882-213-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Systems Biology Using Cell Illustrator® and Pathway Databasesent://SD_ILS/0/SD_ILS:1758782026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Nagasaki, Masao. author. Saito, Ayumu. author. Doi, Atsushi. author. Matsuno, Hiroshi. author. Miyano, Satoru. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-023-4">http://dx.doi.org/10.1007/978-1-84882-023-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coloured Petri Nets Modelling and Validation of Concurrent Systemsent://SD_ILS/0/SD_ILS:1896372026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b95112">http://dx.doi.org/10.1007/b95112</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1915962026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Yang, Jung-Jin. editor. Yokoo, Makoto. editor. Ito, Takayuki. editor. Jin, Zhi. editor. Scerri, Paul. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11161-7">http://dx.doi.org/10.1007/978-3-642-11161-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08ent://SD_ILS/0/SD_ILS:1706262026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Radetzki, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systemsent://SD_ILS/0/SD_ILS:1898272026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00899-3">http://dx.doi.org/10.1007/978-3-642-00899-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907592026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Degano, Pierpaolo. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03845-7">http://dx.doi.org/10.1007/978-3-642-03845-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1910552026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04772-5">http://dx.doi.org/10.1007/978-3-642-04772-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence and Intelligent Systems 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911122026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Cai, Zhihua. editor. Li, Zhenhua. editor. Kang, Zhuo. editor. Liu, Yong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04962-0">http://dx.doi.org/10.1007/978-3-642-04962-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1896132026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Rahwan, Iyad. editor. Moraitis, Pavlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00207-6">http://dx.doi.org/10.1007/978-3-642-00207-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897432026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Creating Brain-Like Intelligence From Basic Principles to Complex Intelligent Systemsent://SD_ILS/0/SD_ILS:1897472026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Sendhoff, Bernhard. editor. Körner, Edgar. editor. Sporns, Olaf. editor. Ritter, Helge. editor. Doya, Kenji. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00616-6">http://dx.doi.org/10.1007/978-3-642-00616-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:1911342026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systemsent://SD_ILS/0/SD_ILS:1912792026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05465-5">http://dx.doi.org/10.1007/978-3-642-05465-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Self-Organizing Systems 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914992026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Spyropoulos, Thrasyvoulos. editor. Hummel, Karin Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10865-5">http://dx.doi.org/10.1007/978-3-642-10865-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:1888272026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1885722026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85058-8">http://dx.doi.org/10.1007/978-3-540-85058-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890762026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Heiner, Monika. editor. Uhrmacher, Adelinde M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88562-7">http://dx.doi.org/10.1007/978-3-540-88562-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1854722026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Fisher, Jasmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68413-8">http://dx.doi.org/10.1007/978-3-540-68413-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:1879552026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882802026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887932026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1889292026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87875-9">http://dx.doi.org/10.1007/978-3-540-87875-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systemsent://SD_ILS/0/SD_ILS:1888962026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87702-8">http://dx.doi.org/10.1007/978-3-540-87702-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papersent://SD_ILS/0/SD_ILS:1894382026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92698-6">http://dx.doi.org/10.1007/978-3-540-92698-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applicationsent://SD_ILS/0/SD_ILS:1700092026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Pop, Valer. author. Bergveld, Henk Jan. author. Danilov, Dmitry. author. Regtien, Paul P. L. author. Notten, Peter H. L. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6945-1">http://dx.doi.org/10.1007/978-1-4020-6945-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ANEMONA A Mulit-agent Methodology for Holonic Manufacturing Systemsent://SD_ILS/0/SD_ILS:1758082026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Botti, Vicente. author. Giret, Adriana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-310-1">http://dx.doi.org/10.1007/978-1-84800-310-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006ent://SD_ILS/0/SD_ILS:2039192026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-49022-7">http://dx.doi.org/10.1007/978-4-431-49022-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862962026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71493-4">http://dx.doi.org/10.1007/978-3-540-71493-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873422026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Calder, Muffy. editor. Gilmore, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75140-3">http://dx.doi.org/10.1007/978-3-540-75140-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873632026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75209-7">http://dx.doi.org/10.1007/978-3-540-75209-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systemsent://SD_ILS/0/SD_ILS:1980532026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8396-1">http://dx.doi.org/10.1007/978-3-7643-8396-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007ent://SD_ILS/0/SD_ILS:1697332026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Toolsent://SD_ILS/0/SD_ILS:1756092026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hrúz, Branislav. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-877-7">http://dx.doi.org/10.1007/978-1-84628-877-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systemsent://SD_ILS/0/SD_ILS:1855922026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Manoonpong, Poramate. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68803-7">http://dx.doi.org/10.1007/978-3-540-68803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1872182026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74626-3">http://dx.doi.org/10.1007/978-3-540-74626-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:1875222026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75867-9">http://dx.doi.org/10.1007/978-3-540-75867-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Global Specification and Validation of Embedded Systems Integrating Heterogeneous Componentsent://SD_ILS/0/SD_ILS:1697062026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1832002026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11669487">http://dx.doi.org/10.1007/11669487</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836452026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approachent://SD_ILS/0/SD_ILS:1654822026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28171-1">http://dx.doi.org/10.1007/0-387-28171-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Manufacturing Systems Control Design A Matrix-based Approachent://SD_ILS/0/SD_ILS:1753842026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Bogdan, Stjepan. author. Lewis, Frank L. author. Kovačić, Zdenko. author. Mireles, José. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-334-5">http://dx.doi.org/10.1007/1-84628-334-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848632026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11880240">http://dx.doi.org/10.1007/11880240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848882026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Priami, Corrado. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11885191">http://dx.doi.org/10.1007/11885191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovations in Design & Decision Support Systems in Architecture and Urban Planningent://SD_ILS/0/SD_ILS:1693592026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Leeuwen, Jos P. editor. Timmermans, Harry J. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5060-2">http://dx.doi.org/10.1007/978-1-4020-5060-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831222026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1818422026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papersent://SD_ILS/0/SD_ILS:1823592026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105497">http://dx.doi.org/10.1007/b105497</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:1823802026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kim, Tag Gon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105609">http://dx.doi.org/10.1007/b105609</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1823822026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Baik, Doo-Kwon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105611">http://dx.doi.org/10.1007/b105611</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1824792026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:1829152026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556985">http://dx.doi.org/10.1007/11556985</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830262026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling Chemical Systems Using Cellular Automata A textbook and laboratory manualent://SD_ILS/0/SD_ILS:1689742026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kier, Lemont B. author. Seybold, Paul G. author. Cheng, Chao-Kun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3690-6">http://dx.doi.org/10.1007/1-4020-3690-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1806462026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Danos, Vincent. editor. Schachter, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107287">http://dx.doi.org/10.1007/b107287</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural networks for modelling and control of dynamic systems : A practitioner's handbookent://SD_ILS/0/SD_ILS:756082026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Norgaard, Magnus.<br/>Preferred Shelf Number QA 76.87 N4847 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logicent://SD_ILS/0/SD_ILS:1686232026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-901-7">http://dx.doi.org/10.1007/978-0-85729-901-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Condition Monitoring and Assessment of Power Transformers Using Computational Intelligenceent://SD_ILS/0/SD_ILS:1684062026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Tang, W.H. author. Wu, Q.H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-052-6">http://dx.doi.org/10.1007/978-0-85729-052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Power System Modelling and Scriptingent://SD_ILS/0/SD_ILS:1924102026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Milano, Federico. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13669-6">http://dx.doi.org/10.1007/978-3-642-13669-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spotlight on Modern Transformer Designent://SD_ILS/0/SD_ILS:1760362026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Georgilakis, Pavlos S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-667-0">http://dx.doi.org/10.1007/978-1-84882-667-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Electrical Drivesent://SD_ILS/0/SD_ILS:1695002026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Veltman, André. author. Pulle, Duco W.J. author. De Doncker, Rik W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5504-1">http://dx.doi.org/10.1007/978-1-4020-5504-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulating Social Complexity A Handbookent://SD_ILS/0/SD_ILS:6112582026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66948-9">https://doi.org/10.1007/978-3-319-66948-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Consensus and Synchronization in Complex Networksent://SD_ILS/0/SD_ILS:3336982026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Kocarev, Ljupco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33359-0">http://dx.doi.org/10.1007/978-3-642-33359-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic Modeling of Diseases and Pestsent://SD_ILS/0/SD_ILS:1646942026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Hannon, Bruce. author. Ruth, Matthias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09560-8">http://dx.doi.org/10.1007/978-0-387-09560-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mental Modeling Approach Risk Management Application Case Studiesent://SD_ILS/0/SD_ILS:6184002026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-6616-5">https://doi.org/10.1007/978-1-4939-6616-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision Aid Models for Disaster Management and Emergenciesent://SD_ILS/0/SD_ILS:3364902026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Vitoriano, Begoña. editor. Montero, Javier. editor. Ruan, Da. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336490.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-74-9">http://dx.doi.org/10.2991/978-94-91216-74-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence for Traffic and Mobilityent://SD_ILS/0/SD_ILS:3364912026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Wang, Wuhong. editor. Wets, Geert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336491.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-80-0">http://dx.doi.org/10.2991/978-94-91216-80-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Answer Set Programming for Continuous Domains: A Fuzzy Logic Approachent://SD_ILS/0/SD_ILS:2070432026-04-03T20:22:09Z2026-04-03T20:22:09ZAuthor Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-59-6">http://dx.doi.org/10.2991/978-94-91216-59-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>