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.$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-03T14:04:21ZInnovative Simulation Systemsent://SD_ILS/0/SD_ILS:6149382026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Advances in Applied Self-Organizing Systemsent://SD_ILS/0/SD_ILS:3311482026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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 Modelling of Socio-Technical Systemsent://SD_ILS/0/SD_ILS:3358522026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Agent-Based Models of Geographical Systemsent://SD_ILS/0/SD_ILS:2053532026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Mechatronic Systems Analysis, Design and Implementationent://SD_ILS/0/SD_ILS:1949882026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Energy Efficiency in Manufacturing Systemsent://SD_ILS/0/SD_ILS:1960812026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Manufacturing Systems Modeling and Analysisent://SD_ILS/0/SD_ILS:1933562026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Transactions on Computational Systems Biology XIIIent://SD_ILS/0/SD_ILS:1941422026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Mathematics of Complexity and Dynamical Systemsent://SD_ILS/0/SD_ILS:1740202026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Intentional Perspectives on Information Systems Engineeringent://SD_ILS/0/SD_ILS:1920282026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Software Engineering for Self-Adaptive Systemsent://SD_ILS/0/SD_ILS:1902352026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Manufacturing Systems Modeling and Analysisent://SD_ILS/0/SD_ILS:1891192026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Advances in Modeling Agricultural Systemsent://SD_ILS/0/SD_ILS:1672402026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Advances in Applied Self-organizing Systemsent://SD_ILS/0/SD_ILS:1756562026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>An Introduction to Sequential Dynamical Systemsent://SD_ILS/0/SD_ILS:1665132026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>SmartKom: Foundations of Multimodal Dialogue Systemsent://SD_ILS/0/SD_ILS:1844072026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Control of Traffic Systems in Buildingsent://SD_ILS/0/SD_ILS:1754232026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Systems modeling and computer simulationent://SD_ILS/0/SD_ILS:791482026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Systems Analysis Approach for Complex Global Challengesent://SD_ILS/0/SD_ILS:4000492026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Handbook of Dynamic Data Driven Applications Systemsent://SD_ILS/0/SD_ILS:4004362026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signalsent://SD_ILS/0/SD_ILS:6128832026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotionsent://SD_ILS/0/SD_ILS:6164372026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Intelligent Mechatronic Systems Modeling, Control and Diagnosisent://SD_ILS/0/SD_ILS:3310282026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Systems Biology Integrative Biology and Simulation Toolsent://SD_ILS/0/SD_ILS:3363242026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Stochastic Discrete Event Systems Modeling, Evaluation, Applicationsent://SD_ILS/0/SD_ILS:1870762026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>A practical guide to SysML : the systems modeling languageent://SD_ILS/0/SD_ILS:3554222026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6081062026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Hybrid computational intelligent systems : modeling, simulation and optimizationent://SD_ILS/0/SD_ILS:5637782026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Digital Twin Driven Intelligent Systems and Emerging Metaverseent://SD_ILS/0/SD_ILS:5277002026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Modeling Discrete-Event Systems with GPenSIM An Introductionent://SD_ILS/0/SD_ILS:4000122026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003432026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Automatic Control Systems in Biomedical Engineering An Interactive Educational Approachent://SD_ILS/0/SD_ILS:4015982026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Methods and Models for Transport New Challenges for the Greening of Transport Systemsent://SD_ILS/0/SD_ILS:4018812026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Real-time Monitoring and Operational Control of Drinking-Water Systemsent://SD_ILS/0/SD_ILS:6118832026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159702026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161902026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systemsent://SD_ILS/0/SD_ILS:6133952026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:6135272026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor Ö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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Research Challenges in Modeling and Simulation for Engineering Complex Systemsent://SD_ILS/0/SD_ILS:6182042026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:6161342026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6179042026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Tangible Interactive Systems Grasping the Real World with Computersent://SD_ILS/0/SD_ILS:6184662026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineeringent://SD_ILS/0/SD_ILS:6128132026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130832026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Real Time Modeling, Simulation and Control of Dynamical Systemsent://SD_ILS/0/SD_ILS:6163452026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Analysis and Simulation of Electrical and Computer Systemsent://SD_ILS/0/SD_ILS:5296982026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Bond Graph Model-based Fault Diagnosis of Hybrid Systemsent://SD_ILS/0/SD_ILS:5301412026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Assessment of Total Evacuation Systems for Tall Buildingsent://SD_ILS/0/SD_ILS:4884902026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4870332026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894592026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Handbook of Parallel and distributed simulation systems : Analysis and applicationsent://SD_ILS/0/SD_ILS:3551842026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor Takahashi N. W.<br/>Preferred Shelf Number QA76.9.C65 F84 2014 V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Guide to Dynamic Simulations of Rigid Bodies and Particle Systemsent://SD_ILS/0/SD_ILS:3309752026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertaintyent://SD_ILS/0/SD_ILS:3332432026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Design and Operation of Automated Container Storage Systemsent://SD_ILS/0/SD_ILS:3353582026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applicationsent://SD_ILS/0/SD_ILS:3311562026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:3305862026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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 Modeling and Simulation of Systems of Systems User’s Referenceent://SD_ILS/0/SD_ILS:3310132026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351812026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349922026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Eco-friendly Computing and Communication Systems International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1971792026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974302026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Transactions on Large-Scale Data- and Knowledge-Centered Systems VIIent://SD_ILS/0/SD_ILS:1975952026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexityent://SD_ILS/0/SD_ILS:1743842026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Data-Driven Methods for Adaptive Spoken Dialogue Systems Computational Learning for Conversational Interfacesent://SD_ILS/0/SD_ILS:1744162026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Model-Based Development and Evolution of Information Systems A Quality Approachent://SD_ILS/0/SD_ILS:1735042026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systemsent://SD_ILS/0/SD_ILS:1925962026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Identification of Dynamic Systems An Introduction with Applicationsent://SD_ILS/0/SD_ILS:1882712026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Simulation of dynamic systems with MATLAB and Simulink / Harold Klee, Randal Allen..ent://SD_ILS/0/SD_ILS:3643212026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor Klee, Harold. Allen, Randal, 1964-<br/>Preferred Shelf Number QA76.9.C65 K585 2011<br/>Format: Books<br/>Availability Beytepe 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Solid Modelling and CAD Systems How to Survive a CAD Systement://SD_ILS/0/SD_ILS:1684702026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Image-Based Computational Modeling of the Human Circulatory and Pulmonary Systems Methods and Applicationsent://SD_ILS/0/SD_ILS:1728492026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Introduction to Discrete Event Simulation and Agent-based Modeling Voting Systems, Health Care, Military, and Manufacturingent://SD_ILS/0/SD_ILS:1684332026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Introduction to modeling and simulation of technical and physical systems with Modelicaent://SD_ILS/0/SD_ILS:2499342026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Systems-Biology and Bioinformatics First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933962026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926912026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Simulation Methods for Reliability and Availability of Complex Systemsent://SD_ILS/0/SD_ILS:1759232026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Design Rules for Actuators in Active Mechanical Systemsent://SD_ILS/0/SD_ILS:1760232026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Intelligence and Intelligent Systems 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911122026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08ent://SD_ILS/0/SD_ILS:1706262026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Coloured Petri Nets Modelling and Validation of Concurrent Systemsent://SD_ILS/0/SD_ILS:1896372026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Foundations of Systems Biology Using Cell Illustrator® and Pathway Databasesent://SD_ILS/0/SD_ILS:1758782026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1854722026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890762026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systemsent://SD_ILS/0/SD_ILS:1888962026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>ANEMONA A Mulit-agent Methodology for Holonic Manufacturing Systemsent://SD_ILS/0/SD_ILS:1758082026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systemsent://SD_ILS/0/SD_ILS:1855922026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873422026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006ent://SD_ILS/0/SD_ILS:2039192026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Global Specification and Validation of Embedded Systems Integrating Heterogeneous Componentsent://SD_ILS/0/SD_ILS:1697062026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systemsent://SD_ILS/0/SD_ILS:1980532026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862962026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Toolsent://SD_ILS/0/SD_ILS:1756092026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1832002026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Innovations in Design & Decision Support Systems in Architecture and Urban Planningent://SD_ILS/0/SD_ILS:1693592026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848632026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Manufacturing Systems Control Design A Matrix-based Approachent://SD_ILS/0/SD_ILS:1753842026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approachent://SD_ILS/0/SD_ILS:1654822026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>Neural networks for modelling and control of dynamic systems : A practitioner's handbookent://SD_ILS/0/SD_ILS:756082026-04-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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-03T14:04:21Z2026-04-03T14:04:21ZAuthor 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/>